%0 Conference Paper %1 conf/amcc/LeongP16 %A Leong, Yoke Peng %A Prabhakar, Pavithra %B ACC %D 2016 %I IEEE %K dblp %P 5161-5168 %T Optimal control with regular objectives using an abstraction-refinement approach. %U http://dblp.uni-trier.de/db/conf/amcc/acc2016.html#LeongP16 %@ 978-1-4673-8682-1

@inproceedings{conf/amcc/LeongP16, added-at = {2019-06-02T00:00:00.000+0200}, author = {Leong, Yoke Peng and Prabhakar, Pavithra}, biburl = {https://www.bibsonomy.org/bibtex/23d4d98496dd3494ae445e1dd4fa15e7c/dblp}, booktitle = {ACC}, crossref = {conf/amcc/2016}, ee = {https://www.wikidata.org/entity/Q59947201}, interhash = {11a4f3ec1452199e75c3a7a1ec7322f8}, intrahash = {3d4d98496dd3494ae445e1dd4fa15e7c}, isbn = {978-1-4673-8682-1}, keywords = {dblp}, pages = {5161-5168}, publisher = {IEEE}, timestamp = {2019-10-17T17:03:49.000+0200}, title = {Optimal control with regular objectives using an abstraction-refinement approach.}, url = {http://dblp.uni-trier.de/db/conf/amcc/acc2016.html#LeongP16}, year = 2016 }