A Temporal Differential Dynamic Logic Formal Embedding.
Lauren WhiteLaura TitoloJ. Tanner SlagelCésar A. MuñozPublished in: CPP (2024)
Keyphrases
- dynamic logic
- reasoning about actions
- temporal information
- spatio temporal
- imperative programs
- modal logic
- spatial and temporal
- multiple input
- temporal reasoning
- temporal patterns
- classical first order logic
- propositional dynamic logic
- agent programming
- temporal data
- temporal constraints
- information hiding
- temporal relations
- temporal databases
- space time
- digital images
- image sequences