Papers
11
Total Citations
848
H-Index
8
About
No biography available yet.
Research Focus
Computer science11 · 848 citations
Theoretical computer science4 · 626 citations
Hybrid system3 · 501 citations
Key (lock)2 · 499 citations
Machine learning5 · 486 citations
Mathematics4 · 442 citations
Algorithm3 · 430 citations
Finite-state machine2 · 423 citations
Automaton1 · 421 citations
Hybrid automaton1 · 421 citations
Automata theory1 · 421 citations
Model checking1 · 421 citations
Key Achievements
8
H-Index
11
Papers
848
Total Citations
77
Avg Citations/Paper
🏆 Most Cited Paper
HyTech: A model checker for hybrid systems
421 citations · 1997
📈 Most Prolific Year: 2001 (4 Papers)
🤝 Key Collaborators: 17
🏛 Institutions: University of California System, University of California, Berkeley, Institute of Science and Technology Austria
Top Papers
- 1HyTech: A model checker for hybrid systems421 citations · 1997
- 2Resource Interfaces125 citations · 2003
- 3Embedded Control Systems Development with Giotto86 citations · 2001
- 4Assume-Guarantee Reasoning for Hierarchical Hybrid Systems78 citations · 2001
- 5Designing Worm-inspired Neural Networks for Interpretable Robotic Control43 citations · 2019
- 6Embedded Control Systems Development with Giotto33 citations · 2001
- 7Embedded Control Systems Development with Giotto33 citations · 2001
- 8Adversarial Training is Not Ready for Robot Learning12 citations · 2021
- 9
- 10Battery transition systems7 citations · 2014
Key Collaborators
MLMathias Lechner3 shared papersBHBenjamin Horowitz3 shared papersCKChristoph Kirsch3 shared papersDRDaniela Rus2 shared papersRHRamin Hasani2 shared papersRGRadu Grosu2 shared papersHWHoward Wong-Toi1 shared papersUBUdi Boker1 shared papersLDLuca de Alfaro1 shared papersPHPei-Hsin Ho1 shared papersACArindam Chakrabarti1 shared papersAAAlexander Amini1 shared papersARArjun Radhakrishna1 shared papersMMMarius Minea1 shared papersVSVinayak S. Prabhu1 shared papersMZManuel Zimmer1 shared papersMSMariëlle Stoelinga1 shared papers
Not generated yet