Certifying Emptiness of Timed Büchi Automata.
Simon WimmerFrédéric HerbreteauJaco van de PolPublished in: CoRR (2020)
Keyphrases
- timed automata
- finite state machines
- tree automata
- model checking
- finite automata
- petri net
- cellular automata
- theorem prover
- theorem proving
- probabilistic automata
- lattice gas
- markov chain
- finite state
- regular expressions
- finite state automata
- information gain
- first order logic
- databases
- related problems
- state space
- evolutionary algorithm
- artificial neural networks
- reinforcement learning
- computer vision