FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

A
Abate, Alessandro	Logically-Constrained Reinforcement Learning (PDF, talk)
B
Brihaye, Thomas	Constraint Problem for Weak Subgame Perfect Equilibria with omega-regular Boolean Objectives (PDF, talk) Stochastic o-minimal hybrid systems (PDF, talk)
Bruyère, Véronique	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)
G
Geeraerts, Gilles	Safe and Optimal Scheduling of Hard and Soft Tasks (PDF, talk)
Goeminne, Aline	Constraint Problem for Weak Subgame Perfect Equilibria with omega-regular Boolean Objectives (PDF, talk)
Guha, Shibashis	Safe and Optimal Scheduling of Hard and Soft Tasks (PDF, talk)
H
Hartmanns, Arnd	Multiple Objectives and Cost Bounds in MDP (PDF, talk)
Hasanbeig, Mohammadhosein	Logically-Constrained Reinforcement Learning (PDF, talk)
Hautem, Quentin	Parameterized complexity of games with monotonically ordered omega-regular objectives (PDF, talk)
J
Junges, Sebastian	Multiple Objectives and Cost Bounds in MDP (PDF, talk)
K
Katoen, Joost-Pieter	Multiple Objectives and Cost Bounds in MDP (PDF, talk)
Kroening, Daniel	Logically-Constrained Reinforcement Learning (PDF, talk)
Q
Quatmann, Tim	Multiple Objectives and Cost Bounds in MDP (PDF, talk)
R
Randour, Mickael	Stochastic o-minimal hybrid systems (PDF, talk)
Raskin, Jean-François	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) Safe and Optimal Scheduling of Hard and Soft Tasks (PDF, talk)
Rivière, Cédric	Stochastic o-minimal hybrid systems (PDF, talk)
S
Scheftelowitsch, Dimitri	Multi-Scenario Uncertainty in Markov Decision Processes (PDF, talk)

Disclaimer | Powered by EasyChair Smart Program