Detail publikace

Deductive Controller Synthesis for Probabilistic Hyperproperties

ANDRIUSHCHENKO, R.; BARTOCCI, E.; ČEŠKA, M.; FRANCESCO, P.; SARAH, S. Deductive Controller Synthesis for Probabilistic Hyperproperties. In Quantitative Evaluation of SysTems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Cham: Springer Verlag, 2023. p. 288-306. ISBN: 978-3-031-43834-9.
Název česky
Syntéza konroléru pro pravděpodobnostní hyper-vlastnosti
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Andriushchenko Roman, Ing. (UITS)
BARTOCCI, E.
Češka Milan, doc. RNDr., Ph.D. (UITS)
FRANCESCO, P.
SARAH, S.
Abstrakt

V tomto článku navrhujeme nový přístup k řešení problému syntézy kontrolérů pro Markovovy rozhodovací procesy (MDP) a pravděpodobnostní hypervlastnosti. Experimentální hodnocení ukazuje, že navrhovaný přístup výrazně překonává HYPERPROB, nejmodernější nástroj pro syntézu kontrolérů založený na SMT.

Rok
2023
Strany
288–306
Sborník
Quantitative Evaluation of SysTems
Řada
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Svazek
14287
ISBN
978-3-031-43834-9
Vydavatel
Springer Verlag
Místo
Cham
DOI
10.1007/978-3-031-43835-6_20
EID Scopus
2-s2.0-85174279567
BibTeX 
@inproceedings{BUT185191,
  author="ANDRIUSHCHENKO, R. and BARTOCCI, E. and ČEŠKA, M. and FRANCESCO, P. and SARAH, S.",
  title="Deductive Controller Synthesis for Probabilistic Hyperproperties",
  booktitle="Quantitative Evaluation of SysTems",
  year="2023",
  series="Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
  volume="14287",
  pages="288--306",
  publisher="Springer Verlag",
  address="Cham",
  doi="10.1007/978-3-031-43835-6\{_}20",
  isbn="978-3-031-43834-9"
}
Nahoru