Adaptive testing for specification coverage and refinement in CPS models
From MaRDI portal
Publication:2085163
DOI10.1016/j.nahs.2022.101254OpenAlexW4290785394WikidataQ124212464 ScholiaQ124212464MaRDI QIDQ2085163
Roderick Bloem, Benedikt Maderbacher, Ezio Bartocci, Niveditha Manjunath, Dejan Ničković
Publication date: 14 October 2022
Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.nahs.2022.101254
cyber-physical systemssignal temporal logicfalsification testinggame based testingspecification coveragespecification refinement
Uses Software
Cites Work
- Robustness of temporal logic specifications for continuous-time signals
- TeLEx: learning signal temporal logic from positive examples using tightness metric
- The power of symbolic automata and transducers
- Synthesizing adaptive test strategies from temporal logic specifications
- Compositional falsification of cyber-physical systems with machine learning components
- Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems
- A Decision Tree Approach to Data Classification using Signal Temporal Logic
- S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems
- Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes
- A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks
- Interface-aware signal temporal logic
- Temporal Logics for Learning and Detection of Anomalous Behavior
- Minimization of symbolic automata
- Data-Driven Statistical Learning of Temporal Logic Properties
- Control Strategies for Off-Line Testing of Timed Systems
- Computer Aided Verification
This page was built for publication: Adaptive testing for specification coverage and refinement in CPS models