FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

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

Disclaimer | Powered by EasyChair Smart Program