Takumi Akazaki, Ichiro Hasuo
Time Robustness in MTL and Expressivity in Hybrid System Falsification
CAV, 2015.
@inproceedings{CAV-2015-AkazakiH, author = "Takumi Akazaki and Ichiro Hasuo", booktitle = "{Proceedings of the 27th International Conference on Computer Aided Verification, Part II}", doi = "10.1007/978-3-319-21668-3_21", isbn = "978-3-319-21667-6", pages = "356--374", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Time Robustness in MTL and Expressivity in Hybrid System Falsification}", volume = 9207, year = 2015, }