Full name Familienname, Vorname

Müllner, Julian

Main Affiliation Organisationszuordnung

E192-04 - Forschungsbereich Formal Methods in Systems Engineering

Results 1-3 of 3 (Search time: 0.002 seconds).

RIS EndNote Bibtex Excel CSV Send via email

	Author(s)	Title	Type	Issue Date
1	Müllner, Julian ; Moosbrugger, Marcel ; Kovács, Laura	Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) Programs	Article Artikel	5-Jan-2024
2	Moosbrugger, Marcel ; Müllner, Julian ; Kovács, Laura	Automated Sensitivity Analysis for Probabilistic Loops	Inproceedings Konferenzbeitrag	6-Nov-2023
3	Müllner, Julian	Exact inference for probabilistic loops	Thesis Hochschulschrift	2023