Benjamin Aminof

TU Wien, University of Vienna

论文数

2

总引用数

37

H-Index

2

关于

暂无简介。

研究焦点

Programming language2 · 37 次引用
Automaton2 · 37 次引用
Theoretical computer science2 · 37 次引用
Computer science2 · 37 次引用
Decidability2 · 37 次引用
Distributed computing2 · 37 次引用
Artificial intelligence2 · 37 次引用
Mobile robot1 · 28 次引用
Robot1 · 28 次引用
Model checking1 · 28 次引用
Bounded function1 · 28 次引用
Computer network1 · 28 次引用

主要成就

2
H 指数
2
论文
37
总引用数
19
篇均引用
🏆 最高被引论文
Verification of Asynchronous Mobile-Robots in Partially-Known Environments
28 次引用 · 2015
📈 最高产年份: 2015 (1 论文)
🤝 主要合作者: 3
🏛 所属机构: TU Wien, University of Vienna

代表论文

  1. 1
    Verification of Asynchronous Mobile-Robots in Partially-Known Environments
    28 次引用 · 2015
  2. 2
    Verification of agent navigation in partially-known environments
    9 次引用 · 2022

主要合作者

FZFlorian Zuleger2 篇合著论文SRSasha Rubin2 篇合著论文AMAniello Murano2 篇合著论文
尚未生成