Detail publikace

Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption

NOVOTNÝ Petr, BLAHOUDEK František, CUBUKTEPE Murat, ORNIK Melkior, THANGEDA Pranay a TOPCU Ufuk. Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Pittsburgh, 2021, s. 640-656. ISBN 978-3-030-90869-0. Dostupné z: https://link.springer.com/chapter/10.1007/978-3-030-90870-6_34?getft_integrator=scopus
Název česky
Palivo v rozhodovacích procesech Markov (FiMDP): Praktický přístup ke spotřebě
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Novotný Petr, doc. RNDr., Ph.D. (FI MUNI)
Blahoudek František, RNDr., Ph.D. (UITS FIT VUT)
Cubuktepe Murat (UTAUSTIN)
Ornik Melkior (UILLINOIS)
Thangeda Pranay (UILLINOIS)
Topcu Ufuk (UTAUSTIN)
URL
Klíčová slova

Behaviorální průzkum, přijímání rozhodnutí, Kontrola modelu, Multiagentní systémy, Polynomiální aproximace

Abstrakt

Procesy rozhodování o spotřebě Markov (CMDP) jsou pravděpodobnostní modely rozhodování systémů s omezenými zdroji. Představujeme FiMDP, nástroj pro syntézu regulátorů v CMDP s LTL cíli vyjádřitelnými deterministickými Büchiho automaty. Nástroj implementuje nedávný algoritmus pro syntézu polynomiálních regulátorů v CMDP, ale rozšiřuje jej o mnoho dalších funkcí. Na koncepční úrovni nástroj implementuje heuristiku pro zlepšení očekávané doby dosažitelnosti přijímajících stavů a podporu pro multiagentní přidělování úloh. Na praktické úrovni tento nástroj nabízí (mimo jiné funkce) nový rámec pro simulaci strategie, integraci s nástrojem Storm model checker a FiMDPEnv - novou sadu CMDP, které modelují systémy s omezenými zdroji v reálném světě. Uvádíme také hodnocení FiMDP na těchto reálných scénářích.

Rok
2021
Strany
640-656
Sborník
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Konference
24rd International Symposium on Formal Methods, Porto, PT
ISBN
978-3-030-90869-0
Místo
Pittsburgh, US
DOI
10.1007/978-3-030-90870-6_34
UT WoS
000758218600034
EID Scopus
2-s2.0-85119837676
BibTeX 
@INPROCEEDINGS{FITPUB13361,
   author = "Petr Novotn\'{y} and Franti\v{s}ek Blahoudek and Murat Cubuktepe and Melkior Ornik and Pranay Thangeda and Ufuk Topcu",
   title = "Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption",
   pages = "640--656",
   booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
   year = 2021,
   location = "Pittsburgh, US",
   ISBN = "978-3-030-90869-0",
   doi = "10.1007/978-3-030-90870-6\_34",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/13361"
}
Nahoru