Detail publikace

Search and Explore: Symbiotic Policy Synthesis in POMDPs

ANDRIUSHCHENKO Roman, ALEXANDER Bork, ČEŠKA Milan, JUNGES Sebastian, KATOEN Joost-Pieter a MACÁK Filip. Search and Explore: Symbiotic Policy Synthesis in POMDPs. In: Computer Aided Verification. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), roč. 13966. Cham: Springer Verlag, 2023, s. 113-135. ISBN 978-3-031-37708-2.
Název česky
Syntéza kontrolérů pro POMDP
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Andriushchenko Roman, Ing. (UITS FIT VUT)
Alexander Bork (RWTH)
Češka Milan, doc. RNDr., Ph.D. (UITS FIT VUT)
Junges Sebastian (RWTH Aachen University)
Katoen Joost-Pieter (RWTH)
Macák Filip, Ing. (UITS FIT VUT)
Klíčová slova

částečně pozorovatelné Markovovy rozhodovací procesy, konečně stavové kontroléry, induktivní syntéza

Abstrakt

Tento článek spojuje dvě nejmodernější metody syntézy kontrolérů pro částečně pozorovatelné Markovovy rozhodovací procesy (POMDP), prominentní model pro sekvenčním rozhodování. Klíčovým výsledkem tohoto článku je symbiotický algoritmus, který integruje oba přístupy. Experimentální výsledky demonstrují podstatné zlepšení ve srovnání s existujícími přístupy.

Rok
2023
Strany
113-135
Sborník
Computer Aided Verification
Řada
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Svazek
13966
Konference
35th International Conference on Computer Aided Verification, Paříž, FR
ISBN
978-3-031-37708-2
Vydavatel
Springer Verlag
Místo
Cham, DE
DOI
10.1007/978-3-031-37709-9_6
EID Scopus
2-s2.0-85169482143
BibTeX 
@INPROCEEDINGS{FITPUB13041,
   author = "Roman Andriushchenko and Bork Alexander and Milan \v{C}e\v{s}ka and Sebastian Junges and Joost-Pieter Katoen and Filip Mac\'{a}k",
   title = "Search and Explore: Symbiotic Policy Synthesis in POMDPs",
   pages = "113--135",
   booktitle = "Computer Aided Verification",
   series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
   volume = 13966,
   year = 2023,
   location = "Cham, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-031-37708-2",
   doi = "10.1007/978-3-031-37709-9\_6",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/13041"
}
Nahoru