On the decidability of temporal properties of probabilistic pushdown automata (2005)

Cached

Download Links

by Tomáš Brázdil, Antonín Kučera, et al.
Venue:IN PROC. OF STACS’05
Citations:42 - 11 self