FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

A
adaptive	Adaptive Neighborhood Resizing for Stochastic Reachability in Multi-Agent Systems (PDF, talk)
agent programming	Formalisation of the Rules of the Road for embedding into an Autonomous Vehicle Agent (PDF, talk)
agents	Social Consequence Engines (Abstract) (PDF, talk)
Autonomous	Towards validation and verification of an autonomous railway inspection and repair system (PDF, )
Autonomous system	Towards a verifiable decision making framework for self-driving vehicles (PDF, talk)
Autonomous vehicle	Probabilistic Model Checking for Autonomous Agent Strategy Synthesis - Extended Abstract (PDF, talk)
autonomous vehicles	Formalisation of the Rules of the Road for embedding into an Autonomous Vehicle Agent (PDF, talk)
C
control	Adaptive Neighborhood Resizing for Stochastic Reachability in Multi-Agent Systems (PDF, talk)
Control Theory	Formal Synthesis of Control Strategies for Dynamical Systems (PDF)
D
Decision making	Towards a verifiable decision making framework for self-driving vehicles (PDF, talk)
distributed autonomous systems	Towards a Hierarchical-Control Architecture for Distributed Autonomous Systems (Extended Abstract - Paper) (PDF, talk)
Dynamical Systems	Formal Synthesis of Control Strategies for Dynamical Systems (PDF)
E
Evaluation	Reproducibility in Robotics - The Big 5 Issues (PDF)
F
flocking	Adaptive Neighborhood Resizing for Stochastic Reachability in Multi-Agent Systems (PDF, talk)
Formal Methods	Policing Functions for Machine Learning Systems (PDF, talk)
formal verification	Formalisation of the Rules of the Road for embedding into an Autonomous Vehicle Agent (PDF, talk)
formal verification at runtime	Towards a Hierarchical-Control Architecture for Distributed Autonomous Systems (Extended Abstract - Paper) (PDF, talk)
H
Human-Robot Interactions	Trust me - I am autonomous (PDF)
Human-Robotic Interaction	Reproducibility in Robotics - The Big 5 Issues (PDF)
M
Machine Learning Systems	Policing Functions for Machine Learning Systems (PDF, talk)
Markov decision processes	Policy Generation with Probabilistic Guarantees for Long-term Autonomy of a Mobile Service Robot (PDF, talk)
Metamorphic Testing	Policing Functions for Machine Learning Systems (PDF, talk)
Mobile robotics	Policy Generation with Probabilistic Guarantees for Long-term Autonomy of a Mobile Service Robot (PDF, talk)
model checking	RoboTool: Modelling and Verification with RoboChart (PDF, talk)
Model-Based risk Analysis	Trust me - I am autonomous (PDF)
model-checking	Social Consequence Engines (Abstract) (PDF, talk)
N
norms	Social Consequence Engines (Abstract) (PDF, talk)
P
Planning	Social Consequence Engines (Abstract) (PDF, talk)
Policing function	Policing Functions for Machine Learning Systems (PDF, talk)
Probabilistic model checking	Towards a Hierarchical-Control Architecture for Distributed Autonomous Systems (Extended Abstract - Paper) (PDF, talk) Probabilistic Model Checking for Autonomous Agent Strategy Synthesis - Extended Abstract (PDF, talk) Policy Generation with Probabilistic Guarantees for Long-term Autonomy of a Mobile Service Robot (PDF, talk)
Probabilistic planning	Policy Generation with Probabilistic Guarantees for Long-term Autonomy of a Mobile Service Robot (PDF, talk)
R
Railway	Towards validation and verification of an autonomous railway inspection and repair system (PDF, )
Robotic	Towards validation and verification of an autonomous railway inspection and repair system (PDF, )
rules of the road	Formalisation of the Rules of the Road for embedding into an Autonomous Vehicle Agent (PDF, talk)
S
Self-Driving vehicle	Towards a verifiable decision making framework for self-driving vehicles (PDF, talk)
simulation	RoboTool: Modelling and Verification with RoboChart (PDF, talk)
State machine	RoboTool: Modelling and Verification with RoboChart (PDF, talk)
stochastic models	Towards a Hierarchical-Control Architecture for Distributed Autonomous Systems (Extended Abstract - Paper) (PDF, talk)
stochastic reachability	Adaptive Neighborhood Resizing for Stochastic Reachability in Multi-Agent Systems (PDF, talk)
Strategy synthesis	Probabilistic Model Checking for Autonomous Agent Strategy Synthesis - Extended Abstract (PDF, talk)
Synthesis	Formal Synthesis of Control Strategies for Dynamical Systems (PDF)
System Verification	Towards a verifiable decision making framework for self-driving vehicles (PDF, talk)
T
Temporal logics	Policy Generation with Probabilistic Guarantees for Long-term Autonomy of a Mobile Service Robot (PDF, talk)
Testing	Trust me - I am autonomous (PDF) Reproducibility in Robotics - The Big 5 Issues (PDF)
theorem proving	RoboTool: Modelling and Verification with RoboChart (PDF, talk)
V
Validation and verification	Towards validation and verification of an autonomous railway inspection and repair system (PDF, )
Verification	RoboTool: Modelling and Verification with RoboChart (PDF, talk)

Disclaimer | Powered by EasyChair Smart Program