Dung T. Phan

Publication Activity (10 Years)

Years Active: 2015-2020
Publications (10 Years): 12

Top Topics

Neural Architectures

Collision Avoidance

Top Venues

Formal Methods Syst. Des.

Publications

Dung T. Phan, Radu Grosu, Nils Jansen, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
Neural Simplex Architecture. NFM (2020)
Dung T. Phan, Nicola Paoletti, Radu Grosu, Nils Jansen, Scott A. Smolka, Scott D. Stoller
Neural Simplex Architecture. CoRR (2019)
Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
Neural state classification for hybrid systems. SNR (2019)
Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
Neural State Classification for Hybrid Systems. CoRR (2018)
Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
Neural State Classification for Hybrid Systems. ATVA (2018)
Usama Mehmood, Nicola Paoletti, Dung T. Phan, Radu Grosu, Shan Lin, Scott D. Stoller, Ashish Tiwari, Junxing Yang, Scott A. Smolka
Declarative vs rule-based control for flocking dynamics. SAC (2018)
Dung T. Phan, Scott A. Smolka, Radu Grosu, Usama Mehmood, Scott D. Stoller, Junxing Yang
Model Checking Cyber-Physical Systems using Particle Swarm Optimization. CoRR (2017)
Dung T. Phan, Junxing Yang, Matthew Clark, Radu Grosu, John D. Schierman, Scott A. Smolka, Scott D. Stoller
A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems. ACSD (2017)
Dung T. Phan, Junxing Yang, Matthew Clark, Radu Grosu, John D. Schierman, Scott A. Smolka, Scott D. Stoller
A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems. CoRR (2017)
Dung T. Phan, Radu Grosu, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
How to Learn a Model Checker. CoRR (2017)
Dung T. Phan, Junxing Yang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles. Formal Methods Syst. Des. 51 (1) (2017)
Usama Mehmood, Nicola Paoletti, Dung T. Phan, Radu Grosu, Shan Lin, Scott D. Stoller, Ashish Tiwari, Junxing Yang, Scott A. Smolka
Declarative vs Rule-based Control for Flocking Dynamics. CoRR (2017)
Hung Pham, Scott A. Smolka, Scott D. Stoller, Dung T. Phan, Junxing Yang
A survey on unmanned aerial vehicle collision avoidance systems. CoRR (2015)
Dung T. Phan, Junxing Yang, Denise Ratasich, Radu Grosu, Scott A. Smolka, Scott D. Stoller
Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information About the Environment. RV (2015)