TY  - RPRT
TI  - Time Robustness in MTL and Expressivity in Hybrid System Falsification (Extended Version)
AU  - Takumi Akazaki
AU  - Ichiro Hasuo
PY  - 2015
UR  - https://arxiv.org/abs/1505.06307
ID  - 1505.06307
ER  -