Symmetric Monoidal Automata (NWPT 2023 - 34th Nordic Workshop on Programming Theory ) - NWPT 2023 - 34th Nordic Workshop on Programming Theory

Wed 22 - Thu 23 November 2023 Västerås

Who

Elena Di Lavore, Mario Román

Track

NWPT 2023 - 34th Nordic Workshop on Programming Theory

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

Wed 22 Nov 2023 16:10 - 16:30 at My (MDU Campus) - Machine Learning and Automata Chair(s): Michael Kirkedal Thomsen

Link to Preprint

https://mdu.drive.sunet.se/index.php/s/MqP8tWfLbEfNFRM

Elena Di Lavore

Tallinn University of Technology

Estonia

Mario Román

Tallinn University of Technology

Estonia

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

Wed 22 Nov
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	15:30 - 16:50	Machine Learning and AutomataNWPT 2023 at My (MDU Campus) Chair(s): Michael Kirkedal Thomsen University of Oslo & University of Copenhagen

	15:30 20m Talk		Using Symbolic Execution to Discretize State Spaces for Reinforcement Learning NWPT 2023 Mohsen Ghaffari IT University of Copenhagen, Mahsa Varshosaz IT University of Copenhagen, Denmark, Einar Broch Johnsen University of Oslo, Andrzej Wąsowski IT University of Copenhagen, Denmark Pre-print
	15:50 20m Talk		Minimizing State Space Partitionings Using Decision Trees NWPT 2023 Andreas Holck Høeg-Petersen Aalborg University, Kim Guldstrand Larsen , Andrzej Wąsowski IT University of Copenhagen, Denmark, Peter Gjøl Jensen Aalborg University, Denmark Pre-print
	16:10 20m Talk		Symmetric Monoidal Automata NWPT 2023 Elena Di Lavore Tallinn University of Technology, Mario Román Tallinn University of Technology Pre-print
	16:30 20m Talk		Generalized Input Reduction NWPT 2023 Christian Gram Kalhauge Technical University of Denmark Pre-print