Two papers accepted at CSL-LICS

The papers “Probably Safe or Live” by Katoen, Song and Zhang, and “Zero-Reachability in Probabilistic Multi-Counter Automata” by Brazdil, Kiefer, Kucera, Novotny and Katoen have been accepted at CSL-LICS 2014 in Vienna. ┬áThe former paper classifies safety and liveness properties in the probabilistic setting while the second paper sets the ground for showing some flaws in classical ergodicity results about stochastic Petri nets.