Büchi Automata Optimisations Formalised in Isabelle/HOL.
Alexander SchimpfJan-Georg SmausPublished in: ICLA (2015)
Keyphrases
- theorem prover
- natural deduction
- timed automata
- inference rules
- theorem proving
- first order logic
- higher order logic
- finite automata
- cellular automata
- probabilistic automata
- finite state
- regular expressions
- sequent calculus
- cut elimination
- lattice gas
- real time
- formal language theory
- finite state automata
- turing machine
- tree automata
- artificial intelligence
- neural network
- formal languages
- finite state machines
- sufficient conditions
- metadata
- finite automaton
- data mining