Publications2024-07-29T13:30:35+00:00

Publications & Reports

Filter by

Filters
Year

Foundations of Persistent Programming.

Hans-J. Boehm, Ori Lahav, and Azalea Raad.

In Dagstuhl Reports, Volume 11, Issue 10, pp. 94-110, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022) 2022

History-deterministic Timed Automata.

Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke.

History-deterministic Timed Automata. 2024. In Logical Methods in Computer Science, 20(4:1). 2024.

Omega-Regular Decision Processes.

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

In Proc. Thirty-Eighth Conference on Artificial Intelligence (AAAI 2024), pp. 21125–21133. 2024.

Omega-Regular Decision Processes.

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

In Proc. Thirty-Eighth Conference on Artificial Intelligence (AAAI 2024), pp. 21125–21133. 2024.

Omega-Regular Reward Machines.

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.

Go to Top