R-CHECK: A Model Checker for Verifying Reconfigurable MAS.
Yehia Abd AlrahmanShaun AzzopardiNir PitermanPublished in: AAMAS (2022)
Keyphrases
- model checking
- model checker
- multi agent systems
- temporal logic
- formal verification
- symbolic model checking
- multiagent systems
- formal specification
- formal methods
- multi agent
- general purpose
- description language
- test suite
- constraint satisfaction problems
- planning domains
- evolutionary algorithm
- artificial intelligence