Specifying Deadlines with Continuous Time Using Deontic and Temporal Logic.
Frank DignumRuurd KuiperPublished in: Int. J. Electron. Commer. (1998)
Keyphrases
- temporal logic
- model checking
- modal logic
- satisfiability problem
- optimal control
- markov chain
- concurrent systems
- model checker
- state space
- transition systems
- mazurkiewicz traces
- temporally extended goals
- dynamical systems
- computation tree logic
- classical logic
- formal specification language
- deontic logic
- artificial intelligence
- temporal knowledge
- verification method
- inference rules
- temporal properties
- finite state
- belief revision
- petri net
- search algorithm
- video sequences