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

Publications & Reports

Filter by

Filters
Year

Distributed Protocol Combinators.

Kristoffer J. A. Andersen and Ilya Sergey.

In: Alferes, J., Johansson, M. (eds) Practical Aspects of Declarative Languages. PADL 2019. Lecture Notes in Computer Science, vol 11372. 2019

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.

Go to Top