FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

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

Disclaimer | Powered by EasyChair Smart Program