{"citation":{"ieee":"O. Maler, D. Nickovic, and A. Pnueli, “On synthesizing controllers from bounded-response properties,” presented at the CAV: Computer Aided Verification, 2007, pp. 95–107.","mla":"Maler, Oded, et al. <i>On Synthesizing Controllers from Bounded-Response Properties</i>. Springer, 2007, pp. 95–107, doi:<a href=\"https://doi.org/1568\">1568</a>.","chicago":"Maler, Oded, Dejan Nickovic, and Amir Pnueli. “On Synthesizing Controllers from Bounded-Response Properties,” 95–107. Springer, 2007. <a href=\"https://doi.org/1568\">https://doi.org/1568</a>.","ama":"Maler O, Nickovic D, Pnueli A. On synthesizing controllers from bounded-response properties. In: Springer; 2007:95-107. doi:<a href=\"https://doi.org/1568\">1568</a>","ista":"Maler O, Nickovic D, Pnueli A. 2007. On synthesizing controllers from bounded-response properties. CAV: Computer Aided Verification, Lecture Notes in Computer Science, , 95–107.","apa":"Maler, O., Nickovic, D., &#38; Pnueli, A. (2007). On synthesizing controllers from bounded-response properties (pp. 95–107). Presented at the CAV: Computer Aided Verification, Springer. <a href=\"https://doi.org/1568\">https://doi.org/1568</a>","short":"O. Maler, D. Nickovic, A. Pnueli, in:, Springer, 2007, pp. 95–107."},"type":"conference","_id":"4370","doi":"1568","month":"01","title":"On synthesizing controllers from bounded-response properties","conference":{"name":"CAV: Computer Aided Verification"},"publication_status":"published","publisher":"Springer","page":"95 - 107","author":[{"last_name":"Maler","first_name":"Oded","full_name":"Maler, Oded"},{"last_name":"Nickovic","id":"41BCEE5C-F248-11E8-B48F-1D18A9856A87","full_name":"Dejan Nickovic","first_name":"Dejan"},{"last_name":"Pnueli","full_name":"Pnueli,Amir","first_name":"Amir"}],"extern":1,"publist_id":"1086","year":"2007","day":"01","quality_controlled":0,"date_published":"2007-01-01T00:00:00Z","alternative_title":["Lecture Notes in Computer Science"],"date_updated":"2021-01-12T07:56:28Z","date_created":"2018-12-11T12:08:30Z","status":"public"}