1 citations · 2 across the 2 of their papers we have counts for
3 papers
Decentralized Planning Using Probabilistic Hyperproperties
Francesco Pontiggia, Filip Macák, Roman Andriushchenko +2
Multi-agent planning under stochastic dynamics is usually formalised using decentralized (partially observable) Markov decision processes ( MDPs) and reachability or expected rewar…
POPACheck: A Model Checker for Probabilistic Pushdown Automata
Francesco Pontiggia, Ezio Bartocci, Michele Chiari
We present POPACheck, the first model checking tool for probabilistic Pushdown Automata (pPDA) supporting temporal logic specifications. POPACheck provides a user-friendly probabil…
Model Checking Probabilistic Operator Precedence Automata
Francesco Pontiggia, Ezio Bartocci, Michele Chiari
We address the problem of model checking context-free specifications for probabilistic pushdown automata, with applications in the verification of recursive probabilistic programs.…