|
|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
VAVAS PROCEEDINGS
| Authors | Title | Paper | Talk |
|---|
| Calin Belta | Formal Synthesis of Control Strategies for Dynamical Systems |  | | | Radu Calinescu and Saud Yonbawi | Towards a Hierarchical-Control Architecture for Distributed Autonomous Systems (Extended Abstract - Paper) | | Jul 18 10:00 | | Anna Lukina, Ashish Tiwari, Scott Smolka and Radu Grosu | Adaptive Neighborhood Resizing for Stochastic Reachability in Multi-Agent Systems | | Jul 18 11:00 | | Thai Son Hoang, Naoto Sato, Tomoyuki Myojin, Michael Butler, Yuichiroh Nakagawa and Hideto Ogawa | Policing Functions for Machine Learning Systems | | Jul 18 11:30 | | Julian Padget, Marina De Vos and Charlie Page | Social Consequence Engines (Abstract) | | Jul 18 12:00 | | Jérémie Guiochet | Trust me - I am autonomous | | | | Isidro Durazo-Cardenas, Andrew Starr and Tetsuo Tomiyama | Towards validation and verification of an autonomous railway inspection and repair system | | | | Ruben Giaquinta, Ruth Hoffmann, Murray Ireland, Alice Miller and Gethin Norman | Probabilistic Model Checking for Autonomous Agent Strategy Synthesis - Extended Abstract | | Jul 18 16:00 | | Mohammed Al-Nuaimi, Hongyang Qu and Sandor Veres | Towards a verifiable decision making framework for self-driving vehicles | | Jul 18 16:30 | | Gleifer Alves, Louise Dennis and Michael Fisher | Formalisation of the Rules of the Road for embedding into an Autonomous Vehicle Agent | | Jul 18 17:00 | | Florian Lier | Reproducibility in Robotics - The Big 5 Issues | | | | Alvaro Miyazawa, Ana Cavalcanti, Simon Foster, Wei Li, Pedro Ribeiro, Jon Timmis and Jim Woodcock | RoboTool: Modelling and Verification with RoboChart | | Jul 19 10:00 | | Bruno Lacerda, David Parker and Nick Hawes | Policy Generation with Probabilistic Guarantees for Long-term Autonomy of a Mobile Service Robot | | Jul 19 11:00 |
|
|