conference paper published yes Alexey Bakhirkin author Thomas Ferrere author 40960E6E-F248-11E8-B48F-1D18A9856A870000-0001-5199-3143 Oded Maler author ToHe department HSCC: Hybrid Systems - Computation and Control Rigorous Systems Engineering project We describe a new algorithm for the parametric identification problem for signal temporal logic (STL), stated as follows. Given a densetime real-valued signal w and a parameterized temporal logic formula φ, compute the subset of the parameter space that renders the formula satisfied by the signal. Unlike previous solutions, which were based on search in the parameter space or quantifier elimination, our procedure works recursively on φ and computes the evolution over time of the set of valid parameter assignments. This procedure is similar to that of monitoring or computing the robustness of φ relative to w. Our implementation and experiments demonstrate that this approach can work well in practice. https://research-explorer.ista.ac.at/download/182/7833/2018_HSCC_Bakhirkin.pdf application/pdfno ACM2018Porto, Portugal eng 978-1-4503-5642-8 00047478160002010.1145/3178126.3178132 177 - 186 A. Bakhirkin, T. Ferrere, O. Maler, in:, Proceedings of the 21st International Conference on Hybrid Systems, ACM, 2018, pp. 177–186. Bakhirkin, Alexey, et al. “Efficient Parametric Identification for STL.” <i>Proceedings of the 21st International Conference on Hybrid Systems</i>, ACM, 2018, pp. 177–86, doi:<a href="https://doi.org/10.1145/3178126.3178132">10.1145/3178126.3178132</a>. Bakhirkin A, Ferrere T, Maler O. 2018. Efficient parametric identification for STL. Proceedings of the 21st International Conference on Hybrid Systems. HSCC: Hybrid Systems - Computation and Control, HSCC Proceedings, , 177–186. Bakhirkin, Alexey, Thomas Ferrere, and Oded Maler. “Efficient Parametric Identification for STL.” In <i>Proceedings of the 21st International Conference on Hybrid Systems</i>, 177–86. ACM, 2018. <a href="https://doi.org/10.1145/3178126.3178132">https://doi.org/10.1145/3178126.3178132</a>. Bakhirkin A, Ferrere T, Maler O. Efficient parametric identification for STL. In: <i>Proceedings of the 21st International Conference on Hybrid Systems</i>. ACM; 2018:177-186. doi:<a href="https://doi.org/10.1145/3178126.3178132">10.1145/3178126.3178132</a> A. Bakhirkin, T. Ferrere, and O. Maler, “Efficient parametric identification for STL,” in <i>Proceedings of the 21st International Conference on Hybrid Systems</i>, Porto, Portugal, 2018, pp. 177–186. Bakhirkin, A., Ferrere, T., &#38; Maler, O. (2018). Efficient parametric identification for STL. In <i>Proceedings of the 21st International Conference on Hybrid Systems</i> (pp. 177–186). Porto, Portugal: ACM. <a href="https://doi.org/10.1145/3178126.3178132">https://doi.org/10.1145/3178126.3178132</a> 1822018-12-11T11:45:04Z2025-07-10T11:51:21Z