Efficient Parametric Identification for STL

PROCEEDINGS ARTICLE published 11 April 2018 in Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)

Research funded by Austrian Science Fund (FWF) (S11402-N23) | European Research Council (306595)

Authors: Alexey Bakhirkin | Thomas Ferrère | Oded Maler