Model Checking Human-Agent Collectives for Responsible AI.
Dhaminda B. AbeywickramaCorina CîrsteaSarvapali D. RamchurnPublished in: RO-MAN (2019)
Keyphrases
- model checking
- human agent
- temporal logic
- artificial intelligence
- social interaction
- model checker
- formal verification
- formal specification
- temporal properties
- pedagogical agents
- symbolic model checking
- expert systems
- automated verification
- timed automata
- formal methods
- verification method
- computation tree logic
- pspace complete
- machine learning
- virtual agents
- reachability analysis
- decision making
- reactive systems
- asynchronous circuits
- epistemic logic
- concurrent systems
- linear temporal logic
- bounded model checking
- deterministic finite automaton
- transition systems
- knowledge base
- reinforcement learning
- data mining