Keyword:invariant synthesis

Publications
Polynomial Invariants for Probabilistic Transition Systems with Unbounded Support Anne Schreuder, Lorenz Winkler, Laura Kovács and C.-H. Luke Ong In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning
On Inductive Verification and Synthesis Dennis Peuter and Viorica Sofronie-Stokkermans In:Selected Student Contributions and Workshop Papers of LuxLogAI 2018