Publication Details
Decentralized Planning Using Probabilistic Hyperproperties
MACÁK, F.; ANDRIUSHCHENKO, R.; ČEŠKA, M.; FRANCESCO, P.; MICHELE, C. Decentralized Planning Using Probabilistic Hyperproperties. Proc. of the 24th International Conference on Autonomous Agents and Multiagent Systems. 2025.
Type
conference paper
Language
English
Authors
Macák Filip, Ing.
(DITS)
Andriushchenko Roman, Ing. (DITS)
Češka Milan, doc. RNDr., Ph.D. (DITS)
FRANCESCO, P.
MICHELE, C.
Andriushchenko Roman, Ing. (DITS)
Češka Milan, doc. RNDr., Ph.D. (DITS)
FRANCESCO, P.
MICHELE, C.
Published
2025
(in print)
Proceedings
Proc. of the 24th International Conference on Autonomous Agents and Multiagent Systems
Conference
24th International Conference on Autonomous Agents and Multiagent Systems, Detroit, US
BibTeX
@inproceedings{BUT196709,
author="MACÁK, F. and ANDRIUSHCHENKO, R. and ČEŠKA, M. and FRANCESCO, P. and MICHELE, C.",
title="Decentralized Planning Using Probabilistic Hyperproperties",
booktitle="Proc. of the 24th International Conference on Autonomous Agents and Multiagent Systems",
year="2025"
}