Statistics
Publications
2
Citations
169
H-Index
2
Active since
2000
Affiliations
Carolos Livadas is an author at Massachusetts Institute of Technology specializing in executable system models, computer science, and hybrid systems.
Publications per year
2000–2003
2
2
High-level modeling and analysis of TCAS
Carolos Livadas, John Lygeros, Nancy Lynch · 2003 · 59 citations
1–2 of 2