The Modest State of Learning, Sampling, and Verifying Strategies

von Hartmanns, Arnd
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 3: Adaptation and learning (2022)

A Modest Approach to Dynamic Heuristic Search in Probabilistic Model Checking

von Klauck, Michaela
Veröffentlicht in QEST (18. : 2021 : Online) Quantitative evaluation of systems (2021)

Momba: JANI Meets Python

von Köhl, Maximilian A.
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2021)

Compiling Probabilistic Model Checking into Probabilistic Planning

von Klauck, Michaela
Veröffentlicht in International Conference on Automated Planning and Scheduling (28. : 2018 : Delft) Proceedings of the Twenty-eighth International Conference on Automated Planning and Scheduling (2018)

Deep Statistical Model Checking

von Gros, Timo P.
Veröffentlicht in FORTE (40. : 2020 : Online) Formal techniques for distributed objects, components, and systems (2020)

Components in Probabilistic Systems: Suitable by Construction

von Baier, Christel
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 1: Verification principles (2020)

DSMC Evaluation Stages: Fostering Robust and Safe Behavior ın Deep Reinforcement Leaming

von Gros, Timo P.
Veröffentlicht in QEST (18. : 2021 : Online) Quantitative evaluation of systems (2021)

TraceVis: Towards Visualization for Deep Statistical Model Checking

von Gros, Timo P.
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 4: Tools and trends (2021)

MOGYM: Using Formal Models for Training and Verifying Decision-making Agents

von Gros, Timo P.
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 2 (2022)

On Correctness, Precision, and Performance in Quantitative Verification: QComp 2020 Competition Report

von Budde, Carlos E.
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 4: Tools and trends (2021)

Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification

von Faqeh, Rasha
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 2: Engineering principles (2020)

Lab Conditions for Research on Explainable Automated Decisions

von Baier, Christel
Veröffentlicht in TAILOR Workshop (1. : 2020 : Online) Trustworthy AI - integrating learning, optimization and reasoning (2021)

Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development

von König, Lukas
Veröffentlicht in International Conference on Tools and Algorithms for the Construction and Analysis of Systems (30. : 2024 : Luxemburg) Tools and algorithms for the construction and analysis of systems ; Part 2 (2024)