activity
20092023
most citedDiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking

11 citations · 25 across the 10 of their papers we have counts for

collaborators
Showing 2021Show all

2 papers · 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…

cs.LO2021

Inductive Synthesis for Probabilistic Programs Reaches New Horizons

Roman Andriushchenko, Milan Ceska, Sebastian Junges +1

This paper presents a novel method for the automated synthesis of probabilistic programs. The starting point is a program sketch representing a finite family of finite-state Markov…