List of works - Laura Kovács - Paulina

List of works by Laura Kovács

CheckMate: Automated Game-Theoretic Security Reasoning

scientific article published on 21 November 2023

From Polynomial Invariants to Linear Loops

scientific article published on 05 July 2023

Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) Programs

scientific article published on 05 January 2024

This is the moment for probabilistic loops

scientific article published on 31 October 2022

Paulina is supported by:

About Paulina

Help