Formal Modeling and Verification of Multi-agent System Based on Timed Automata.

Xia Wang, Yang Xu, Peiyao Liu

Browse the full ISKE paper archive.