Thao Nguyen Van

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 2

Top Topics

Formal Verification

Multi Agent Systems

Top Venues

Publications

Thao Nguyen Van, Kurt Geihs
Formal Verification of Multi-agent Plans for Vehicle Platooning. ICCASA/ICTCC (2020)
Thao Nguyen Van, Nugroho Fredivianus, Huu Tam Tran, Kurt Geihs, Thi Thanh Binh Huynh
Formal Verification of ALICA Multi-agent Plans Using Model Checking. SoICT (2018)