Florent Delgrange
Florent Delgrange
Home
Posts
Publications
Projects
CV
Contact
Light
Dark
Automatic
Safe Reinforcement Learning
Slides
Date
Oct 18, 2018 12:00 AM
Event
L2 meeting
Location
UMONS – Université de Mons, Belgium
Formal verification
Markov Decision Processes
Reinforcement Learning
Florent Delgrange
Post-doctoral Researcher in Computer Science
Related
Activating Formal Verification of Deep Reinforcement Learning Policies by Model Checking Bisimilar Latent Space Models
WAE-MDPs
VAE-MDPs
Composing RL policies, with formal guarantees
Composing Reinforcement Learning Policies, with Formal Guarantees
Cite
×
