• DOI:10.1007/978-3-319-21668-3_21
Corpus ID: 14307127

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

View PDF on arXiv

Save to Library

Create Alert

Cite

Launch Research Feed