Detail publikace

PAC Learning-Based Verification and Model Synthesis

CHEN Yu-Fang, HSIEH Chiao, LENGÁL Ondřej, LII Tsung-Ju, TSAI Ming-Hsien, WANG Bow-Yaw a WANG Farn. PAC Learning-Based Verification and Model Synthesis. In: Proceedings of the 38th International Conference on Software Engineering. Austin, TX: Association for Computing Machinery, 2016, s. 714-724. ISBN 978-1-4503-3900-1. Dostupné z: http://dx.doi.org/10.1145/2884781.2884860
Název česky
Verifikace a syntéza modelu založené na PAC učení
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Chen Yu-Fang (ASIN)
Hsieh Chiao (ASIN)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Lii Tsung-Ju (NTU)
Tsai Ming-Hsien (ASIN)
Wang Bow-Yaw (ASIN)
Wang Farn (NTU)
URL
Abstrakt

Článek popisuje novou techniku pro verifikaci systému a syntézu jeho pravděpodobnostního modelu s použitím techniky PAC učení.

Rok
2016
Strany
714-724
Sborník
Proceedings of the 38th International Conference on Software Engineering
Konference
38th International Conference on Software Engineering, Austin, TX, US
ISBN
978-1-4503-3900-1
Vydavatel
Association for Computing Machinery
Místo
Austin, TX, US
DOI
10.1145/2884781.2884860
UT WoS
000406138600063
EID Scopus
2-s2.0-84971421959
BibTeX 
@INPROCEEDINGS{FITPUB11087,
   author = "Yu-Fang Chen and Chiao Hsieh and Ond\v{r}ej Leng\'{a}l and Tsung-Ju Lii and Ming-Hsien Tsai and Bow-Yaw Wang and Farn Wang",
   title = "PAC Learning-Based Verification and Model Synthesis",
   pages = "714--724",
   booktitle = "Proceedings of the 38th International Conference on Software Engineering",
   year = 2016,
   location = "Austin, TX, US",
   publisher = "Association for Computing Machinery",
   ISBN = "978-1-4503-3900-1",
   doi = "10.1145/2884781.2884860",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11087"
}
Nahoru