Talk Author Index

TALK AUTHOR INDEX

Shortcuts: A B G H J K L M Q R S

A
Abate, Alessandro	Logically-Constrained Reinforcement Learning
B
Baier, Christel	Conditioning and quantiles in Markovian models
Brihaye, Thomas	Constraint Problem for Weak Subgame Perfect Equilibria with omega-regular Boolean Objectives Stochastic o-minimal hybrid systems
Bruyère, Véronique	Constraint Problem for Weak Subgame Perfect Equilibria with omega-regular Boolean Objectives Parameterized complexity of games with monotonically ordered omega-regular objectives
G
Geeraerts, Gilles	Safe and Optimal Scheduling of Hard and Soft Tasks
Goeminne, Aline	Constraint Problem for Weak Subgame Perfect Equilibria with omega-regular Boolean Objectives
Guha, Shibashis	Safe and Optimal Scheduling of Hard and Soft Tasks
Guldstrand Larsen, Kim	Comfort and Energy Optimization for Floor Heating Systems
H
Hartmanns, Arnd	Multiple Objectives and Cost Bounds in MDP
Hasanbeig, Mohammadhosein	Logically-Constrained Reinforcement Learning
Hautem, Quentin	Parameterized complexity of games with monotonically ordered omega-regular objectives
J
Junges, Sebastian	Multiple Objectives and Cost Bounds in MDP
K
Katoen, Joost-Pieter	Multiple Objectives and Cost Bounds in MDP
Kroening, Daniel	Logically-Constrained Reinforcement Learning
L
Le Coent, Adrien	Comfort and Energy Optimization for Floor Heating Systems
M
Monmege, Benjamin	A journey through negatively-weighted timed games: undecidability, decidability, approximability
Muniz, Marco	Comfort and Energy Optimization for Floor Heating Systems
Q
Quatmann, Tim	Multiple Objectives and Cost Bounds in MDP
R
Randour, Mickael	Stochastic o-minimal hybrid systems
Raskin, Jean-François	Constraint Problem for Weak Subgame Perfect Equilibria with omega-regular Boolean Objectives Parameterized complexity of games with monotonically ordered omega-regular objectives Safe and Optimal Scheduling of Hard and Soft Tasks
Rivière, Cédric	Stochastic o-minimal hybrid systems
S
Scheftelowitsch, Dimitri	Multi-Scenario Uncertainty in Markov Decision Processes
Srba, Jiri	Comfort and Energy Optimization for Floor Heating Systems