46 citations · 178 across the 20 of their papers we have counts for
22 papers
Harmonization Across Imaging Locations(HAIL): One-Shot Learning for Brain MRI
Abhijeet Parida, Zhifan Jiang, Syed Muhammad Anwar +6
For machine learning-based prognosis and diagnosis of rare diseases, such as pediatric brain tumors, it is necessary to gather medical imaging data from multiple clinical sites tha…
Advising Autonomous Cars about the Rules of the Road
Joe Collenette, Louise A. Dennis, Michael Fisher
This paper describes (R)ules (o)f (T)he (R)oad (A)dvisor, an agent that provides recommended and possible actions to be generated from a set of human-level rules. We describe the a…
Towards a Framework for Certification of Reliable Autonomous Systems
Michael Fisher, Viviana Mascardi, Kristin Yvonne Rozier +3
A computational system is called autonomous if it is able to make its own decisions, or take its own actions, without human supervision or control. The capability and spread of suc…
Probabilistic Model Checking of Robots Deployed in Extreme Environments
Xingyu Zhao, Valentin Robu, David Flynn +3
Robots are increasingly used to carry out critical missions in extreme environments that are hazardous for humans. This requires a high degree of operational autonomy under uncerta…
Multi-Scale Verification of Distributed Synchronisation
Paul Gainer, Sven Linker, Clare Dixon +2
Algorithms for the synchronisation of clocks across networks are both common and important within distributed systems. We here address not only the formal modelling of these algori…
Robotics and Integrated Formal Methods: Necessity meets Opportunity
Marie Farrell, Matt Luckcuck, Michael Fisher
Robotic systems are multi-dimensional entities, combining both hardware and software, that are heavily dependent on, and influenced by, interactions with the real world. They can b…