FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SLIDES

Logically-Constrained Reinforcement Learning

Mohammadhosein Hasanbeig, Alessandro Abate and Daniel Kroening

Comfort and Energy Optimization for Floor Heating Systems

Adrien Le Coent, Kim Guldstrand Larsen, Marco Muñiz and Jiri Srba

Multi-Scenario Uncertainty in Markov Decision Processes

Dimitri Scheftelowitsch

A journey through negatively-weighted timed games: undecidability, decidability, approximability

Benjamin Monmege
Total: 4 presentations.