An automated system repair framework with signal temporal logic

DOI10.1007/s00236-021-00403-zOpenAlexW3175524290MaRDI QIDQ2139184

Beyazit Yalcinkaya, Mert Ergurtuna, Ebru Aydin Gol

Publication date: 17 May 2022

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00236-021-00403-z

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (3)

Automated repair for timed systems ⋮ Repairing real-time requirements ⋮ Unnamed Item

Uses Software

• IMITATOR
• Matlab
• Uppaal
• S-TaLiRo
• SemFix
• TarTar

Cites Work

• Unnamed Item
• Robustness of temporal logic specifications for continuous-time signals
• A theory of timed automata
• TeLEx: learning signal temporal logic from positive examples using tightness metric
• Logical clustering and learning for time-series data
• Reactive synthesis from signal temporal logic specifications
• S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems
• Reducing Clocks in Timed Automata while Preserving Bisimulation
• Trace Diagnostics Using Temporal Implicants
• Interpretable classification of time-series data using efficient enumerative techniques
• Traffic Network Control From Temporal Logic Specifications

This page was built for publication: An automated system repair framework with signal temporal logic