FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK KEYWORD INDEX

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

Shortcuts: BCDFMOPQRSTW
B
Buchi Automaton
C
complexity results
constraint problem
controller system
Cost bounded reachability
D
decisiveness
F
fixed parameter complexity
M
Markov Decision Process
Markov decision processes
Model-level uncertainty
Multi-objective synthesis
multiplayer games
O
o-minimality
omega-regular objectives
Optimization heuristics
ordered objectives
P
Planning under uncertainty
Policy Synthesis
Q
Quantitative Model Checking
R
Reinforcement Learning
S
Scheduling
stochastic hybrid game
Stochastic hybrid system
Stochastic multi-scenario optimization
strategy synthesis
switched systems
T
two-player games
W
weak subgame perfect equilibria