| CARVIEW |
Select Language
HTTP/2 200
server: nginx
date: Sun, 18 Jan 2026 03:26:27 GMT
content-type: text/html
last-modified: Thu, 06 Jan 2022 20:37:41 GMT
vary: Accept-Encoding
etag: W/"61d75315-1565"
content-encoding: gzip
The Weissbord Institute
The Weissbord Institute
To talk sense is to talk quantities.
– A. N. Whitehead
Research
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.
Events
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.
Bord of Directors
Saarland University & University College London
Reasoning stern first.