Formalizing Piecewise Affine Activation Functions of Neural Networks in Coq (NASA Formal Methods 2023 - NFM 2023) - NASA Formal Methods 2023

Tue 16 - Thu 18 May 2023 Houston, Texas, United States

Who

Kim Völlinger, Andrei Aleksandrov

Track

NASA Formal Methods 2023 NFM

Time Zone

The program is currently displayed in (GMT-05:00) Central Time (US & Canada).

Use conference time zone: (GMT-05:00) Central Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

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

Kim Völlinger

Technische Universität Berlin

Germany

Andrei Aleksandrov

Technische Universität Berlin

Germany

Time Zone

The program is currently displayed in (GMT-05:00) Central Time (US & Canada).

Use conference time zone: (GMT-05:00) Central Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

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