Zero-reachability in probabilistic multi-counter automata.

Toms Brzdil, Stefan Kiefer, Antonn Kucera, Petr Novotn, Joost-Pieter Katoen

Browse the full CSL paper archive.