Dung T. Phan

According to our database, Dung T. Phan authored at least 9 papers between 2015 and 2020.

Collaborative distances:

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

2020

Neural Simplex Architecture.

Dung T. Phan, Radu Grosu, Nils Jansen, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

2018

Declarative vs rule-based control for flocking dynamics.

Usama Mehmood, Nicola Paoletti, Dung T. Phan, Radu Grosu, Shan Lin, Scott D. Stoller, Ashish Tiwari, Junxing Yang, Scott A. Smolka

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Neural State Classification for Hybrid Systems.

Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles.

Dung T. Phan, Junxing Yang, Radu Grosu, Scott A. Smolka, Scott D. Stoller

Formal Methods Syst. Des., 2017

How to Learn a Model Checker.

Dung T. Phan, Radu Grosu, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller

CoRR, 2017

Model Checking Cyber-Physical Systems using Particle Swarm Optimization.

Dung T. Phan, Scott A. Smolka, Radu Grosu, Usama Mehmood, Scott D. Stoller, Junxing Yang

CoRR, 2017

A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems.

Dung T. Phan, Junxing Yang, Matthew Clark, Radu Grosu, John D. Schierman, Scott A. Smolka, Scott D. Stoller

Proceedings of the 17th International Conference on Application of Concurrency to System Design, 2017

2015

A survey on unmanned aerial vehicle collision avoidance systems.

Hung Pham, Scott A. Smolka, Scott D. Stoller, Dung T. Phan, Junxing Yang

CoRR, 2015

Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information About the Environment.

Dung T. Phan, Junxing Yang, Denise Ratasich, Radu Grosu, Scott A. Smolka, Scott D. Stoller

Proceedings of the Runtime Verification - 6th International Conference, 2015