activity
20152023
most citedSafety Analysis for Vehicle Guidance Systems with Dynamic Fault Trees

59 citations · 191 across the 36 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…