Finite-trace and generalized-reactivity specifications in temporal synthesis.
Giuseppe De GiacomoAntonio Di StasioLucas M. TabajaraMoshe Y. VardiShufang ZhuPublished in: Formal Methods Syst. Des. (2022)
Keyphrases
- temporal patterns
- temporal information
- temporal data
- temporal constraints
- temporal characteristics
- temporal relationships
- execution traces
- high level
- delay insensitive
- video sequences
- program synthesis
- functional requirements
- temporal databases
- bounded model checking
- linear temporal logic
- temporal aspects
- temporal consistency
- control flow
- database
- texture synthesis
- agent architecture
- reinforcement learning
- website
- neural network