TY  - RPRT
TI  - Decentralized Planning Using Probabilistic Hyperproperties
AU  - Francesco Pontiggia
AU  - Filip Macák
AU  - Roman Andriushchenko
AU  - Michele Chiari
AU  - Milan Češka
PY  - 2025
DO  - 10.5555/3709347.3743804
UR  - https://arxiv.org/abs/2502.13621
ID  - 2502.13621
ER  -