An automated system repair framework with signal temporal logic

DOI10.1007/S00236-021-00403-ZOpenAlexW3175524290MaRDI QIDQ2139184FDOQ2139184

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)

Cites Work

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

Cited In (3)

• Repairing real-time requirements
• Automated repair for timed systems
• Title not available (Why is that?)

Uses Software

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

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

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