FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Automatic Complexity Analysis of (Probabilistic) Integer Programs via KoAT

Authors: Nils Lommen, Fabian Meyer, Marcel Hark and Jürgen Giesl

Paper Information

Title:Automatic Complexity Analysis of (Probabilistic) Integer Programs via KoAT
Authors:Nils Lommen, Fabian Meyer, Marcel Hark and Jürgen Giesl
Proceedings:WST22 Program papers
Editor: Cynthia Kop
Keywords:Automatic Complexity Analysis, (Probabilistic) Integer Programs, Ranking Functions, Decidable Subclasses, Control-Flow Refinement
Pages:2
Talk:Aug 12 11:00 (Session 137H)
Paper: