@inproceedings{DDM+8,
title = {Sensitive State Space Exploration },
author = {Dang, Thao and Donz\'e, Alexandre and Maler, Oded and Shalev, Noa},
month = {dec},
year = {2008},
booktitle = {IEEE Conference on Decision and Control (CDC)},
team = {axe_Mohytos, TEMPO},
}
