Článek ve sborníku konference

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
Jazyk publikace:angličtina
Název publikace:PAC Learning-Based Verification and Model Synthesis
Název (cs):Verifikace a syntéza modelu založené na PAC učení
Strany:714-724
Sborník:Proceedings of the 38th International Conference on Software Engineering
Konference:38th International Conference on Software Engineering
Místo vydání:Austin, TX, US
Rok:2016
URL:http://dx.doi.org/10.1145/2884781.2884860
ISBN:978-1-4503-3900-1
DOI:10.1145/2884781.2884860
Vydavatel:Association for Computing Machinery
Klíčová slova
model synthesis, PAC learning, finite automata, program verification
Anotace
Č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í.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=11087}
}

Vaše IPv4 adresa: 3.90.56.90
Přepnout na https