Papers
3
Total Citations
60
H-Index
3
About
No biography available yet.
Research Focus
Artificial intelligence3 · 60 citations
Computer science3 · 60 citations
Theoretical computer science3 · 60 citations
Algorithm2 · 57 citations
State (computer science)2 · 35 citations
Büchi automaton1 · 32 citations
Discrete mathematics1 · 32 citations
Finite-state machine1 · 32 citations
Counterexample1 · 32 citations
Automaton1 · 32 citations
Deterministic automaton1 · 32 citations
Learning automata1 · 32 citations
Key Achievements
3
H-Index
3
Papers
60
Total Citations
20
Avg Citations/Paper
🏆 Most Cited Paper
An Automaton Learning Approach to Solving Safety Games over Infinite Graphs
32 citations · 2016
📈 Most Prolific Year: 2016 (1 Papers)
🤝 Key Collaborators: 7
🏛 Institutions: University of California, Los Angeles, Max Planck Institute for Software Systems
Top Papers
- 1An Automaton Learning Approach to Solving Safety Games over Infinite Graphs32 citations · 2016
- 2Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic25 citations · 2022
- 3Resilient abstraction-based controller design3 citations · 2020
Key Collaborators
Not generated yet