Efficient Parametric Identification for STL

DOI10.1145/3178126.3178132zbMath1409.68166OpenAlexW2795506272MaRDI QIDQ4561450

Thomas Ferrère, Oded Maler, Alexey Bakhirkin

Publication date: 6 December 2018

Published in: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3178126.3178132

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (5)

Learning and characterizing fully-ordered lattice automata ⋮ Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions ⋮ Learning Temporal Causal Sequence Relationships from Real-Time Time-Series ⋮ Learning specifications for labelled patterns ⋮ An STL-based formulation of resilience in cyber-physical systems

This page was built for publication: Efficient Parametric Identification for STL