STV+AGR: Towards Practical Verification of Strategic Ability Using Assume-Guarantee Reasoning.
Damian KurpiewskiLukasz MikulskiWojciech JamrogaPublished in: CoRR (2022)
Keyphrases
- knowledge base
- multi agent decision making
- case study
- reasoning process
- practical application
- reasoning systems
- real world
- web services
- cognitive abilities
- model checking
- real time
- rule based reasoning
- practical problems
- formal methods
- decision making
- data sets
- verification method
- signature verification
- automated reasoning
- probabilistic reasoning
- semantic web
- knowledge management
- information technology