Vladimir Herdt

University of Bremen

Papers

2

Total Citations

7

H-Index

2

About

No biography available yet.

Research Focus

Computer science2 · 7 citations
Robot1 · 4 citations
Software engineering1 · 4 citations
Artificial intelligence1 · 4 citations
Formal verification1 · 4 citations
Human–computer interaction1 · 4 citations
Plan (archaeology)1 · 4 citations
Programming language1 · 4 citations
Cognition1 · 4 citations
Systems engineering1 · 3 citations
Engineering1 · 3 citations
Logic model1 · 3 citations

Key Achievements

2
H-Index
2
Papers
7
Total Citations
4
Avg Citations/Paper
🏆 Most Cited Paper
Towards Formal Verification of Plans for Cognition-Enabled Autonomous Robotic Agents
4 citations · 2019
📈 Most Prolific Year: 2019 (1 Papers)
🤝 Key Collaborators: 6
🏛 Institutions: University of Bremen

Top Papers

  1. 1
    Towards Formal Verification of Plans for Cognition-Enabled Autonomous Robotic Agents
    4 citations · 2019
  2. 2
    Verifying Safety Properties of Robotic Plans Operating in Real-World Environments via Logic-Based Environment Modeling
    3 citations · 2020

Key Collaborators

TMTim Meywerk2 shared papersRDRolf Drechsler2 shared papersMWMarcel Walter2 shared papersJKJan Kleinekathöfer1 shared papersDGDaniel GroBe1 shared papersDGDaniel Große1 shared papers
Not generated yet