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

Cached

Download Links

by Antonín Kučera
Venue:In Proc. of STACS’05
Citations:30 - 9 self