Detail publikace

Search and Explore: Symbiotic Policy Synthesis in POMDPs

ANDRIUSHCHENKO, R.; ALEXANDER, B.; ČEŠKA, M.; JUNGES, S.; KATOEN, J.; MACÁK, F. 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). Cham: Springer Verlag, 2023. p. 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
anglicky
Autoři
Andriushchenko Roman, Ing. (UITS)
ALEXANDER, B.
Češka Milan, doc. RNDr., Ph.D. (UITS)
JUNGES, S.
KATOEN, J.
Macák Filip, Ing. (UITS)
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
ISBN
978-3-031-37708-2
Vydavatel
Springer Verlag
Místo
Cham
DOI
10.1007/978-3-031-37709-9_6
EID Scopus
2-s2.0-85169482143
BibTeX 
@inproceedings{BUT185190,
  author="ANDRIUSHCHENKO, R. and ALEXANDER, B. and ČEŠKA, M. and JUNGES, S. and KATOEN, J. and MACÁK, F.",
  title="Search and Explore: Symbiotic Policy Synthesis in POMDPs",
  booktitle="Computer Aided Verification",
  year="2023",
  series="Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
  volume="13966",
  pages="113--135",
  publisher="Springer Verlag",
  address="Cham",
  doi="10.1007/978-3-031-37709-9\{_}6",
  isbn="978-3-031-37708-2"
}
Nahoru