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: |