Julian Müllner

According to our database, Julian Müllner authored at least 2 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Julian Müllner, Marcel Moosbrugger, Laura Kovács

Proc. ACM Program. Lang., January, 2024

2023

Automated Sensitivity Analysis for Probabilistic Loops.

Marcel Moosbrugger, Julian Müllner, Laura Kovács

Proceedings of the iFM 2023 - 18th International Conference, 2023