Multi-Agent Automata and Its Application to LDLK Satisfiability Checking.
Ya GaoWenhui ZhangXue-Yang ZhuPublished in: QRS (2021)
Keyphrases
- social networks
- multi agent
- multiagent systems
- multi agent systems
- cooperative
- cellular automata
- finite automata
- reinforcement learning
- intelligent agents
- multiple agents
- heterogeneous agents
- finite state automata
- learning agents
- single agent
- finite state
- multi agent environments
- probabilistic automata
- american football
- team formation
- multi agent coordination
- autonomous agents
- coalition formation
- database
- expert systems
- search algorithm
- case study
- information retrieval