Supremal Marker-Controllable Subformula of a Given Canonical Temporal-Safety Formula.
Kiam Tian SeowPublished in: IEEE Access (2022)
Keyphrases
- propositional formulas
- spatio temporal
- linear temporal logic
- spatial and temporal
- temporal information
- temporal data
- temporal logic
- temporal constraints
- temporal databases
- temporal dimension
- temporal evolution
- normal form
- temporal patterns
- temporal reasoning
- temporal relations
- database systems
- space time
- knowledge representation
- relational databases
- video sequences