Mohammad Zamani

Defence Science and Technology Group

论文数

4

总引用数

56

H-Index

3

关于

暂无简介。

研究焦点

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

主要成就

3
H 指数
4
论文
56
总引用数
14
篇均引用
🏆 最高被引论文
A Framework for Formal Verification of Behavior Trees With Linear Temporal Logic
35 次引用 · 2020
📈 最高产年份: 2020 (3 论文)
🤝 主要合作者: 4
🏛 所属机构: Defence Science and Technology Group

代表论文

  1. 1
    A Framework for Formal Verification of Behavior Trees With Linear Temporal Logic
    35 次引用 · 2020
  2. 2
    On Modularity in Reactive Control Architectures, with an Application to Formal Verification
    15 次引用 · 2022
  3. 3
    A principled analysis of Behavior Trees and their generalisations
    4 次引用 · 2020
  4. 4
    A Minimum Energy Filter for Distributed Multirobot Localisation
    2 次引用 · 2020

主要合作者

OBOliver Biggar3 篇合著论文ISIman Shames2 篇合著论文JHJack Henderson1 篇合著论文JTJochen Trumpf1 篇合著论文

联系与链接

可合作
内容已生成 · 14 天前