COMICS

MaRDI QIDQ18643swMATHFDO

Official website http://www-i2.informatik.rwth-aachen.de/i2/comics/

Cited in

(10)

• 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
• CEGAR
• DiPro
• libalf
• DFTCalc
• Supervisor synthesis of POMDP via automata learning
• FACT

This page was built for software: COMICS