swMATH6550MaRDI QIDQ18643FDOQ18643
Author name not available (Why is that?)
Official website: http://www-i2.informatik.rwth-aachen.de/i2/comics/
Cited In (9)
- 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
- Supervisor synthesis of POMDP via automata learning
- DiPro
- libalf
- DFTCalc
- FACT
This page was built for software: COMICS
