Thao Dang
Scholar

Thao Dang

Google Scholar ID: YIOQihEAAAAJ
CNRS Research Director, Laboratory VERIMAG, Grenoble, France
formal methodshybrid systemscyber-physical systemsmodel-based testingsystems biology
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
7,117
 
H-index
36
 
i10-index
67
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Publications
1 items
On Tackling Complex Tasks with Reward Machines and Signal Temporal Logics
2026
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)