Scholar
Daniel Mitchell
Google Scholar ID: IgoVdoQAAAAJ
Autonomous Systems and Connectivity Division, University of Glasgow
Autonomous Systems
Robotics
Non-Destructive Evaluation
Sensors
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
564
H-index
13
i10-index
15
Publications
20
Co-authors
21
list available
Publications
1 items
Applying Formal Methods Tools to an Electronic Warfare Codebase (Experience report)
2026
Cited
0
Co-authors
8 total
David Flynn
Professor , University of Glasgow
Dr. Jamie Blanche FGS MInstP AFHEA
University of Glasgow
Valentin Robu
Senior Researcher, CWI Amsterdam and Full Professor, TU Eindhoven
Simon Watson
Reader in Robotic Systems, The University of Manchester
Barry Lennox
Professor of Applied Control, University of Manchester
Olga Fink
Laboratory of Intelligent Maintenance and Operations Systems, EPFL
Gaëtan Frusque
EPFL Lausanne
Manuel Giuliani
Kempten University of Applied Sciences
