Formal Modeling and Verification of Multi-agent System Based on Timed Automata.
Xia WangYang XuPeiyao LiuPublished in: ISKE (2021)
Keyphrases
- timed automata
- model checking
- multi agent systems
- formal specification
- formal methods
- cooperative
- formal verification
- reactive systems
- formal models
- temporal logic
- real time
- theorem proving
- theorem prover
- agent based modeling
- modeling method
- intelligent agents
- knowledge base
- artificial intelligence
- genetic algorithm
- machine learning