On the Decidability of Temporal Properties of Probabilistic Pushdown Automata.

Tomás Brázdil Antonín Kucera Oldrich Strazovský

Published in: STACS (2005)

Keyphrases

temporal properties
model checking
temporal logic
automata theoretic
finite state
possibility theory
probabilistic model
description logics
formal specification
formal methods
query answering
probability theory
cellular automata
finite automata
general purpose
theoretical framework