Papers
5
Total Citations
50
H-Index
4
About
No biography available yet.
Research Focus
Computer science5 · 50 citations
Theoretical computer science5 · 50 citations
Artificial intelligence4 · 48 citations
Temporal logic4 · 41 citations
Abstraction3 · 39 citations
Linear temporal logic3 · 32 citations
Complete information2 · 30 citations
Human–computer interaction1 · 26 citations
Transformation (genetics)1 · 26 citations
Robot1 · 26 citations
Program synthesis1 · 26 citations
Programming language3 · 15 citations
Key Achievements
4
H-Index
5
Papers
50
Total Citations
10
Avg Citations/Paper
🏆 Most Cited Paper
Synthesis of Surveillance Strategies via Belief Abstraction
26 citations · 2018
📈 Most Prolific Year: 2018 (2 Papers)
🤝 Key Collaborators: 7
🏛 Institutions: University of Leicester, Max Planck Institute for Software Systems, Max Planck Society
Top Papers
- 1Synthesis of Surveillance Strategies via Belief Abstraction26 citations · 2018
- 2Probabilistic CTL $$^{*}$$ : The Deductive Way9 citations · 2016
- 3
- 4Synthesis of surveillance strategies via belief abstraction4 citations · 2017
- 5Maximum Realizability for Linear Temporal Logic Specifications2 citations · 2018
Key Collaborators
Not generated yet