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.
Inaugural Meeting of The Weissbord Institute at Schloss Dagstuhl, Wadern, Germany, March 16–21, 2021.