Mohammad Zamani

Defence Science and Technology Group

Papers

4

Total Citations

56

H-Index

3

About

No biography available yet.

Research Focus

Computer science4 · 56 citations
Artificial intelligence4 · 56 citations
Theoretical computer science3 · 54 citations
Modularity (biology)3 · 54 citations
Mathematics3 · 41 citations
Programming language2 · 39 citations
Tree (set theory)2 · 39 citations
Construct (python library)2 · 39 citations
Algorithm2 · 37 citations
Correctness1 · 35 citations
Flexibility (engineering)1 · 35 citations
Computation tree logic1 · 35 citations

Key Achievements

3
H-Index
4
Papers
56
Total Citations
14
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: 4
🏛 Institutions: Defence Science and Technology Group

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
    A principled analysis of Behavior Trees and their generalisations
    4 citations · 2020
  4. 4
    A Minimum Energy Filter for Distributed Multirobot Localisation
    2 citations · 2020

Key Collaborators

OBOliver Biggar3 shared papersISIman Shames2 shared papersJHJack Henderson1 shared papersJTJochen Trumpf1 shared papers
Not generated yet