On synthesizing controllers from bounded-response properties

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.

Download
No fulltext has been uploaded. References only!

DOI
Conference Paper | Published
Author
Maler, Oded; Nickovic, DejanIST Austria; Pnueli,Amir
Series Title
Lecture Notes in Computer Science
Publishing Year
Date Published
2007-01-01
Page
95 - 107
Conference
CAV: Computer Aided Verification
IST-REx-ID

Cite this

Maler O, Nickovic D, Pnueli A. On synthesizing controllers from bounded-response properties. In: Springer; 2007:95-107. doi:1568
Maler, O., Nickovic, D., & Pnueli, A. (2007). On synthesizing controllers from bounded-response properties (pp. 95–107). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/1568
Maler, Oded, Dejan Nickovic, and Amir Pnueli. “On Synthesizing Controllers from Bounded-Response Properties,” 95–107. Springer, 2007. https://doi.org/1568.
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.
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.
Maler, Oded, et al. On Synthesizing Controllers from Bounded-Response Properties. Springer, 2007, pp. 95–107, doi:1568.

Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar