Ivan Gavran

Max Planck Institute for Software Systems

Papers

4

Total Citations

50

H-Index

3

About

No biography available yet.

Research Focus

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

Key Achievements

3
H-Index
4
Papers
50
Total Citations
13
Avg Citations/Paper
🏆 Most Cited Paper
Antlab
26 citations · 2017
📈 Most Prolific Year: 2018 (2 Papers)
🤝 Key Collaborators: 8
🏛 Institutions: Max Planck Institute for Software Systems

Top Papers

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

Key Collaborators

RMRupak Majumdar3 shared papersEDEva Darulová2 shared papersISIndranil Saha1 shared papersRMRainer Müller1 shared papersOMOrtwin Mailahn1 shared papersBBBrendon Boldt1 shared papersDZDamien Zufferey1 shared papersRPRichard Peifer1 shared papers
Not generated yet