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.