Carr, Jansen, Topcu: Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints. 29th International Joint Conference on Artificial Intelligence.
Hartmanns, Kaminski: Optimistic Value Iteration. 32nd International Conference on Computer-Aided Verification.
Batz, Kaminski, Katoen, Matheja, Noll: Quantitative Separation Logic. 46th ACM SIGPLAN Symposium on Principles of Programming Languages.
Second General Assembly of The Weissbord Institute at Schloss Dagstuhl, Wadern, Germany, January 3–7, 2022.
Inaugural Meeting of The Weissbord Institute at Schloss Dagstuhl, Wadern, Germany, March 16–21, 2021.