Proceedings Third Workshop on Formal Methods for Autonomous Systems

10/22/2021
by   Marie Farrell, et al.
0

Autonomous systems are highly complex and present unique challenges for the application of formal methods. Autonomous systems act without human intervention, and are often embedded in a robotic system, so that they can interact with the real world. As such, they exhibit the properties of safety-critical, cyber-physical, hybrid, and real-time systems. This EPTCS volume contains the proceedings for the third workshop on Formal Methods for Autonomous Systems (FMAS 2021), which was held virtually on the 21st and 22nd of October 2021. Like the previous workshop, FMAS 2021 was an online, stand-alone event, as an adaptation to the ongoing COVID-19 restrictions. Despite the challenges this brought, we were determined to build on the success of the previous two FMAS workshops. The goal of FMAS is to bring together leading researchers who are tackling the unique challenges of autonomous systems using formal methods, to present recent and ongoing work. We are interested in the use of formal methods to specify, model, or verify autonomous and/or robotic systems; in whole or in part. We are also interested in successful industrial applications and potential future directions for this emerging application of formal methods.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

12/02/2020

Proceedings Second Workshop on Formal Methods for Autonomous Systems

Autonomous systems are highly complex and present unique challenges for ...
09/07/2017

Proceedings First Workshop on Formal Verification of Autonomous Vehicles

These are the proceedings of the workshop on Formal Verification of Auto...
12/13/2016

Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems

The first International Workshop on Verification and Validation of Cyber...
05/02/2018

Robotics and Integrated Formal Methods: Necessity meets Opportunity

Robotic systems are multi-dimensional entities, combining both hardware ...
04/26/2020

Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems

This volume contains the proceedings of MARS 2020, the fourth workshop o...
11/22/2018

Proceedings 4th Workshop on Formal Integrated Development Environment

This volume contains the proceedings of F-IDE 2018, the fourth internati...
10/27/2020

Assured Autonomy: Path Toward Living With Autonomous Systems We Can Trust

The challenge of establishing assurance in autonomy is rapidly attractin...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.