Thao Nguyen Van

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Formal verification for ALICA plans.
PhD thesis, 2021

2020
Formal Verification of Multi-agent Plans for Vehicle Platooning.
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.
Proceedings of the Ninth International Symposium on Information and Communication Technology, 2018


  Loading...