Detail publikace

Deductive Controller Synthesis for Probabilistic Hyperproperties

ANDRIUSHCHENKO Roman, BARTOCCI Ezio, ČEŠKA Milan, FRANCESCO Pontiggia a SARAH Sallinger. 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), roč. 14287. Cham: Springer Verlag, 2023, s. 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
angličtina
Autoři
Andriushchenko Roman, Ing. (UITS FIT VUT)
Bartocci Ezio, Univ.-Prof. Dott. (TU-Wien)
Češka Milan, doc. RNDr., Ph.D. (UITS FIT VUT)
Francesco Pontiggia (TU-Wien)
Sarah Sallinger (TU-Wien)
Klíčová slova
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
Konference
20th International Conference on Quantitative Evaluation of SysTems, Antwerp, BE
ISBN
978-3-031-43834-9
Vydavatel
Springer Verlag
Místo
Cham, DE
DOI
10.1007/978-3-031-43835-6_20
EID Scopus
2-s2.0-85174279567
BibTeX 
@INPROCEEDINGS{FITPUB13042,
   author = "Roman Andriushchenko and Ezio Bartocci and Milan \v{C}e\v{s}ka and Pontiggia Francesco and Sallinger Sarah",
   title = "Deductive Controller Synthesis for Probabilistic Hyperproperties",
   pages = "288--306",
   booktitle = "Quantitative Evaluation of SysTems",
   series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
   volume = 14287,
   year = 2023,
   location = "Cham, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-031-43834-9",
   doi = "10.1007/978-3-031-43835-6\_20",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/13042"
}
Nahoru