Login / Signup
Counterexample Validation and Interpolation-Based Refinement for Forest Automata.
Lukás Holík
Martin Hruska
Ondrej Lengál
Adam Rogalewicz
Tomás Vojnar
Published in:
VMCAI (2017)
Keyphrases
</>
model checking
cellular automata
finite state machines
finite state
interpolation methods
regular expressions
image interpolation
finite automata
formal verification
edge directed
databases
step wise
model validation
interpolation method
reinforcement learning
computer vision
artificial intelligence