COMICS
From MaRDI portal
Software:18643
No author found.
Related Items (4)
Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints ⋮ Supervisor synthesis of POMDP via automata learning ⋮ Minimal counterexamples for linear-time probabilistic verification ⋮ Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey
This page was built for software: COMICS
