Stochastic Games with Lexicographic Reachability-Safety Objectives.

Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger, Tobias Winkler

Browse the full CAV paper archive.