@inproceedings{MNP07,
title = { On Synthesizing Controllers from Bounded-Response Properties },
author = {Maler, Oded and Nickovic, Dejan and Pnueli, Amir},
year = {2007},
booktitle = {CAV},
pages = {95-107},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4590},
team = {TEMPO},
}