Sven Linker

University of Liverpool

论文数

2

总引用数

7

H-Index

2

关于

暂无简介。

研究焦点

Systems engineering2 · 7 次引用
Artificial intelligence2 · 7 次引用
Computer science2 · 7 次引用
Software engineering2 · 7 次引用
Robotics2 · 7 次引用
Robot2 · 7 次引用
Engineering2 · 7 次引用
Engineering management2 · 7 次引用
Formal verification1 · 5 次引用
Formal methods1 · 5 次引用
Programming language1 · 5 次引用
Political science1 · 2 次引用

主要成就

2
H 指数
2
论文
7
总引用数
4
篇均引用
🏆 最高被引论文
Proceedings First Workshop on Formal Verification of Autonomous Vehicles
5 次引用 · 2017
📈 最高产年份: 2017 (1 论文)
🤝 主要合作者: 4
🏛 所属机构: University of Liverpool

代表论文

  1. 1
    Proceedings First Workshop on Formal Verification of Autonomous Vehicles
    5 次引用 · 2017
  2. 2
    Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles
    2 次引用 · 2018

主要合作者

LBLukas Bulwahn1 篇合著论文SKStefan Kugele1 篇合著论文MGMario Gleirscher1 篇合著论文MKMaryam Kamali1 篇合著论文
尚未生成