A Constraint Mechanism for Knowlege Specification of Simulation Systems Based on Temporal Logic.
Chuchang LiuMehmet A. OrgunPublished in: Australian Joint Conference on Artificial Intelligence (1997)
Keyphrases
- temporal logic
- reactive systems
- model checking
- transition systems
- dynamic constraints
- linear temporal logic
- formal specification language
- formal methods
- concurrent systems
- verification method
- belief revision
- formal specification
- satisfiability problem
- modal logic
- complex systems
- knowledge based systems
- bounded model checking
- computation tree logic
- qualitative differential equations
- dynamic programming