FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

A
Al-Nuaimi, Mohammed	Towards a verifiable decision making framework for self-driving vehicles
Alves, Gleifer	Formalisation of the Rules of the Road for embedding into an Autonomous Vehicle Agent
B
Belta, Calin	Formal Synthesis of Control Strategies for Dynamical Systems
Butler, Michael	Policing Functions for Machine Learning Systems
C
Calinescu, Radu	Towards a Hierarchical-Control Architecture for Distributed Autonomous Systems (Extended Abstract - Paper)
Cavalcanti, Ana	RoboTool: Modelling and Verification with RoboChart
D
De Vos, Marina	Social Consequence Engines (Abstract)
Dennis, Louise	Formalisation of the Rules of the Road for embedding into an Autonomous Vehicle Agent
F
Fisher, Michael	Formalisation of the Rules of the Road for embedding into an Autonomous Vehicle Agent
Foster, Simon	RoboTool: Modelling and Verification with RoboChart
G
Giaquinta, Ruben	Probabilistic Model Checking for Autonomous Agent Strategy Synthesis - Extended Abstract
Grosu, Radu	Work-in-Progress: Adaptive Neighborhood Resizing for Stochastic Reachability in Distributed Flocking
Guiochet, Jérémie	Trust me I am autonomous
H
Hawes, Nick	Policy Generation with Probabilistic Guarantees for Long-term Autonomy of a Mobile Service Robot
Hawes, Nick	Robot Demonstration
Hoang, Thai Son	Policing Functions for Machine Learning Systems
Hoffmann, Ruth	Probabilistic Model Checking for Autonomous Agent Strategy Synthesis - Extended Abstract
I
Ireland, Murray	Probabilistic Model Checking for Autonomous Agent Strategy Synthesis - Extended Abstract
L
Lacerda, Bruno	Robot Demonstration Policy Generation with Probabilistic Guarantees for Long-term Autonomy of a Mobile Service Robot
Li, Wei	RoboTool: Modelling and Verification with RoboChart
Lier, Florian	Reproducibility in Robotics - The Big 5 Issues
Lukina, Anna	Work-in-Progress: Adaptive Neighborhood Resizing for Stochastic Reachability in Distributed Flocking
M
Miller, Alice	Probabilistic Model Checking for Autonomous Agent Strategy Synthesis - Extended Abstract
Miyazawa, Alvaro	RoboTool: Modelling and Verification with RoboChart
Myojin, Tomoyuki	Policing Functions for Machine Learning Systems
N
Nakagawa, Yuichiroh	Policing Functions for Machine Learning Systems
Norman, Gethin	Probabilistic Model Checking for Autonomous Agent Strategy Synthesis - Extended Abstract
O
Ogawa, Hideto	Policing Functions for Machine Learning Systems
P
Padget, Julian	Social Consequence Engines (Abstract)
Page, Charlie	Social Consequence Engines (Abstract)
Parker, David	Robot Demonstration Policy Generation with Probabilistic Guarantees for Long-term Autonomy of a Mobile Service Robot
Q
Qu, Hongyang	Towards a verifiable decision making framework for self-driving vehicles
R
Ribeiro, Pedro	RoboTool: Modelling and Verification with RoboChart
S
Sato, Naoto	Policing Functions for Machine Learning Systems
Smolka, Scott	Work-in-Progress: Adaptive Neighborhood Resizing for Stochastic Reachability in Distributed Flocking
T
Timmis, Jon	RoboTool: Modelling and Verification with RoboChart
Tiwari, Ashish	Work-in-Progress: Adaptive Neighborhood Resizing for Stochastic Reachability in Distributed Flocking
V
Veres, Sandor	Towards a verifiable decision making framework for self-driving vehicles
W
Woodcock, Jim	RoboTool: Modelling and Verification with RoboChart
Y
Yonbawi, Saud	Towards a Hierarchical-Control Architecture for Distributed Autonomous Systems (Extended Abstract - Paper)

Disclaimer | Powered by EasyChair Smart Program