avatar

Francesco Pontiggia

Ph.D. student
Cyber-Physical Systems Group
TU Wien
name.surname(at)tuwien.ac.at


Peer Reviewed Publications [Google Scholar][DBLP]

  1. Decentralized Planning Using Probabilistic Hyperproperties.
    Francesco Pontiggia, Filip Macák, Roman Andriushchenko, Michele Chiari, and Milan Češka
    International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2025.

  2. A Model Checker for Operator Precedence Languages.
    Michele Chiari, Dino Mandrioli, Francesco Pontiggia, Matteo Pradella
    ACM Transactions on Programming Languages and Systems (TOPLAS), 2023.
    PDF BibTex doi

  3. Deductive Controller Synthesis for Probabilistic Hyperproperties.
    Roman Andriushchenko, Ezio Bartocci, Milan Češka, Francesco Pontiggia, Sarah Sallinger
    International Conference on Quantitative Evaluation of Systems (QEST), 2023.
    BibTex doi Preprint Artifact

  4. Verification of Programs with Exceptions Through Operator Precedence Automata.
    Francesco Pontiggia, Michele Chiari, Matteo Pradella
    International Conference on Software Engineering and Formal Methods (SEFM), 2021.
    BibTex doi

Other Works

  1. Model Checking Recursive Probabilistic Programs with Conditioning.
    Francesco Pontiggia, Ezio Bartocci, Michele Chiari
    ArXiv, 2024.
    Preprint