Ivan Gavran

Max Planck Institute for Software Systems

论文数

4

总引用数

50

H-Index

3

关于

暂无简介。

研究焦点

Artificial intelligence4 · 50 次引用
Computer science4 · 50 次引用
Programming language4 · 50 次引用
Task (project management)3 · 47 次引用
Linear temporal logic2 · 45 次引用
Robot3 · 31 次引用
Python (programming language)1 · 26 次引用
Real-time computing1 · 26 次引用
Mobile robot1 · 26 次引用
Motion planning1 · 26 次引用
Implementation1 · 26 次引用
Distributed computing1 · 26 次引用

主要成就

3
H 指数
4
论文
50
总引用数
13
篇均引用
🏆 最高被引论文
Antlab
26 次引用 · 2017
📈 最高产年份: 2018 (2 论文)
🤝 主要合作者: 8
🏛 所属机构: Max Planck Institute for Software Systems

代表论文

  1. 1
    Antlab
    26 次引用 · 2017
  2. 2
    Interactive synthesis of temporal specifications from examples and natural language
    19 次引用 · 2020
  3. 3
    Tᴏᴏʟ: accessible automated reasoning for human robot collaboration
    3 次引用 · 2018
  4. 4
    Precise but Natural Specification for Robot Tasks
    2 次引用 · 2018

主要合作者

RMRupak Majumdar3 篇合著论文EDEva Darulová2 篇合著论文ISIndranil Saha1 篇合著论文RMRainer Müller1 篇合著论文OMOrtwin Mailahn1 篇合著论文BBBrendon Boldt1 篇合著论文DZDamien Zufferey1 篇合著论文RPRichard Peifer1 篇合著论文
尚未生成