EasyChair Smart SlideDocs/Log in
Conference: SoMLMFM2018 (Summit on Machine Learning Meets Formal Methods)

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

Safe reinforcement learning via formal methods

Safe reinforcement learning via formal methods

André Platzer

Safety verification for deep neural networks with provable guarantees

Safety verification for deep neural networks with provable guarantees

Marta Kwiatkowska

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair