On the Power of Automata Minimization in Temporal Synthesis.
Shufang ZhuLucas M. TabajaraGeguang PuMoshe Y. VardiPublished in: GandALF (2021)
Keyphrases
- spatio temporal
- temporal information
- power consumption
- temporal data
- finite state machines
- program synthesis
- cellular automata
- temporal relations
- temporal constraints
- objective function
- temporal evolution
- temporal databases
- finite state
- temporal reasoning
- database
- computational power
- space time
- finite automata
- temporal dimension
- temporal analysis
- temporal consistency
- temporal aspects
- functional programs