Abstraction and Induction in Polynomial Probabilistic Programs", Laura Kovacs, TU Wien - YouTube
Laura Kovács's research works | TU Wien, Vienna (TU Wien) and other places
Laura Kovács
Supervisors of LogiCS@TUWien : Vienna Center for Logic and Algorithms
Laura Kovacs - POPL 2022
Abstraction and Induction in Polynomial Probabilistic Programs", Laura Kovacs, TU Wien - YouTube
Ada Lovelace Day : Vienna Center for Logic and Algorithms
Vienna Center for Logic and Algorithms at TU Wien - VCLA - Congratulations to all the nominees of the Hedy Lamarr Prize of the City of Vienna (Stadt Wien), which is awarded
Laura Kovacs — TU Wien Informatics
Laura Kovacs - Amazon Science
Research Unit Formal Methods in Systems Engineering — TU Wien Informatics
ProbInG
Ezio Bartocci - Vienna University of Technology (TU Wien)
PDF) Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) Programs
VCLA at TU Wien on X: "We will start with Pamina Georgiou, PreDoc Researcher in our research unit Formal Methods in Systems Engineering. Read her interview and find out what Rory Gilmore,
Vienna Center for Logic and Algorithms at TU Wien - VCLA | Wien
This Was the 29th Epilog — TU Wien Informatics
Automated Reasoning in Systems Engineering | CS | Computer Science
Laura Kovács's research works | TU Wien, Vienna (TU Wien) and other places
The Future of Computing: “Leaving the Comfort Zone” — TU Wien Informatics
