Oliver Biggar

Defence Science and Technology Group, Australian National University

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. 1
    A Framework for Formal Verification of Behavior Trees With Linear Temporal Logic
    35 citations · 2020
  2. 2
    On Modularity in Reactive Control Architectures, with an Application to Formal Verification
    15 citations · 2022
  3. 3
    On modularity in reactive control architectures, with an application to formal verification
    5 citations · 2020
  4. 4
    A principled analysis of Behavior Trees and their generalisations
    4 citations · 2020

Key Collaborators

ISIman Shames3 shared papersMZMohammad Zamani3 shared papersMZMohammad Zamani1 shared papers
Not generated yet