FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

This page contains an index consisting of author-provided keywords.

A
adaptive	Work-in-Progress: Adaptive Neighborhood Resizing for Stochastic Reachability in Distributed Flocking
agent programming	Formalisation of the Rules of the Road for embedding into an Autonomous Vehicle Agent
agents	Social Consequence Engines (Abstract)
Autonomous
Autonomous system	Towards a verifiable decision making framework for self-driving vehicles
Autonomous vehicle	Probabilistic Model Checking for Autonomous Agent Strategy Synthesis - Extended Abstract
autonomous vehicles	Formalisation of the Rules of the Road for embedding into an Autonomous Vehicle Agent
C
control	Work-in-Progress: Adaptive Neighborhood Resizing for Stochastic Reachability in Distributed Flocking
D
Decision making	Towards a verifiable decision making framework for self-driving vehicles
distributed autonomous systems	Towards a Hierarchical-Control Architecture for Distributed Autonomous Systems (Extended Abstract - Paper)
F
flocking	Work-in-Progress: Adaptive Neighborhood Resizing for Stochastic Reachability in Distributed Flocking
Formal Methods	Policing Functions for Machine Learning Systems
formal verification	Formalisation of the Rules of the Road for embedding into an Autonomous Vehicle Agent
formal verification at runtime	Towards a Hierarchical-Control Architecture for Distributed Autonomous Systems (Extended Abstract - Paper)
M
Machine Learning Systems	Policing Functions for Machine Learning Systems
Markov decision processes	Policy Generation with Probabilistic Guarantees for Long-term Autonomy of a Mobile Service Robot
Metamorphic Testing	Policing Functions for Machine Learning Systems
Mobile robotics	Policy Generation with Probabilistic Guarantees for Long-term Autonomy of a Mobile Service Robot
model checking	RoboTool: Modelling and Verification with RoboChart
model-checking	Social Consequence Engines (Abstract)
N
norms	Social Consequence Engines (Abstract)
P
Planning	Social Consequence Engines (Abstract)
Policing function	Policing Functions for Machine Learning Systems
Probabilistic model checking	Towards a Hierarchical-Control Architecture for Distributed Autonomous Systems (Extended Abstract - Paper) Probabilistic Model Checking for Autonomous Agent Strategy Synthesis - Extended Abstract Policy Generation with Probabilistic Guarantees for Long-term Autonomy of a Mobile Service Robot
Probabilistic planning	Policy Generation with Probabilistic Guarantees for Long-term Autonomy of a Mobile Service Robot
R
Railway
Robotic
rules of the road	Formalisation of the Rules of the Road for embedding into an Autonomous Vehicle Agent
S
Self-Driving vehicle	Towards a verifiable decision making framework for self-driving vehicles
simulation	RoboTool: Modelling and Verification with RoboChart
State machine	RoboTool: Modelling and Verification with RoboChart
stochastic models	Towards a Hierarchical-Control Architecture for Distributed Autonomous Systems (Extended Abstract - Paper)
stochastic reachability	Work-in-Progress: Adaptive Neighborhood Resizing for Stochastic Reachability in Distributed Flocking
Strategy synthesis	Probabilistic Model Checking for Autonomous Agent Strategy Synthesis - Extended Abstract
System Verification	Towards a verifiable decision making framework for self-driving vehicles
T
Temporal logics	Policy Generation with Probabilistic Guarantees for Long-term Autonomy of a Mobile Service Robot
theorem proving	RoboTool: Modelling and Verification with RoboChart
V
Validation and verification
Verification	RoboTool: Modelling and Verification with RoboChart

Disclaimer | Powered by EasyChair Smart Program