Francesco Pontiggia
Univ.Ass. Dott. mag.
Role
-
PreDoc Researcher
Cyber-Physical Systems, E191-01
Publications
-
POPACheck: A Model Checker for Probabilistic Pushdown Automata
/
Pontiggia, F., Bartocci, E., & Chiari, M. (2025). POPACheck: A Model Checker for Probabilistic Pushdown Automata. In R. Piskac & Z. Rakamaric (Eds.), Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II (pp. 105–121). Springer. https://doi.org/10.1007/978-3-031-98679-6_5
Projects: CORPORA (2023–2025) / ProbInG (2020–2025) / TAIGER (2023–2027) -
Decentralized Planning Using Probabilistic Hyperproperties
/
Pontiggia, F., Macák, F., Andriushchenko, R., Michele Chiari, & Češka, M. (2025). Decentralized Planning Using Probabilistic Hyperproperties. In S. Das, A. Nowé, & Y. Vorobeychik (Eds.), AAMAS ’25 : Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems (pp. 1688–1697). International Foundation for Autonomous Agents and Multiagent Systems. https://doi.org/10.34726/10423
Download: Full text (1.13 MB)
Projects: CORPORA (2023–2025) / TAIGER (2023–2027) / VASSAL (2024–2027) -
Deductive Controller Synthesis for Probabilistic Hyperproperties
/
Andriushchenko, R., Bartocci, E., Češka, M., Pontiggia, F., & Sallinger, S. S. (2023). Deductive Controller Synthesis for Probabilistic Hyperproperties. In N. Jansen & M. Tribastone (Eds.), Quantitative Evaluation of Systems - 20th International Conference, QEST 2023 (pp. 47–64). Springer. https://doi.org/10.1007/978-3-031-43835-6_20
Project: ProbInG (2020–2025) -
A model checker for operator precedence languages
/
Chiari, M., Mandrioli, D., Pontiggia, F., & Pradella, M. (2023). A model checker for operator precedence languages. ACM Transactions on Programming Languages and Systems, 45(3), 1–66. https://doi.org/10.1145/3608443
Download: PDF (2.95 MB)
Project: ProbInG (2020–2025)