Dung Phan

Identifiers

• name variant Dung Phan 0.60 · backfill

Papers (5)

1. How to Learn a Model Checker cs.LG · 2017 · author #1
2. Declarative vs Rule-based Control for Flocking Dynamics cs.MA · 2017 · author #3
3. A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems eess.SY · 2017 · author #1
4. Model Checking Cyber-Physical Systems using Particle Swarm Optimization cs.SY · 2017 · author #1
5. A survey on unmanned aerial vehicle collision avoidance systems cs.SY · 2015 · author #4

Mentions

• 1710.10013 #3 · arxiv_oai · confidence 0.70 Dung Phan
• 1704.04759 #1 · arxiv_oai · confidence 0.70 Dung Phan
• 1703.01257 #1 · arxiv_oai · confidence 0.70 Dung Phan
• 1508.07723 #4 · arxiv_oai · confidence 0.70 Dung Phan

Frequent Coauthors

• Scott A. Smolka 5 shared papers
• Scott D. Stoller 5 shared papers
• Junxing Yang 4 shared papers
• Radu Grosu 4 shared papers
• Nicola Paoletti 2 shared papers
• Usama Mehmood 2 shared papers
• Ashish Tiwari 1 shared papers
• Hung Pham 1 shared papers
• John D. Schierman 1 shared papers
• Matthew Clark 1 shared papers
• Shan Lin 1 shared papers