DiPro

MaRDI QIDQ21723swMATHFDO

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

Cited in

(7)

• 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
• LiQuor
• MRMC
• CEGAR
• COMICS

This page was built for software: DiPro