论文数
5
总引用数
50
H-Index
4
关于
暂无简介。
研究焦点
Computer science5 · 50 次引用
Theoretical computer science5 · 50 次引用
Artificial intelligence4 · 48 次引用
Temporal logic4 · 41 次引用
Abstraction3 · 39 次引用
Linear temporal logic3 · 32 次引用
Complete information2 · 30 次引用
Human–computer interaction1 · 26 次引用
Transformation (genetics)1 · 26 次引用
Robot1 · 26 次引用
Program synthesis1 · 26 次引用
Programming language3 · 15 次引用
主要成就
4
H 指数
5
论文
50
总引用数
10
篇均引用
🏆 最高被引论文
Synthesis of Surveillance Strategies via Belief Abstraction
26 次引用 · 2018
📈 最高产年份: 2018 (2 论文)
🤝 主要合作者: 7
🏛 所属机构: University of Leicester, Max Planck Institute for Software Systems, Max Planck Society
代表论文
- 1
- 2Probabilistic CTL $$^{*}$$ : The Deductive Way9 次引用 · 2016
- 3
- 4Synthesis of surveillance strategies via belief abstraction4 次引用 · 2017
- 5
主要合作者
尚未生成