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/mcapl
In: Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering (ASE 2021)., IEEE/ACM, 2021.
Efficient Algorithms for Omega-Regular Energy Games Inproceedings
In: Huisman, Marieke; Pasareanu, Corina S.; Zhan, Naijun (Ed.): Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 163–181, Springer, 2021.
Spectra: a specification language for reactive systems Journal Article
In: Softw. Syst. Model., 20 (5), pp. 1553–1586, 2021.
Verifiability Talk 33: “Connections of adversarial machine learning and machine learning testing?”
Verifiability Talk 31: Towards realtime autonomous overtaking planning using model checking
Verifiability Talk 30: Lightweight Formal Methods for the Design, Verification, Synthesis and Analysis of Autonomous Systems
Verifiability Talk 29: “Deriving Formal Models from Natural Language Requirements using ARSENAL Semantic Parser”