BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @inproceedings{TUW-273180, author = {Nenzi, Laura and Silvetti, Simone and Bartocci, Ezio and Bortolussi, Luca}, title = {A Robust Genetic Algorithm for Learning Temporal Specifications from Data}, booktitle = {Proc. of QEST 2018: the 15th International Conference on Quantitative Evaluation of Systems}, year = {2018}, pages = {323--338}, address = {11024}, doi = {10.1007/978-3-319-99154-2}, note = {talk: Proc. of QEST 2018: the 15th International Conference on Quantitative Evaluation of Systems, Beijing, China; 2018-09-04 -- 2018-09-07} } 1 Datensatz ausgegeben