Conference: MoRe 2018 (1st International Workshop on Multi-objective Reasoning in Verification and Synthesis)

Conference: MoRe 2018 (1st International Workshop on Multi-objective Reasoning in Verification and Synthesis)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Logically-Constrained Reinforcement Learning

Logically-Constrained Reinforcement Learning

Mohammadhosein Hasanbeig, Alessandro Abate and Daniel Kroening

Comfort and Energy Optimization for Floor Heating Systems

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

Multi-Scenario Uncertainty in Markov Decision Processes

Dimitri Scheftelowitsch

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

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

Benjamin Monmege

Presentations in this collection: 4