Learning Symbolic Timed Models from Concrete Timed Data (NASA Formal Methods 2023 - NFM 2023)

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

Who

Simon Dierl, Falk Howar, Sean Kauffman, Martin Kristjansen, Kim Larsen, Florian Lorber, Malte Mauritz

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

Save

When

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

Simon Dierl

TU Dortmund

Germany

Falk Howar

TU Clausthal / IPSSE

Germany

Sean Kauffman

Aalborg University

Denmark

Martin Kristjansen

Aalborg University

Denmark

Kim Larsen

Aalborg University

Denmark

Florian Lorber

Aalborg University

Denmark

Malte Mauritz

TU Dortmund

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

Display full programSpecify a time band

Save

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