2 papers
cs.LO2018
Universal Safety for Timed Petri Nets is PSPACE-complete
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Radu Ciobanu +2
A timed network consists of an arbitrary number of initially identical 1-clock timed automata, interacting via hand-shake communication. In this setting there is no unique central…
cs.LO2016
Qualitative Analysis of VASS-Induced MDPs
Parosh Aziz Abdulla, Radu Ciobanu, Richard Mayr +2
We consider infinite-state Markov decision processes (MDPs) that are induced by extensions of vector addition systems with states (VASS). Verification conditions for these MDPs are…