Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi and Dominik Wojtczak.

In Proc. 26th European Conference on Artificial Intelligence (ECAI 2023), pp. 972–979. 2023.