%0 Conference Paper %1 conf/dars/LivingstonP14 %A Livingston, Scott C. %A Prabhakar, Pavithra %B DARS %D 2014 %E Chong, Nak Young %E Cho, Young-Jo %I Springer %K dblp %P 371-385 %T Decoupled Formal Synthesis for Almost Separable Systems with Temporal Logic Specifications. %U http://dblp.uni-trier.de/db/conf/dars/dars2014.html#LivingstonP14 %V 112 %@ 978-4-431-55877-4

@inproceedings{conf/dars/LivingstonP14, added-at = {2017-05-23T00:00:00.000+0200}, author = {Livingston, Scott C. and Prabhakar, Pavithra}, biburl = {https://www.bibsonomy.org/bibtex/2316293e585ea052cda73157aff0b6037/dblp}, booktitle = {DARS}, crossref = {conf/dars/2014}, editor = {Chong, Nak Young and Cho, Young-Jo}, ee = {https://doi.org/10.1007/978-4-431-55879-8_26}, interhash = {f20cced31d22959cceeba81407c2e08f}, intrahash = {316293e585ea052cda73157aff0b6037}, isbn = {978-4-431-55877-4}, keywords = {dblp}, pages = {371-385}, publisher = {Springer}, series = {Springer Tracts in Advanced Robotics}, timestamp = {2018-05-05T11:38:01.000+0200}, title = {Decoupled Formal Synthesis for Almost Separable Systems with Temporal Logic Specifications.}, url = {http://dblp.uni-trier.de/db/conf/dars/dars2014.html#LivingstonP14}, volume = 112, year = 2014 }