Synchronous Agents, Verification, and Blame - A Deontic View.
Karam Younes KharrazShaun AzzopardiGerardo SchneiderMartin LeuckerPublished in: ICTAC (2023)
Keyphrases
- multi agent systems
- multi agent
- multiagent systems
- multiple agents
- autonomous agents
- intelligent agents
- mobile agents
- cooperative
- global view
- software agents
- decision making
- agent architecture
- agent systems
- artificial agents
- dynamic environments
- model checking
- dynamic logic
- multi agent planning
- single agent
- bounded rationality
- heterogeneous agents
- reactive agents
- agent based simulation
- coalition formation
- formal methods
- face verification
- neural network
- agent technology
- incomplete information
- search algorithm
- artificial intelligence
- classical logic
- learning agents
- complex environments
- multi agent simulation
- distributed agents