Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis.
Giuseppe De GiacomoAntonio Di StasioLucas M. TabajaraMoshe Y. VardiShufang ZhuPublished in: IJCAI (2021)
Keyphrases
- linear temporal logic
- high level
- temporal constraints
- execution traces
- spatio temporal
- spatial and temporal
- temporal reasoning
- temporal databases
- bounded model checking
- temporal information
- unit length
- formal specification
- temporal data
- finite number
- temporal ordering
- delay insensitive
- temporal patterns
- program synthesis
- temporal analysis
- finite dimensional
- database
- temporal logic
- model checking
- software engineering
- search engine
- learning algorithm