Scholar
Sven Linker
Google Scholar ID: bcBzPn8AAAAJ
System Verification Engineer @ Kernkonzept GmbH
spatial logic
diagrammatic reasoning
visual reasoning
process algebra
temporal logic
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
377
H-index
9
i10-index
8
Publications
20
Co-authors
0
Contact
No contact links provided.
Publications
1 items
Engineering Reliable Autonomous Systems: Challenges and Solutions
2026
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)