Detail publikace

PAC Learning-Based Verification and Model Synthesis

CHEN, Y.; HSIEH, C.; LENGÁL, O.; LII, T.; TSAI, M.; WANG, B.; WANG, F. PAC Learning-Based Verification and Model Synthesis. In Proceedings of the 38th International Conference on Software Engineering. Austin, TX: Association for Computing Machinery, 2016. p. 714-724. ISBN: 978-1-4503-3900-1.
Název česky
Verifikace a syntéza modelu založené na PAC učení
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Chen Yu-Fang
Hsieh Chiao (FIT)
Lengál Ondřej, Ing., Ph.D. (UITS)
Lii Tsung-Ju (FIT)
Tsai Ming-Hsien (FIT)
Wang Bow-Yaw (FIT)
Wang Farn (FIT)
URL
Klíčová slova

model synthesis, PAC learning, finite automata, program verification

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
DOI
10.1145/2884781.2884860
UT WoS
000406138600063
EID Scopus
2-s2.0-84971421959
BibTeX 
@inproceedings{BUT130941,
  author="Yu-Fang {Chen} and Chiao {Hsieh} and Ondřej {Lengál} and Tsung-Ju {Lii} and Ming-Hsien {Tsai} and Bow-Yaw {Wang} and Farn {Wang}",
  title="PAC Learning-Based Verification and Model Synthesis",
  booktitle="Proceedings of the 38th International Conference on Software Engineering",
  year="2016",
  pages="714--724",
  publisher="Association for Computing Machinery",
  address="Austin, TX",
  doi="10.1145/2884781.2884860",
  isbn="978-1-4503-3900-1",
  url="http://dx.doi.org/10.1145/2884781.2884860"
}
Nahoru