Dung T. Phan

15 papers B 2Misc 1Journal 8Unranked 4
YearRankTypeTitle / Venue / Authors
2026 — conf
MAFIA-NeT: Multi-Agent Framework for Interactive Agricultural Negotiation and Trading Systems.
ICAART (1)
Dung T. Phan, Chi N. L. Phan, Long S. T. Nguyen, Phuc T. Dao, Quan M. Bui, Tin T. Ngo, Thi T. Nguyen, Tho T. Quan
2020 — conf
Neural Simplex Architecture.
NFM
Dung T. Phan, Radu Grosu, Nils Jansen, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
2019 J jnl
Neural Simplex Architecture.
CoRR
Dung T. Phan, Nicola Paoletti, Radu Grosu, Nils Jansen, Scott A. Smolka, Scott D. Stoller
2019 — conf
Neural state classification for hybrid systems.
SNR
Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
2018 Misc conf
Declarative vs rule-based control for flocking dynamics.
SAC
Usama Mehmood, Nicola Paoletti, Dung T. Phan, Radu Grosu, Shan Lin, Scott D. Stoller, Ashish Tiwari, Junxing Yang, Scott A. Smolka
2018 B conf
Neural State Classification for Hybrid Systems.
ATVA
Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
2018 J jnl
Neural State Classification for Hybrid Systems.
CoRR
Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
2017 — conf
A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems.
ACSD
Dung T. Phan, Junxing Yang, Matthew Clark, Radu Grosu, John D. Schierman, Scott A. Smolka, Scott D. Stoller
2017 J jnl
A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems.
CoRR
Dung T. Phan, Junxing Yang, Matthew Clark, Radu Grosu, John D. Schierman, Scott A. Smolka, Scott D. Stoller
2017 J jnl
Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles.
Formal Methods Syst. Des.
Dung T. Phan, Junxing Yang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
2017 J jnl
Declarative vs Rule-based Control for Flocking Dynamics.
CoRR
Usama Mehmood, Nicola Paoletti, Dung T. Phan, Radu Grosu, Shan Lin, Scott D. Stoller, Ashish Tiwari, Junxing Yang, Scott A. Smolka
2017 J jnl
How to Learn a Model Checker.
CoRR
Dung T. Phan, Radu Grosu, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
2017 J jnl
Model Checking Cyber-Physical Systems using Particle Swarm Optimization.
CoRR
Dung T. Phan, Scott A. Smolka, Radu Grosu, Usama Mehmood, Scott D. Stoller, Junxing Yang
2015 J jnl
A survey on unmanned aerial vehicle collision avoidance systems.
CoRR
Hung Pham, Scott A. Smolka, Scott D. Stoller, Dung T. Phan, Junxing Yang
2015 B conf
Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information About the Environment.
RV
Dung T. Phan, Junxing Yang, Denise Ratasich, Radu Grosu, Scott A. Smolka, Scott D. Stoller