Keyword:Parity

Publications
Markov Decision Processes with Sure Parity and Multiple Reachability Objectives Raphaël Berthon, Joost-Pieter Katoen and Tobias Winkler EasyChair Preprint 15114