Timed pushdown automata revisited.

Lorenzo Clemente Slawomir Lasota

Published in: CoRR (2015)

Keyphrases

timed automata
model checking
finite state machines
temporal logic
finite state
petri net
regular expressions
cellular automata
probabilistic automata
theorem prover
multiscale
high level
genetic algorithm
pattern matching
state space
special case
discrete event
finite automata
data sets
database