DiPro

swMATH9744MaRDI QIDQ21723FDOQ21723

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007/978-3-642-22306-8_13

Cited In (5)

• Minimal counterexamples for linear-time probabilistic verification
• Counterexample generation for discrete-time Markov models: an introductory survey
• Farkas certificates and minimal witnesses for probabilistic reachability constraints
• CEGAR
• COMICS

This page was built for software: DiPro