Extended Directed Search for Probabilistic Timed Reachability
From MaRDI portal
Publication:3511221
DOI10.1007/11867340_4zbMath1141.68449OpenAlexW1512013481MaRDI QIDQ3511221
Publication date: 8 July 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: http://nbn-resolving.de/urn:nbn:de:bsz:352-opus-57832
Related Items (7)
Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints ⋮ Counterexamples in Probabilistic LTL Model Checking for Markov Chains ⋮ Minimal counterexamples for linear-time probabilistic verification ⋮ Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking ⋮ Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey ⋮ Survey on Directed Model Checking ⋮ Conditional Probabilities over Probabilistic and Nondeterministic Systems
Uses Software
This page was built for publication: Extended Directed Search for Probabilistic Timed Reachability
