E-LIB Suche - Ergebnisse für: Klauck, Michaela

1

Towards Safe Autonomous Driving: Model Checking a Behavior ..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

König, Lukas ; Heinzemann, Christian ; Griggio, Alberto... - p. 44-65 , 2024

2

DSMC Evaluation Stages: Fostering Robust and Safe Behavior ..:

Gros, Timo P. ; Groß, Joschka ; Höller, Daniel...
ACM Transactions on Modeling and Computer Simulation. 33 (2023) 4 - p. 1-28 , 2023

Link: https://doi.org/10.1145/..

3

On the connection of probabilistic model checking, planning..:

Klauck, Michaela , 2022

Link: https://nbn-resolving.de..

4

The Modest State of Learning, Sampling, and Verifying Strat..:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning; Lecture Notes in Computer Science,

Hartmanns, Arnd ; Klauck, Michaela - p. 406-432 , 2022

Link: https://doi.org/10.1007/..

5

MoGym: Using Formal Models for Training and Verifying Decis..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Gros, Timo P. ; Hermanns, Holger ; Hoffmann, Jörg... - p. 430-443 , 2022

Link: https://doi.org/10.1007/..

6

Analyzing neural network behavior through deep statistical ..:

Gros, Timo P. ; Hermanns, Holger ; Hoffmann, Jörg..
International Journal on Software Tools for Technology Transfer. 25 (2022) 3 - p. 407-426 , 2022

Link: https://doi.org/10.1007/..

7

On Correctness, Precision, and Performance in Quantitative ..:

, In: Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends; Lecture Notes in Computer Science,

Budde, Carlos E. ; Hartmanns, Arnd ; Klauck, Michaela... - p. 216-241 , 2021

Link: https://doi.org/10.1007/..

8

Correction to: DSMC Evaluation Stages: Fostering Robust and..:

, In: Quantitative Evaluation of Systems; Lecture Notes in Computer Science,

Gros, Timo P. ; Höller, Daniel ; Hoffmann, Jörg... - p. C1-C1 , 2021

Link: https://doi.org/10.1007/..

9

Lab Conditions for Research on Explainable Automated Decisi..:

, In: Trustworthy AI - Integrating Learning, Optimization and Reasoning; Lecture Notes in Computer Science,

Baier, Christel ; Christakis, Maria ; Gros, Timo P.... - p. 83-90 , 2021

Link: https://doi.org/10.1007/..

10

Momba: JANI Meets Python:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Köhl, Maximilian A. ; Klauck, Michaela ; Hermanns, Holger - p. 389-398 , 2021

Link: https://doi.org/10.1007/..

11

DSMC Evaluation Stages: Fostering Robust and Safe Behavior ..:

, In: Quantitative Evaluation of Systems; Lecture Notes in Computer Science,

Gros, Timo P. ; Höller, Daniel ; Hoffmann, Jörg... - p. 197-216 , 2021

Link: https://doi.org/10.1007/..

12

A Modest Approach to Dynamic Heuristic Search in Probabilis..:

, In: Quantitative Evaluation of Systems; Lecture Notes in Computer Science,

Klauck, Michaela ; Hermanns, Holger - p. 15-38 , 2021

Link: https://doi.org/10.1007/..

13

TraceVis: Towards Visualization for Deep Statistical Model ..:

, In: Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends; Lecture Notes in Computer Science,

Gros, Timo P. ; Groß, David ; Gumhold, Stefan... - p. 27-46 , 2021

Link: https://doi.org/10.1007/..

14

Towards Dynamic Dependable Systems Through Evidence-Based C..:

, In: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles; Lecture Notes in Computer Science,

Faqeh, Rasha ; Fetzer, Christof ; Hermanns, Holger... - p. 416-439 , 2020

Link: https://doi.org/10.1007/..

15

Deep Statistical Model Checking:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,

Gros, Timo P. ; Hermanns, Holger ; Hoffmann, Jörg.. - p. 96-114 , 2020

Link: https://doi.org/10.1007/..