Papers
6
Total Citations
49
H-Index
4
About
No biography available yet.
Research Focus
Computer science6 · 49 citations
Theoretical computer science4 · 41 citations
Artificial intelligence4 · 37 citations
Algorithm2 · 29 citations
Mathematical optimization2 · 29 citations
Task (project management)2 · 29 citations
Constraint (computer-aided design)2 · 29 citations
Mathematics2 · 29 citations
Linear temporal logic2 · 29 citations
Robot3 · 27 citations
Markov process3 · 22 citations
Markov decision process3 · 22 citations
Key Achievements
4
H-Index
6
Papers
49
Total Citations
8
Avg Citations/Paper
🏆 Most Cited Paper
Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks
19 citations · 2020
📈 Most Prolific Year: 2020 (3 Papers)
🤝 Key Collaborators: 10
🏛 Institutions: University of Colorado Boulder, LMU Klinikum, Ludwig-Maximilians-Universität München
Top Papers
- 1Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks19 citations · 2020
- 2
- 3
- 4AMYTISS5 citations · 2020
- 5Towards Safe AI: Sandboxing DNNs-Based Controllers in Stochastic Games4 citations · 2023
- 6OmegaThreads4 citations · 2021
Key Collaborators
Not generated yet