An automated system repair framework with signal temporal logic

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

Authors: Mert Ergurtuna, Beyazit Yalcinkaya, 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

Recommendations

• Automated repair for timed systems
• Diagnosis and repair for synthesis from signal temporal logic specifications
• Clock bound repair for timed systems
• Program repair without regret
• Abstract Model Repair

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• A theory of timed automata
• Robustness of temporal logic specifications for continuous-time signals
• Title not available (Why is that?)
• 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 (4)

• Clock bound repair for timed systems
• 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)