Days: Wednesday, July 18th Thursday, July 19th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
Invited Speaker
Contributed Talks: Distributed Systems I
| 09:00 | Formal Synthesis of Control Strategies for Dynamical Systems (abstract) |
| 10:00 | Towards a Hierarchical-Control Architecture for Distributed Autonomous Systems (Extended Abstract - Paper) (abstract)  |
Contributed Talks: Distributed Systems II
| 11:00 | Work-in-Progress: Adaptive Neighborhood Resizing for Stochastic Reachability in Distributed Flocking (abstract) |
| 11:30 | Policing Functions for Machine Learning Systems (abstract) |
| 12:00 | Social Consequence Engines (Abstract) (abstract) |
Invited Speaker
Contributed Talks: Autonomy
| 14:00 | Trust me I am autonomous (abstract) |
| 15:00 | Policy Generation with Probabilistic Guarantees for Long-term Autonomy of a Mobile Service Robot (abstract) |
Contributed Talks: Autonomous Vehicles
| 16:00 | Probabilistic Model Checking for Autonomous Agent Strategy Synthesis - Extended Abstract (abstract) |
| 16:30 | Towards a verifiable decision making framework for self-driving vehicles (abstract) |
| 17:00 | Formalisation of the Rules of the Road for embedding into an Autonomous Vehicle Agent (abstract) |
Workshops dinner at Magdalen College. Drinks reception from 7.15pm, to be seated by 7:45 (pre-booking via FLoC registration system required; guests welcome).
View this program: with abstractssession overviewtalk overviewside by side with other conferences
Invited Speaker
Contributed Talks: Robotics I
| 09:00 | Reproducibility in Robotics - The Big 5 Issues (abstract) |
| 10:00 | RoboTool: Modelling and Verification with RoboChart (abstract) |
Contributed Talks: Robotics II
| 11:00 | Robot Demonstration (abstract) |
Panel session focusing on key issues relating to the verification and validation of autonomous systems. Panelists include Calin Belta (Boston University), Jérémie Guiochet (University of Toulouse III), Florian Lier (Bielefeld University) and Alice Miller (University of Glasgow).