Synchronous Agents, Verification, and Blame - A Deontic View.
Karam Younes KharrazShaun AzzopardiGerardo SchneiderMartin LeuckerPublished in: CoRR (2023)
Keyphrases
- multi agent
- multi agent systems
- autonomous agents
- multiagent systems
- intelligent agents
- global view
- cooperative
- multiple agents
- agent cooperation
- decision making
- software agents
- model checking
- resource allocation
- multi agent simulation
- interacting agents
- artificial agents
- game theoretic
- action selection
- multi agent planning
- dynamic environments
- reasoning process
- agent model
- multiple views
- mobile agents
- open systems
- learning agents
- complex environments
- asynchronous communication
- combinatorial auctions
- inference rules
- incomplete information
- mobile robot