Paper in Festschrift Scott Smolka

The paper “Model Checking Revamped: On the Automated Synthesis of Markov Chains” by Milan CeskaChristian DehnertNils JansenSebastian Junges, Joost-Pieter Katoen has been published in LNCS 11500, From Reactive Systems to Cyber-Physical Systems – Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday. The paper surveys a CEGAR and CEGIS approach towards the automated synthesis of finite-state Markov chains.