Checking Timed Büchi Automata Emptiness Using the Local-Time Semantics.

Frédéric Herbreteau B. Srivathsan Igor Walukiewicz

Published in: CONCUR (2022)

Keyphrases

timed automata
finite state machines
petri net
tree automata
logic programming
finite automata
formal semantics
semantic information
probabilistic automata
finite state automata
speech acts
finite state
information gain
regular expressions
belief revision
model checking
cellular automata
lattice gas