LTL Verification of Online Executions with Sensing in Bounded Situation Calculus.
Giuseppe De GiacomoYves LespéranceFabio PatriziStavros VassosPublished in: ECAI (2014)
Keyphrases
- situation calculus
- model checking
- sensing actions
- action theories
- event calculus
- bounded model checking
- temporal logic
- modal logic
- linear time temporal logic
- reasoning tasks
- logical language
- initial state
- provably correct
- formal verification
- blocks world
- modal operators
- reasoning about actions
- fluent calculus
- finite state
- agent programming
- concurrent actions
- taxonomic reasoning