%0 Conference Paper %1 conf/cdc/VidalSSLS01 %A Vidal, René %A Schaffert, Shawn %A Shakernia, Omid %A Lygeros, John %A Sastry, Shankar %B CDC %D 2001 %I IEEE %K dblp %P 1243-1248 %T Decidable and semi-decidable controller synthesis for classes of discrete time hybrid systems. %U http://dblp.uni-trier.de/db/conf/cdc/cdc2001.html#VidalSSLS01 %@ 0-7803-7061-9

@inproceedings{conf/cdc/VidalSSLS01, added-at = {2022-10-06T00:00:00.000+0200}, author = {Vidal, René and Schaffert, Shawn and Shakernia, Omid and Lygeros, John and Sastry, Shankar}, biburl = {https://www.bibsonomy.org/bibtex/2e618397a9dce37a731ae112388c7fb45/dblp}, booktitle = {CDC}, crossref = {conf/cdc/2001}, ee = {https://doi.org/10.1109/.2001.981057}, interhash = {b24d9a86ea9e2723a5d099cc5e1faf07}, intrahash = {e618397a9dce37a731ae112388c7fb45}, isbn = {0-7803-7061-9}, keywords = {dblp}, pages = {1243-1248}, publisher = {IEEE}, timestamp = {2024-04-09T15:17:22.000+0200}, title = {Decidable and semi-decidable controller synthesis for classes of discrete time hybrid systems.}, url = {http://dblp.uni-trier.de/db/conf/cdc/cdc2001.html#VidalSSLS01}, year = 2001 }