FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SLIDES

Probabilistic Model Checking for Autonomous Agent Strategy Synthesis - Extended Abstract

Ruben Giaquinta, Ruth Hoffmann, Murray Ireland, Alice Miller and Gethin Norman

Policy Generation with Probabilistic Guarantees for Long-term Autonomy of a Mobile Service Robot

Bruno Lacerda, David Parker and Nick Hawes

Towards a Hierarchical-Control Architecture for Distributed Autonomous Systems (Extended Abstract - Paper)

Radu Calinescu and Saud Yonbawi

Social Consequence Engines (Abstract)

Julian Padget, Marina De Vos and Charlie Ann Page

Adaptive Neighborhood Resizing for Stochastic Reachability in Distributed Flocking

Anna Lukina, Ashish Tiwari, Scott Smolka and Radu Grosu

Formalisation of the Rules of the Road for embedding into an Autonomous Vehicle Agent

Gleifer Alves, Louise Dennis and Michael Fisher

RoboTool: Modelling and Verification with RoboChart

Alvaro Miyazawa, Ana Cavalcanti, Simon Foster, Wei Li, Pedro Ribeiro, Jon Timmis and Jim Woodcock
Total: 7 presentations.