Coinduction: Automata, Formal Proof, Companions (Invited Paper).

Published 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