Efficient Parametric Identification for STL

Alexey Bakhirkin, Thomas Ferrère, Oded Maler. Efficient Parametric Identification for STL. In Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC 2018, Porto, Portugal, April 11-13, 2018. pages 177-186, ACM, 2018. [doi]

Authors

Alexey Bakhirkin

This author has not been identified. Look up 'Alexey Bakhirkin' in Google

Thomas Ferrère

This author has not been identified. Look up 'Thomas Ferrère' in Google

Oded Maler

This author has not been identified. Look up 'Oded Maler' in Google