On Verifying Expectations and Observations of Intelligent Agents.
Sourav ChakrabortyAvijeet GhoshSujata GhoshFrançois SchwarzentruberPublished in: IJCAI (2022)
Keyphrases
- intelligent agents
- multi agent
- intelligent systems
- multi agent systems
- agent architecture
- artificial agents
- building intelligent
- agent systems
- distributed artificial intelligence
- distributed environment
- artificial intelligence
- agent interactions
- software agents
- resource management
- decision making
- mental states
- mobile agents
- model checking
- computational intelligence
- hidden markov models
- multi issue
- real time
- belief desire intention