@inproceedings{Bakhirkin_2018,
series={HSCC ’18},
title={Efficient Parametric Identification for STL},
url={http://dx.doi.org/10.1145/3178126.3178132},
DOI={10.1145/3178126.3178132},
booktitle={Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)},
publisher={ACM},
author={Bakhirkin,
Alexey and Ferrère,
Thomas and Maler,
Oded},
year={2018},
month=apr,
collection={HSCC ’18} }