%0 Conference Paper %1 journals/corr/ChasinsN16 %A Chasins, Sarah E. %A Newcomb, Julie L. %B SYNT@CAV %D 2016 %E Piskac, Ruzica %E Dimitrova, Rayna %K dblp %P 3-20 %T Using SyGuS to Synthesize Reactive Motion Plans. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs229.html#ChasinsN16 %V 229

@inproceedings{journals/corr/ChasinsN16, added-at = {2021-08-16T00:00:00.000+0200}, author = {Chasins, Sarah E. and Newcomb, Julie L.}, biburl = {https://www.bibsonomy.org/bibtex/25a96a222e75edec41c6bd723a0c330a8/dblp}, booktitle = {SYNT@CAV}, crossref = {journals/corr/PiskacD16}, editor = {Piskac, Ruzica and Dimitrova, Rayna}, ee = {http://arxiv.org/abs/1611.07620}, interhash = {a81692afef0249edfb86f8a9303e0ab6}, intrahash = {5a96a222e75edec41c6bd723a0c330a8}, keywords = {dblp}, pages = {3-20}, series = {EPTCS}, timestamp = {2024-04-10T12:33:53.000+0200}, title = {Using SyGuS to Synthesize Reactive Motion Plans.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs229.html#ChasinsN16}, volume = 229, year = 2016 }