NWPT 2023 - 34th Nordic Workshop on Programming Theory (series) / NWPT 2023 /
Using Symbolic Execution to Discretize State Spaces for Reinforcement Learning
Wed 22 Nov 2023 15:30 - 15:50 at My (MDU Campus) - Machine Learning and Automata Chair(s): Michael Kirkedal Thomsen
Wed 22 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
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 20mTalk | 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 20mTalk | 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 20mTalk | Symmetric Monoidal Automata NWPT 2023 Pre-print | ||
16:30 20mTalk | Generalized Input Reduction NWPT 2023 Christian Gram Kalhauge Technical University of Denmark Pre-print | ||