Towards Timed Automata and Multi-agent Systems.
Guillaume HutzlerHanna KlaudelDong Yue WangPublished in: FAABS (2004)
Keyphrases
- timed automata
- multi agent systems
- model checking
- reachability analysis
- coalition logic
- theorem prover
- multi agent
- autonomous agents
- cooperative
- real time systems
- theorem proving
- coalition formation
- first order logic
- intelligent agents
- game theory
- agent technology
- agent architecture
- temporal logic
- complex systems
- agent systems
- distributed problem solving
- computational logic
- agent platform
- software agents
- trust model
- software systems
- agent oriented
- real world
- real time
- logic programming
- expert systems
- machine learning