Traffic Intersections as Agents: A model checking approach for analysing communicating agents.
Thamilselvam BYenda RameshSubrahmanyam KalyanasundaramM. V. Panduranga RaoPublished in: SAC (2023)
Keyphrases
- communicating agents
- model checking
- artificial agents
- temporal logic
- formal verification
- epistemic logic
- automated verification
- event calculus
- temporal properties
- model checker
- verification method
- formal methods
- transition systems
- computation tree logic
- symbolic model checking
- formal specification
- finite state machines
- bounded model checking
- alternating time temporal logic
- timed automata
- pspace complete
- coalition logic
- intelligent agents
- reactive systems
- artificial life
- situation calculus
- cl pc
- modal logic