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
Learning by sampling: learning behavioral family models from software product lines Journal Article
In: Empirical Software Engineering, 26 (1), pp. 1–46, 0000.
In: Journal of Sensor and Actuator Networks, 10 (3), 0000, ISSN: 2224-2708.
Verifiable Machine Ethics in Changing Contexts Journal Article
In: Proceedings of the AAAI Conference on Artificial Intelligence, 35 (13), pp. 11470-11478, 0000.
Verifiability Talk 19: SYNTECH: Synthesis Technologies for Reactive Systems Software Engineers
Verifiability Talk 17: Applications of Artificial Intelligence to the Automated Software Testing of Cyber-Physical Systems (Lionel…
Verifiability Talk 16: Machine Learning and Software Engineering: Separated by a Common Language (Amel Bennaceur, Open…
Verifiability Talk 15: In Search of Automated Driving Systems Safety through Formal Requirements (Georgios Fainekos, Arizona…
Verifiability Talk 14: Challenges in Automated Software Testing: GPUs & Smart Contracts (Ajitha Rajan, University of…