@inproceedings{DD7,
title = {Temporal specification testing of hybrid systems },
author = {Dang, Thao and Dreossi, Tommaso},
year = {2017},
booktitle = {13th {IEEE} Conference on Automation Science and Engineering, {CASE} 2017, Xi'an, China, August 20-23, 2017},
pages = {1338--1343},
team = {axe_Mohytos, TEMPO},
}