Verification of Relational Multiagent Systems with Data Types (Extended Version).
Diego CalvaneseGiorgio DelzannoMarco MontaliPublished in: CoRR (2014)
Keyphrases
- data types
- multiagent systems
- data model
- multi agent
- database systems
- data structure
- database management systems
- user defined
- autonomous agents
- multiagent planning
- relational databases
- abstract data types
- relational model
- data mining algorithms
- coalition formation
- query language
- multi agent systems
- model checking
- database
- multiagent reinforcement learning
- databases
- learning algorithm
- object identity
- robotic soccer
- adjustable autonomy