Post navigation

Paper in Information and Computation
May 4, 2026
The paper entitled “On Termination of Polynomial Programs with Equality Conditions” by Yangjia Li (ISCAS), Mingshuai Chen (Zhejiang Univ.), Liangran Zhao (Peking Univ.), Naijun Zhan (Peking Univ.), Hui Lu (Nanjing), …
Distinguished Artefact@ETAPS26
May 4, 2026
The paper “Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops” by Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Kaminski (Saarland Univ.), Joost-Pieter Katoen, Lutz Klinkenberg and Tobias Winkler …
Paper at CAV 2026
April 21, 2026
The research paper “Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families” by Sebastian Junges, Luko van der Maas (both Radboud University, Nijmegen), Milan Ceska, Filip Macák (both …