Model Repair Revamped: On the Automated Synthesis of Markov Chains

Milan Ceska, Christian Dehnert, Nils Jansen +2

This paper outlines two approaches|based on counterexample-guided abstraction refinement (CEGAR) and counterexample-guided inductive synthesis (CEGIS), respectively to the automate…