Three Papers at CAV 2020

The following three papers from the MOVES Group have been accepted for presentation at CAV 2020:

PrIC3: Property Directed Reachability for MDPs” by Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja and Philipp Schröer

Stochastic Games with Lexicographic Reachability-Safety Objectives” by Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger and Tobias Winkler, and

Unbounded-Time Safety Verification of Stochastic Differential Dynamics” by Shenghua Feng, Mingshuai Chen, Bai Xue, Sriram Sankaranarayanan and Naijun Zhan