Searching for "Counterexamples in Probabilistic Model Checking." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
J.P.: Counterexamples in probabilistic model checking
- …://aib.informatik.rwth-aachen.de/ Counterexamples in Probabilistic Model Checking Tingting Han and Joost-Pieter katoen Lehrstuhl f"ur Informatik 2…
- Cited by 3 (0 self) – Add To MetaCart
-
Probabilistic Model Checking
- … and complexity results for the generation of counterexamples in model checking of probabilistic until…
- Add To MetaCart
-
Counterexamples for Model Checking of Markov Decision Processes
- … on devising counterexamples for probabilistic model checking of MDPs. Our approach bears some similarity…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 3.
