Detail publikace
Decentralized Planning Using Probabilistic Hyperproperties
ANDRIUSHCHENKO Roman, ČEŠKA Milan, FRANCESCO Pontiggia, MACÁK Filip a MICHELE Chiari. Decentralized Planning Using Probabilistic Hyperproperties. In: Proc. of the 24th International Conference on Autonomous Agents and Multiagent Systems. 2025.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Andriushchenko Roman, Ing. (UITS FIT VUT)
Češka Milan, doc. RNDr., Ph.D. (UITS FIT VUT)
Francesco Pontiggia (TU-Wien)
Macák Filip, Ing. (UITS FIT VUT)
Michele Chiari
Češka Milan, doc. RNDr., Ph.D. (UITS FIT VUT)
Francesco Pontiggia (TU-Wien)
Macák Filip, Ing. (UITS FIT VUT)
Michele Chiari
Rok
2025
(v tisku)
Sborník
Proc. of the 24th International Conference on Autonomous Agents and Multiagent Systems
Konference
24th International Conference on Autonomous Agents and Multiagent Systems, Detroit, US
BibTeX
@INPROCEEDINGS{FITPUB13364, author = "Roman Andriushchenko and Milan \v{C}e\v{s}ka and Pontiggia Francesco and Filip Mac\'{a}k and Chiari Michele", title = "Decentralized Planning Using Probabilistic Hyperproperties", booktitle = "Proc. of the 24th International Conference on Autonomous Agents and Multiagent Systems", year = 2025, language = "english", url = "https://www.fit.vut.cz/research/publication/13364" }