COMICS

swMATH6550MaRDI QIDQ18643FDOQ18643

Author name not available (Why is that?)

Cited In (4)

• Minimal counterexamples for linear-time probabilistic verification
• Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints
• Supervisor synthesis of POMDP via automata learning
• Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey

This page was built for software: COMICS