Workshop: Formal Methods for Autonomous Systems (FMAS)
<br>A satellite workshop of Formal Methods 2019
<br>
<br>This one day workshop will bring together researchers working on a range of
<br>techniques for formal verification of autonomous systems, to present recent
<br>work in the area, discuss key difficulties, and stimulate collaboration
<br>between the robotics and formal methods communities. This workshop will
<br>include invited speakers, contributed papers, experience reports, and a
<br>discussion panel.
<br>More details can be found on our website:
<br>https://autonomy-and-verification-uol.github.io/events/fmas
<br>Registration is open as follows:
<br>Early – until Sep 10 (AoE)
<br>
<br>Late – from Sep 11 until 5 Oct (AoE)
<br>
<br>On site – from Oct 6 to Oct 11 (AoE)
<br>
<br>When registering, please mention that you plan to attend FMAS as this helps us
<br>to secure funding for our invited speakers. Registration is via the FM2019
<br>website: https://bit.ly/2JfdBjO
<br>Programme Information
<br>The workshop will feature invited speakers and presentations of accepted
<br>papers. The workshop will also feature a discussion panel for a structured,
<br>whole-group conversation for scoping the future directions of formal methods
<br>for autonomous systems.
<br>
<br>Invited Speakers:
<br>Claudio Menghi (https://claudiomenghi.github.io/index.html), University of
<br>Luxembourg: Formal Methods Meet Autonomous Systems: a Journey on a Two-Year
<br>Research Collaboration with Industry
<br>
<br>Kristin Rozier (https://www.aere.iastate.edu/kyrozier/), Iowa State
<br>University: Runtime Reasoning that Really Flies
<br>
<br>Accepted Papars
<br>A Temporal Logic Semantics for Teleo-Reactive Procedures — Keith Clark,
<br>Brijesh Dongol, and Peter Robinson
<br>
<br>Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections
<br>— Maike Schwammberger, and Christopher Bischopink
<br>
<br>CriSGen: Constraint-based Generation of Critical Scenarios for Autonomous
<br>Vehicles — Andreas Nonnengart, Matthias Klusch, and Christian Mueller
<br>
<br>Towards a Mission Definition, Verification and Validation Toolchain — Louis
<br>Viard, Laurent Ciarletta and Pierre-Etienne Moreau
<br>
<br>A Model Checking Agent-Based Architecture for Representing the Rules of the
<br>Road on Autonomous Vehicles — Gleifer Alves, Louise Dennis and Michael
<br>Fisher
<br>
<br>Scope
<br>Autonomous — and Robotic — Systems present unique challenges for formal
<br>methods. They are embodied entities that can interact with the real world and
<br>make autonomous decisions. Amongst others, they can be viewed as
<br>safety-critical, cyber-physical, hybrid, and real-time systems. Key issues for
<br>formal methods applied to autonomous systems include capturing how the system
<br>will deal with a dynamic external environment and verification of the
<br>system’s decision making capabilities — including planning, safety,
<br>ethical, and reconfiguration choices. Some autonomous systems require
<br>certification before deployment, others require public trust for wide
<br>adoption; both of these scenarios are being tackled by formal methods.
<br>
<br>The goals of this workshop are to bring together leading researchers in this
<br>area to present recent and ongoing work, including experience reports and case
<br>studies as well as identify future directions for this emerging application of
<br>formal methods. This workshop is concerned with the use of formal methods to
<br>specify, model, or verify autonomous or robotic systems, in whole or in part.
<br>Submissions may focus on case studies that identify the challenges for formal
<br>methods in this area, or experience reports that provide guidelines for
<br>tackling these challenges. Work using integrated formal methods, or describing
<br>the future directions of this field, are particularly welcome.
<br>Chairs
<br>Marie Farrell (https://cgi.csc.liv.ac.uk/~marie) , University of Liverpool,
<br>UK
<br>
<br>Michael Fisher (https://cgi.csc.liv.ac.uk/~michael) , University of Liverpool,
<br>UK
<br>
<br>Matt Luckcuck (https://cgi.csc.liv.ac.uk/~mattlck) , University of Liverpool,
<br>UK
<br>
<br>
<br>_______________________________________________
<br>EASST's Eurograd mailing list
<br>Eurograd (at) lists.easst.net
<br>Unsubscribe or edit subscription options: http://lists.easst.net/listinfo.cgi/eurograd-easst.net
<br>
<br>Meet us via https://twitter.com/STSeasst
<br>
<br>Report abuses of this list to Eurograd-owner@lists.easst.net
view formatted text
