%0 Conference Paper %1 conf/amcc/BahavarniaSM20 %A Bahavarnia, MirSaleh %A Shoukry, Yasser %A Martins, Nuno C. %B ACC %D 2020 %I IEEE %K dblp %P 5281-5286 %T Controller Synthesis subject to Logical and Structural Constraints: A Satisfiability Modulo Theories (SMT) Approach. %U http://dblp.uni-trier.de/db/conf/amcc/amcc2020.html#BahavarniaSM20 %@ 978-1-5386-8266-1

@inproceedings{conf/amcc/BahavarniaSM20, added-at = {2021-04-09T00:00:00.000+0200}, author = {Bahavarnia, MirSaleh and Shoukry, Yasser and Martins, Nuno C.}, biburl = {https://www.bibsonomy.org/bibtex/2919edcb32b780b5f82a4d79219914f31/dblp}, booktitle = {ACC}, crossref = {conf/amcc/2020}, ee = {https://doi.org/10.23919/ACC45564.2020.9147460}, interhash = {533bc45c7437564839968129332a10b6}, intrahash = {919edcb32b780b5f82a4d79219914f31}, isbn = {978-1-5386-8266-1}, keywords = {dblp}, pages = {5281-5286}, publisher = {IEEE}, timestamp = {2024-04-09T13:43:39.000+0200}, title = {Controller Synthesis subject to Logical and Structural Constraints: A Satisfiability Modulo Theories (SMT) Approach.}, url = {http://dblp.uni-trier.de/db/conf/amcc/amcc2020.html#BahavarniaSM20}, year = 2020 }