activity
20192022
most citedInductive Synthesis of Finite-State Controllers for POMDPs

1 citations · 1 across the 2 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2021

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…