Certifying Emptiness of Timed Büchi Automata.
Simon WimmerFrédéric HerbreteauJaco van de PolPublished in: FORMATS (2020)
Keyphrases
- timed automata
- tree automata
- finite state machines
- model checking
- petri net
- theorem prover
- cellular automata
- information gain
- finite state
- probabilistic automata
- finite automata
- theorem proving
- first order logic
- regular expressions
- finite state automata
- discrete event
- markov chain
- machine learning
- finite automaton
- coalitional games
- temporal logic
- dynamic programming
- similarity measure
- genetic algorithm