FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK KEYWORD INDEX

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

Shortcuts: ACDFMNPRSTV
A
adaptive
agent programming
agents
Autonomous
Autonomous system
Autonomous vehicle
autonomous vehicles
C
control
D
Decision making
distributed autonomous systems
F
flocking
Formal Methods
formal verification
formal verification at runtime
M
Machine Learning Systems
Markov decision processes
Metamorphic Testing
Mobile robotics
model checking
model-checking
N
norms
P
Planning
Policing function
Probabilistic model checking
Probabilistic planning
R
Railway
Robotic
rules of the road
S
Self-Driving vehicle
simulation
State machine
stochastic models
stochastic reachability
strategy synthesis
System Verification
T
Temporal logics
theorem proving
V
Validation and verification
Verification