Florent Delgrange
Florent Delgrange
Home
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
WBU
Controller Synthesis from Deep Reinforcement Learning Policies
Cite
×