Papers
4
Total Citations
59
H-Index
4
About
No biography available yet.
Research Focus
Theoretical computer science4 · 59 citations
Artificial intelligence4 · 59 citations
Computer science4 · 59 citations
Modularity (biology)4 · 59 citations
Programming language3 · 44 citations
Correctness2 · 40 citations
Construct (python library)2 · 39 citations
Mathematics2 · 39 citations
Tree (set theory)2 · 39 citations
Algorithm1 · 35 citations
Linear temporal logic1 · 35 citations
Formal verification1 · 35 citations
Key Achievements
4
H-Index
4
Papers
59
Total Citations
15
Avg Citations/Paper
🏆 Most Cited Paper
A Framework for Formal Verification of Behavior Trees With Linear Temporal Logic
35 citations · 2020
📈 Most Prolific Year: 2020 (3 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: Defence Science and Technology Group, Australian National University
Top Papers
- 1
- 2
- 3
- 4A principled analysis of Behavior Trees and their generalisations4 citations · 2020
Key Collaborators
Not generated yet