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


			


	

		Permalink