Matthias Kuntz
Werke:
- Safety analysis of an airbag system using probabilistic FMEA and probabilistic counter examples
- Directed and Heuristic Counterexample Generation for Probabilistic Model Checking - A Comparative Evaluation
- Symbolic semantics and verification of stochastic process algebras : = Symbolische Semantik und Verifikation stochastischer Prozessalgebren
- From probabilistic counterexamples via causality to fault trees