Reactive Synthesis for DECLARE via symbolic automata.
Luca GeattiMarco MontaliAndrey RivkinPublished in: CoRR (2022)
Keyphrases
- cellular automata
- finite state
- lattice gas
- texture synthesis
- high level
- finite automata
- symbolic representation
- connectionist systems
- symbolic description
- symbolic reasoning
- probabilistic automata
- neural learning
- tree automata
- machine learning
- program synthesis
- real time
- finite state machines
- multi agent
- neural network