Thao Nguyen Van

According to our database, Thao Nguyen Van authored at least 3 papers between 2018 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

Formal verification for ALICA plans.

Thao Nguyen Van

PhD thesis, 2021

2020

Formal Verification of Multi-agent Plans for Vehicle Platooning.

Thao Nguyen Van, Kurt Geihs

Proceedings of the Context-Aware Systems and Applications, and Nature of Computation and Communication, 2020

2018

Formal Verification of ALICA Multi-agent Plans Using Model Checking.

Thao Nguyen Van, Nugroho Fredivianus, Huu Tam Tran, Kurt Geihs, Thi Thanh Binh Huynh

Proceedings of the Ninth International Symposium on Information and Communication Technology, 2018