Detail publikace

Inductive Synthesis of Finite-State Controllers for POMDPs

ANDRIUSHCHENKO, R.; ČEŠKA, M.; JUNGES, S.; KATOEN, J. Inductive Synthesis of Finite-State Controllers for POMDPs. In Conference on Uncertainty in Artificial Intelligence. Proceedings of Machine Learning Research. Eindhoven: Proceedings of Machine Learning Research, 2022. p. 85-95. ISSN: 2640-3498.
Název česky
Induktivní syntéza kontrolerů pro POMDP
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Andriushchenko Roman, Ing. (UITS)
Češka Milan, doc. RNDr., Ph.D. (UITS)
JUNGES, S.
KATOEN, J.
Klíčová slova

partially observable Markov decision processes, finite-state controllers, inductive synthesis, counter-examples, abstraction 

Abstrakt

Článek prezentuje novou metodu pro induktivní syntézu konečně stavových kontrolerů pro částečně pozorovatelné Markovské rozhodovací procesy.

Rok
2022
Strany
85–95
Sborník
Conference on Uncertainty in Artificial Intelligence
Řada
Proceedings of Machine Learning Research
Svazek
180
Číslo
180
Konference
Uncertainty in Artificial Intelligence, Eindhoven, NL
Vydavatel
Proceedings of Machine Learning Research
Místo
Eindhoven
EID Scopus
2-s2.0-85163413400
BibTeX 
@inproceedings{BUT178215,
  author="ANDRIUSHCHENKO, R. and ČEŠKA, M. and JUNGES, S. and KATOEN, J.",
  title="Inductive Synthesis of Finite-State Controllers for POMDPs",
  booktitle="Conference on Uncertainty in Artificial Intelligence",
  year="2022",
  series="Proceedings of Machine Learning Research",
  volume="180",
  number="180",
  pages="85--95",
  publisher="Proceedings of Machine Learning Research",
  address="Eindhoven",
  issn="2640-3498"
}
Nahoru