Specification and efficient monitoring beyond STL

DOI10.1007/978-3-030-17465-1_5zbMath1527.68125OpenAlexW2930654751MaRDI QIDQ6091405

Alexey Bakhirkin, Nicolas Basset

Publication date: 24 November 2023

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-17465-1_5

Mathematics Subject Classification ID

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

Related Items (2)

Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions ⋮ Learning specifications for labelled patterns

This page was built for publication: Specification and efficient monitoring beyond STL