Autonomous systems are technologies that interact within an environment to gain knowledge and build awareness, learn, adapt and make decisions, with little or no human control. They include automated decision-making software and ‘smart’ devices as well as self-driving cars, drones and healthcare and surgical robots. These systems are already used in many sectors of society. Given their increased use, it is important to ensure that they are designed, built and deployed in a way that can be fully relied upon.
Our state-of-the art tools are freely available for dowload.
RoboTool supports graphical modelling, validation, and automatic generatits...
https://www.cs.york.ac.uk/robostar/robotool/The MCAPL Project provides a tool for prototyping BDI agent programming languages ....
https://autonomy-and-verification.github.io/tools/mcaplROSMonitoring provides a Runtime Verification Framework for ROS.
https://github.com/autonomy-and-verification-uol/ROSMonitoringFormally Verified Self-adaptation of an Incubator Digital Twin Inproceedings
In: Margaria, Tiziana; Steffen, Bernhard (Ed.): Leveraging Applications of Formal Methods, Verification and Validation. Practice, pp. 89–109, Springer Nature Switzerland, Cham, 2022, ISBN: 978-3-031-19762-8.
Advising Autonomous Cars about the Rules of the Road Journal Article
In: arXiv preprint arXiv:2209.14035, 2022.
AI Journal Special Issue on Ethics for Autonomous Systems Journal Article
In: Artificial Intelligence, 305 , pp. 103677, 2022, ISSN: 0004-3702.
Verifiability Talk 56: “Highlights of Model Checking and Runtime Verification of Aerospace Systems”
Verifiability Talk 54: “Taking Back Control: Formally Modelling a Compiler Intermediate Representation for GPU Computing”
Please follow us on Twitter to receive instant updates on events, activities and news related to the node.
Join Us twitter