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

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