Awesome Robotics
Papers
Topics
Trending
Leaderboards
Authors
Datasets
Learn
Ask AI
Map
Tools
Reading Packs
News
All sections
Browse
Papers
The full index, filterable and sortable.
Topics
The same papers grouped by subject tag.
Trending
What moved this week, and by how much.
Authors
Who publishes here, and who they publish with.
Map
The collection laid out by embedding similarity.
Compare
Leaderboards
Benchmark tables, with the paper behind each number.
Datasets
The datasets these papers train and evaluate on.
Tools
Code and libraries released alongside the papers.
Read
Learn
Ordered routes from background reading to current work.
Ask AI
Ask a question and get answers cited to these papers.
Videos
The most-watched talks and lectures in this field.
Reading Packs
Short curated sets built around one question.
Follow
News
Press and coverage tied back to the papers.
Blogs
Author and lab write-ups of their own work.
Newsletter
Email digest of what changed, on a schedule.
Research Radar
Paste an abstract, get matches across every collection.
Yours
Saved
Papers you bookmarked in this browser.
+ Add Paper
☾
☀
← authors
·
overview
Loading author…
Ask AI
Michael Fisher — most-cited papers & profile · Robotics
← authors
·
overview
Michael Fisher
9
papers ·
0
citations
Google Scholar ↗
Semantic Scholar ↗
OpenAlex ↗
Most-cited papers
Towards Continuous Assurance with Formal Verification and Assurance Cases
2025
Autonomy and Safety Assurance in the Early Development of Robotics and Autonomous Systems
2025
A Corroborative Approach to Verification and Validation of Human--Robot Teams
2016
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time
2018
Probabilistic Model Checking of Robots Deployed in Extreme Environments
2018
Modular Verification of Autonomous Space Robotics
2019
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management
2019
Towards a Framework for Certification of Reliable Autonomous Systems
2020
Grand Challenges in the Verification of Autonomous Systems
2024
Top co-authors
Clare Dixon
· 2
David Flynn
· 2
Dhaminda B. Abeywickrama
· 2
Frederic Wheeler
· 2
Louise A. Dennis
· 2
Louise Dennis
· 2
Matt Webster
· 2
Valentin Robu
· 2
Xingyu Zhao
· 2
Alexei Lisitsa
· 1
Angelo Ferrando
· 1
Anthony G. Pipe
· 1
Topics
cs.RO
cs.SE
cs.AI
Control
Human-Robot Interaction
Manipulation
cs.FL
cs.LO
Drones
Navigation