@inproceedings{326a62b728f44627a746d5f9c0d4fa60,
title = "On symbolic optimal control via approximate simulation relations",
author = "{de Roo}, F and {Mazo Espinosa}, M",
year = "2013",
doi = "10.1109/CDC.2013.6760372",
language = "English",
isbn = "978-1-4673-5714-2",
publisher = "IEEE Society",
pages = "3205--3210",
editor = "AL Tits and A Astolfi and {et al}",
booktitle = "Proceedings 2013 IEEE 52nd Annual Conference on Decision and Control",
note = "CDC 2013, Florence, Italy ; Conference date: 10-12-2013 Through 13-12-2013",
}