On Computer-Assisted Verification of Timed Anonymity of Multi-Agent Systems.
Yoshinobu KawabeNobuhiro ItoPublished in: ACIT/CSII/BCD (2017)
Keyphrases
- computer assisted
- multi agent systems
- petri net
- computer aided
- colored petri nets
- multi agent
- verification method
- intraoperative
- model checking
- agent systems
- intelligent agents
- foreign language
- autonomous agents
- game theory
- timed automata
- agent architecture
- cooperative
- formal verification
- privacy protection
- signature verification
- coalition formation
- multiagent systems
- agent platform
- surgical training
- discrete event
- vocabulary learning
- software agents
- electronic commerce