FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

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

B
Buchi Automaton	Logically-Constrained Reinforcement Learning
C
complexity results	Constraint Problem for Weak Subgame Perfect Equilibria with omega-regular Boolean Objectives
constraint problem	Constraint Problem for Weak Subgame Perfect Equilibria with omega-regular Boolean Objectives
controller system	Comfort and Energy Optimization for Floor Heating Systems
Cost bounded reachability	Multiple Objectives and Cost Bounds in MDP
D
decisiveness	Stochastic o-minimal hybrid systems
F
fixed parameter complexity	Parameterized complexity of games with monotonically ordered omega-regular objectives
M
Markov Decision Process	Logically-Constrained Reinforcement Learning Safe and Optimal Scheduling of Hard and Soft Tasks
Markov decision processes	Multiple Objectives and Cost Bounds in MDP Multi-Scenario Uncertainty in Markov Decision Processes
Model-level uncertainty	Multi-Scenario Uncertainty in Markov Decision Processes
Multi-objective synthesis	Safe and Optimal Scheduling of Hard and Soft Tasks
multiplayer games	Constraint Problem for Weak Subgame Perfect Equilibria with omega-regular Boolean Objectives
O
o-minimality	Stochastic o-minimal hybrid systems
omega-regular objectives	Parameterized complexity of games with monotonically ordered omega-regular objectives Constraint Problem for Weak Subgame Perfect Equilibria with omega-regular Boolean Objectives
Optimization heuristics	Multi-Scenario Uncertainty in Markov Decision Processes
ordered objectives	Parameterized complexity of games with monotonically ordered omega-regular objectives
P
Planning under uncertainty	Multiple Objectives and Cost Bounds in MDP
Policy Synthesis	Logically-Constrained Reinforcement Learning
Q
Quantitative Model Checking	Logically-Constrained Reinforcement Learning
R
Reinforcement Learning	Logically-Constrained Reinforcement Learning
S
Scheduling	Safe and Optimal Scheduling of Hard and Soft Tasks
stochastic hybrid game	Comfort and Energy Optimization for Floor Heating Systems
Stochastic hybrid system	Stochastic o-minimal hybrid systems
Stochastic multi-scenario optimization	Multi-Scenario Uncertainty in Markov Decision Processes
strategy synthesis	Safe and Optimal Scheduling of Hard and Soft Tasks
switched systems	Comfort and Energy Optimization for Floor Heating Systems
T
two-player games	Parameterized complexity of games with monotonically ordered omega-regular objectives
W
weak subgame perfect equilibria	Constraint Problem for Weak Subgame Perfect Equilibria with omega-regular Boolean Objectives

Disclaimer | Powered by EasyChair Smart Program