Tue 16 May 2023 16:25 - 16:50 - Machine Learning #2 Chair(s): Swarat Chaudhuri

Tue 16 May

Displayed time zone: Central Time (US & Canada) change

16:00 - 17:15
Machine Learning #2NFM 2023
Chair(s): Swarat Chaudhuri University of Texas at Austin
16:00
25m
Talk
Learning Symbolic Timed Models from Concrete Timed Data
NFM 2023
Simon Dierl TU Dortmund, Falk Howar TU Clausthal / IPSSE, Sean Kauffman Aalborg University, Martin Kristjansen Aalborg University, Kim Larsen Aalborg University, Florian Lorber Aalborg University, Malte Mauritz TU Dortmund
16:25
25m
Talk
Formalizing Piecewise Affine Activation Functions of Neural Networks in Coq
NFM 2023
Kim Völlinger Technische Universität Berlin, Andrei Aleksandrov Technische Universität Berlin
16:50
25m
Talk
Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access
NFM 2023
Christel Baier TU Dresden, Germany, Clemens Dubslaff Eindhoven University of Technology, Patrick Wienhöft TU Dresden, Germany, Stefan J. Kiebel TU Dresden