Francesco Pontiggia
Univ.Ass. Dott. mag.
Role
- PreDoc Researcher
Cyber-Physical Systems, E191-01
Contact
- francesco.pontiggia@tuwien.ac.at
- vCard from TISS
- orcid.org/0000-0003-2569-6238
- informatics.tuwien.ac.at/people/francesco-pontiggia
- tiss.tuwien.ac.at/person/356992
Publications
- 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. Peer-reviewed.
- 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. Peer-reviewed.
- 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. Peer-reviewed.DOI: 10.1007/978-3-031-43835-6_20 / Project: ProbInG
- 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. Peer-reviewed.