{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,3]],"date-time":"2026-02-03T17:49:39Z","timestamp":1770140979043,"version":"3.49.0"},"publisher-location":"Cham","reference-count":8,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319663340","type":"print"},{"value":"9783319663357","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66335-7_21","type":"book-chapter","created":{"date-parts":[[2017,8,10]],"date-time":"2017-08-10T03:53:48Z","timestamp":1502337228000},"page":"309-313","source":"Crossref","is-referenced-by-count":10,"title":["QUEST: A Tool for State-Space Quantization-Free Synthesis of Symbolic Controllers"],"prefix":"10.1007","author":[{"given":"Pushpak","family":"Jagtap","sequence":"first","affiliation":[]},{"given":"Majid","family":"Zamani","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,11]]},"reference":[{"issue":"3","key":"21_CR1","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1109\/9.989067","volume":"47","author":"D Angeli","year":"2002","unstructured":"Angeli, D.: A Lyapunov approach to incremental stability properties. IEEE Trans. Autom. Control 47(3), 410\u201321 (2002)","journal-title":"IEEE Trans. Autom. Control"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Le Corronc, E., Girard, A., Goessler, G.: Mode sequences as symbolic states in abstractions of incrementally stable switched systems. In: 52nd IEEE Conference on Decision and Control (CDC). pp. 3225\u20133230. IEEE (2013)","DOI":"10.1109\/CDC.2013.6760375"},{"key":"21_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"566","DOI":"10.1007\/978-3-642-14295-6_49","volume-title":"Computer Aided Verification","author":"M Mazo","year":"2010","unstructured":"Mazo, M., Davitian, A., Tabuada, P.: PESSOA: a tool for embedded controller synthesis. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol. 6174, pp. 566\u2013569. Springer, Heidelberg (2010). doi:\n10.1007\/978-3-642-14295-6_49"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"Mouelhi, S., Girard, A., G\u00f6ssler, G.: CoSyMa: a tool for controller synthesis using multi-scale abstractions. In: Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, pp. 83\u201388. ACM (2013)","DOI":"10.1145\/2461328.2461343"},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"Rungger, M., Zamani, M.: SCOTS: a tool for the synthesis of symbolic controllers. In: Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, pp. 99\u2013104. ACM (2016)","DOI":"10.1145\/2883817.2883834"},{"key":"21_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-0224-5","volume-title":"Verification and Control of Hybrid Systems: A Symbolic Approach","author":"P Tabuada","year":"2009","unstructured":"Tabuada, P.: Verification and Control of Hybrid Systems: A Symbolic Approach. Springer Science & Business Media, Heidelberg (2009)"},{"key":"21_CR7","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/j.automatica.2015.03.004","volume":"55","author":"M Zamani","year":"2015","unstructured":"Zamani, M., Abate, A., Girard, A.: Symbolic models for stochastic switched systems: a discretization and a discretization-free approach. Automatica 55, 183\u2013196 (2015)","journal-title":"Automatica"},{"issue":"2","key":"21_CR8","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/s10626-016-0233-6","volume":"27","author":"M Zamani","year":"2017","unstructured":"Zamani, M., Tkachev, I., Abate, A.: Towards scalable synthesis of stochastic control systems. Discrete Event Dyn. Syst. 27(2), 341\u2013369 (2017)","journal-title":"Discrete Event Dyn. Syst."}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66335-7_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,10]],"date-time":"2017-08-10T03:59:08Z","timestamp":1502337548000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66335-7_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319663340","9783319663357"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66335-7_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}