Distribution Recovery for Invariant Generation of Probabilistic

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
ProbInG
 
Project Title (de) Projekttitel (de)
Distribution Recovery for Invariant Generation of Probabilistic
 
Project Title (en) Projekttitel (en)
Distribution Recovery for Invariant Generation of Probabilistic Programs
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds
Grant number Förderkennnummer
ICT19-018
 

Publications

Filter:
Author:  Kovacs, Laura

Results 1-8 of 8 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Kenison, George James ; Kovacs, Laura ; Varonka, Anton From Polynomial Invariants to Linear LoopsInproceedings Konferenzbeitrag Jul-2023
2Kovács, Laura Symbolic Computation in Automated Program ReasoningInproceedings Konferenzbeitrag 3-Mar-2023
3Kovacs, Laura Algebraic Reasoning for (Un)Solvable Loops (Invited Talk)Inproceedings Konferenzbeitrag2023
4Kovács, Laura Algebra-Based Loop AnalysisInproceedings Konferenzbeitrag2023
5Kovács, Laura ; Varonka, Anton What Else is Undecidable About Loops?Inproceedings Konferenzbeitrag 2023
6Karimi, Ahmad ; Moosbrugger, Marcel ; Stankovič, Miroslav ; Kovács, Laura ; Bartocci, Ezio ; Bura, Efstathia Distribution Estimation for Probabilistic LoopsInproceedings Konferenzbeitrag 12-Sep-2022
7Moosbrugger, Marcel ; Bartocci, Ezio ; Katoen, Joost-Pieter ; Kovacs, Laura The probabilistic termination tool amberArticle Artikel Aug-2022
8Humenberger, Andreas ; Amrollahi, Daneshvar ; Bjørner, Nikolaj ; Kovács, Laura Algebra-Based Reasoning for Loop SynthesisArticle Artikel 1-Apr-2022