Login / Signup
From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata.
Simon Jantsch
David Müller
Christel Baier
Joachim Klein
Published in:
CoRR (2019)
Keyphrases
</>
deterministic automata
finite automata
cellular automata
model checking
finite state machines
probabilistic automata
finite state
lattice gas
regular expressions
decision trees
natural language processing
temporal logic
tree automata
turing machine
real time
knowledge representation