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

Publications & Reports

Filter by

Filters
Year

Neural Networks, Secure by Construction.

Wen Kokke, Ekaterina Komendantskaya, Daniel Kienitz, Robert Atkey, and David Aspinall.

In: Oliveira, B.C.d.S. (eds) Programming Languages and Systems. APLAS 2020, vol 12470.  2020

Implementing Multiparty Session Types in Rust.

Nicolas Lagaillardie, Rumyana Neykova, and Nobuko Yoshida.

In: Bliudze, S., Bocchi, L. (eds) Coordination Models and Languages. COORDINATION 2020. Lecture Notes in Computer Science, vol 12134. 2020

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