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

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Song, Minsun ; Bura, Efstathia ; Parzer, Roman ; Pfeiffer, Ruth Structured time-dependent inverse regression (STIR)Article Artikel 14-Mar-2023
2Kenison, George On the Skolem Problem for Reversible SequencesInproceedings Konferenzbeitrag22-Aug-2022
3Brune, Barbara ; Scherrer, Wolfgang ; Bura, Efstathia A state-space approach to time-varying reduced-rank regressionArticle Artikel 28-May-2022
4Humenberger, Andreas ; Amrollahi, Daneshvar ; Bjørner, Nikolaj ; Kovács, Laura Algebra-Based Reasoning for Loop SynthesisArticle Artikel 1-Apr-2022
5Kofnov, Andrey ; Moosbrugger, Marcel ; Stankovič, Miroslav ; Bartocci, Ezio ; Bura, Efstathia ; Ábrahám, Erika ; Paolieri, Marco Moment-Based Invariants for Probabilistic Loops with Non-polynomial AssignmentsInproceedings Konferenzbeitrag 2022
6Fertl, Lukas ; Bura, Efstathia The ensemble conditional variance estimator for sufficient dimension reductionArticle Artikel 2022
7Kenison-2021-On Positivity and Minimality for Second-Order Holonomic Sequ...-vor.pdf.jpgKenison, George James ; Klurman, Oleksiy ; Lefaucheux, Engel ; Luca, Florian ; Moree, Pieter ; Ouaknine, Joël ; Whiteland, Markus ; Worrell, James ; Bonchi, Filippo ; Puglisi, Simon On Positivity and Minimality for Second-Order Holonomic SequencesInproceedings Konferenzbeitrag 1-Aug-2021