Partners
Our Project Partners
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
ROSMonitoring provides a Runtime Verification Framework for ROS.
https://github.com/autonomy-and-verification-uol/ROSMonitoring
London | Principal Investigator (PI)
York | Deputy PI
Manchester | Deputy PI
Leeds | Site Leader
Manchester | Site Leader
York | Site Leader
Leicester | Site Leader
Sheffield | Site Leader
Leeds | Case Studies Officer
Leicester | Engagement and Node Liaison Officer
London | Engagement and Node Liaison Officer
Leicester | Publicity Officer
Assistant Principal Engineer in Robotic Applications at Johnson & Johnson.
Professor Emeritus, Institute of Intelligent Systems and Robotics.
CEO of Consequential Robotics.
Associate Fellow at The Leverhulme Centre for the Future of Intelligence
Professor Artificial Intelligence, Social AI group, Vrije Universiteit Amsterdam.
Principal Researcher Software, BT Applied Research.
Technical Director of D-RisQ Ltd.
Assistant Professor, Department of Aerospace Engineering.
Managing Director, The Shadow Robot Company.
Connected Places Catapult, the UK’s innovation accelerator for cities, transport, and places.
R&D Project Director at CLEARSY, French SME specialised in safety critical systems.
Learning by sampling: learning behavioral family models from software product lines Journal Article
In: Empirical Software Engineering, 26 (4), 2021.
Towards a Framework for Certification of Reliable Autonomous Systems Journal Article
In: Autonomous Agents and Multi Agent Systems, 35 (8), 2021.
Connected automated driving: a model-based approach to the analysis of basic awareness services Book Chapter
In: 2020 IEEE 31st Annual International Symposium on Personal, Indoor and Mobile Radio Communications, pp. 1-7, 0000.
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…
Verifiability Talk 13: Verification under uncertainty: probabilistic, parametric, confidence-interval, and statistical model checking (Radu Calinescu, University…
Verifiability Talk 12: Why do things go wrong (or right)? (Hana Chockler, causaLens, King’s College London)
Verifiability Talk 17: Applications of Artificial Intelligence to the Automated Software Testing of Cyber-Physical Systems (Lionel…
Please follow us on Twitter to receive instant updates on events, activities and news related to the node.
Join Us twitterJoin our next Verifiability Talk titled "What we talk about when we talk about Trustworthy Autonomous Systems" by Joel Fisher (@joelefischer) from @UoNComputerSci. Thursday 23 September 4-5pm UK time.
We are excited to resume our Verifiability Talk series @tas_verif next week Thursday (23rd).
The next talk will be delivered by @joelefischer and is entitled "What we talk about when we talk about Trustworthy Autonomous Systems"!
Information to join: https://verifiability.org/events
23
17
