@inproceedings{BFM8,
title = {Efficient Parametric Identification for {STL} },
author = {Bakhirkin, Alexey and Ferr\'ere, Thomas and Maler, Oded},
year = {2018},
booktitle = {Hybrid Systems: Computation and Control ({HSCC})},
pages = {177--186},
team = {TEMPO, PACSS},
}