DyNeMoC: Statistical Model Checking for Agent Based Systems on Graphs.
Yenda RameshNikhil AnandM. V. Panduranga RaoPublished in: PRIMA (2019)
Keyphrases
- model checking
- agent based systems
- temporal logic
- formal verification
- model checker
- automated verification
- temporal properties
- formal specification
- multi agent systems
- agent systems
- symbolic model checking
- dynamic environments
- agent technology
- verification method
- finite state
- reachability analysis
- transition systems
- computation tree logic
- timed automata
- distributed systems
- epistemic logic
- process algebra
- formal methods
- software agents
- multiagent systems
- bounded model checking
- pspace complete
- alternating time temporal logic
- graph theory
- modal logic
- decision support system
- reactive systems
- intelligent agents
- multi agent
- artificial intelligence
- data mining