Coinduction: Automata, Formal Proof, Companions (Invited Paper).
Damien PousPublished in: CALCO (2019)
Keyphrases
- invited paper
- formal proof
- theorem prover
- open learner models
- cellular automata
- finite automata
- probabilistic automata
- tree automata
- regular expressions
- finite state
- lattice gas
- finite state machines
- real world
- databases
- lecture notes
- computational intelligence
- information technology
- decision making
- turing machine
- artificial intelligence
- machine learning