Specification and efficient monitoring beyond STL

DOI10.1007/978-3-030-17465-1_5MaRDI QIDQ6091405zbMATH OpenOpenAlexFDO

Authors 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)

Copyright license Creative Commons Attribution 4.0 International

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)

Recommendations

• STLInspector: STL validation with guarantees
• Extending STL with efficient data structures
• A framework for parameterized monitorability
• Semantics and algorithms for parametric monitoring

Cited in

(7)

• Learning specifications for labelled patterns
• Model predictive monitoring of dynamical systems for signal temporal logic specifications
• scientific article; zbMATH DE number 2100547 (Why is no real title available?)
• Fast and scalable monitoring for value-freeze operator augmented signal temporal logic
• Extending STL with efficient data structures
• Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions
• Online causation monitoring of signal temporal logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6091405)