Detail publikace

Decentralized Planning Using Probabilistic Hyperproperties

ANDRIUSHCHENKO, R.; ČEŠKA, M.; MACÁK, F.; FRANCESCO, P.; MICHELE, C. Decentralized Planning Using Probabilistic Hyperproperties. Proc. of the 24th International Conference on Autonomous Agents and Multiagent Systems. Detroit: 2025. p. 1688-1697. ISBN: 979-8-4007-1426-9.
Název česky
Decentralizované plánování za použití pravděpodobnostní hyperlogiky
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Andriushchenko Roman, Ing. (UITS)
Češka Milan, doc. RNDr., Ph.D. (UITS)
Macák Filip, Ing. (UITS)
FRANCESCO, P.
MICHELE, C.
Klíčová slova

Probabilistic Hyperproperties, Decentralized Planning, Markov Decision Processes,
Abstraction Refinement, Self-composition

Abstrakt

Článek představuje nový přístup k decentralizovanému plánování multi-agentních
systémů za použití pravděpodobnostní hyperlogiky

Rok
2025
Strany
1688–1697
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
ISBN
979-8-4007-1426-9
Místo
Detroit
BibTeX 
@inproceedings{BUT196709,
  author="ANDRIUSHCHENKO, R. and ČEŠKA, M. and MACÁK, F. 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",
  pages="1688--1697",
  address="Detroit",
  isbn="979-8-4007-1426-9"
}
Nahoru