Model checking open systems with alternating projection temporal logic.
Cong TianZhenhua DuanPublished in: Theor. Comput. Sci. (2019)
Keyphrases
- temporal logic
- open systems
- model checking
- autonomous agents
- modal logic
- model checker
- computation tree logic
- formal specification
- finite state
- verification method
- satisfiability problem
- temporal properties
- concurrent systems
- formal verification
- bounded model checking
- symbolic model checking
- linear temporal logic
- multiagent systems
- formal methods
- reactive systems
- transition systems
- np complete
- multi agent
- temporally extended