Time Robustness in MTL and Expressivity in Hybrid System Falsification

@article{Akazaki2015TimeRI,
  title={Time Robustness in MTL and Expressivity in Hybrid System Falsification},
  author={Takumi Akazaki and I. Hasuo},
  journal={ArXiv},
  year={2015},
  volume={abs/1505.06307}
}
  • Takumi Akazaki, I. Hasuo
  • Published 2015
  • Computer Science, Mathematics
  • ArXiv
  • Building on the work by Fainekos and Pappas and the one by Donze and Maler, we introduce \(\mathbf{AvSTL }\), an extension of metric interval temporal logic by averaged temporal operators. [...] Key Method Its expressivity in capturing both space and time robustness helps solving falsification problems (searching for a critical path in hybrid system models); it does so by communicating a designer’s intention more faithfully to the stochastic optimization engine employed in a falsification solver. We also…Expand Abstract
    57 Citations
    Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches
    • 1
    • PDF
    Fast Falsification of Hybrid Systems using Probabilistically Adaptive Input
    • 8
    • PDF
    Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification (Extended Version)
    • 6
    • PDF
    Enhancing Temporal Logic Falsification With Specification Transformation and Valued Booleans
    • 1
    • PDF
    Hybrid System Falsification Under (In)equality Constraints via Search Space Transformation
    • PDF
    Falsification of Dynamical Systems - An Industrial Perspective
    • 1
    Local Descent For Temporal Logic Falsification of Cyber-Physical Systems (Extended Technical Report)
    • 3
    • PDF
    Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search
    • 25
    • PDF
    Falsification of cyber-physical systems with robustness-guided black-box checking
    • 1
    • PDF
    Time-Staging Enhancement of Hybrid System Falsification
    • 3
    • PDF

    References

    SHOWING 1-10 OF 28 REFERENCES
    Discounting in LTL
    • 42
    • PDF
    Robustness of temporal logic specifications for continuous-time signals
    • 331
    • PDF
    Verification of automotive control applications using S-TaLiRo
    • 83
    • PDF
    WiP abstract: Conformance testing as falsification for cyber-physical systems
    • 16
    • PDF