[{"alternative_title":[],"type":"conference","abstract":[{"lang":"eng"}],"ddc":[],"status":"public","intvolume":" 6605","_id":"3365","user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","oa_version":"Submitted Version","file":[{"creator":"system","file_size":475661,"content_type":"application/pdf","access_level":"open_access","file_name":"IST-2012-77-v1+1_QUASY-_quantitative_synthesis_tool.pdf","checksum":"762e52eb296f6dbfbf2a75d98b8ebaee","date_created":"2018-12-12T10:13:37Z","date_updated":"2020-07-14T12:46:10Z","file_id":"5022","relation":"main_file"}],"pubrep_id":"77","scopus_import":1,"dc":{"type":["info:eu-repo/semantics/conferenceObject","doc-type:conferenceObject","text","http://purl.org/coar/resource_type/c_5794"],"identifier":["https://research-explorer.ista.ac.at/record/3365","https://research-explorer.ista.ac.at/download/3365/5022"],"description":["We present the tool Quasy, a quantitative synthesis tool. Quasy takes qualitative and quantitative specifications and automatically constructs a system that satisfies the qualitative specification and optimizes the quantitative specification, if such a system exists. The user can choose between a system that satisfies and optimizes the specifications (a) under all possible environment behaviors or (b) under the most-likely environment behaviors given as a probability distribution on the possible input sequences. Quasy solves these two quantitative synthesis problems by reduction to instances of 2-player games and Markov Decision Processes (MDPs) with quantitative winning objectives. Quasy can also be seen as a game solver for quantitative games. Most notable, it can solve lexicographic mean-payoff games with 2 players, MDPs with mean-payoff objectives, and ergodic MDPs with mean-payoff parity objectives."],"creator":["Chatterjee, Krishnendu","Henzinger, Thomas A","Jobstmann, Barbara","Singh, Rohit"],"rights":["info:eu-repo/semantics/openAccess"],"source":["Chatterjee K, Henzinger TA, Jobstmann B, Singh R. QUASY: quantitative synthesis tool. In: Vol 6605. Springer; 2011:267-271. doi:10.1007/978-3-642-19835-9_24"],"title":["QUASY: quantitative synthesis tool","LNCS"],"subject":["ddc:000","ddc:005"],"relation":["info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-19835-9_24"],"publisher":["Springer"],"date":["2011"],"language":["eng"]},"day":"29","uri_base":"https://research-explorer.ista.ac.at","has_accepted_license":"1","page":"267 - 271","citation":{"short":"K. Chatterjee, T.A. Henzinger, B. Jobstmann, R. Singh, in:, Springer, 2011, pp. 267–271.","mla":"Chatterjee, Krishnendu, et al. QUASY: Quantitative Synthesis Tool. Vol. 6605, Springer, 2011, pp. 267–71, doi:10.1007/978-3-642-19835-9_24.","chicago":"Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Rohit Singh. “QUASY: Quantitative Synthesis Tool,” 6605:267–71. Springer, 2011. https://doi.org/10.1007/978-3-642-19835-9_24.","ieee":"K. Chatterjee, T. A. Henzinger, B. Jobstmann, and R. Singh, “QUASY: quantitative synthesis tool,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Saarbrucken, Germany, 2011, vol. 6605, pp. 267–271.","apa":"Chatterjee, K., Henzinger, T. A., Jobstmann, B., & Singh, R. (2011). QUASY: quantitative synthesis tool (Vol. 6605, pp. 267–271). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Saarbrucken, Germany: Springer. https://doi.org/10.1007/978-3-642-19835-9_24","ista":"Chatterjee K, Henzinger TA, Jobstmann B, Singh R. 2011. QUASY: quantitative synthesis tool. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 6605, 267–271."},"date_published":"2011-09-29T00:00:00Z","creator":{"login":"apreinsp","id":"4435EBFC-F248-11E8-B48F-1D18A9856A87"},"file_date_updated":"2020-07-14T12:46:10Z","publist_id":"3248","publication_status":"published","department":[{"tree":[{"_id":"ResearchGroups"},{"_id":"IST"}],"_id":"KrCh"},{"_id":"ToHe","tree":[{"_id":"ResearchGroups"},{"_id":"IST"}]}],"date_updated":"2021-01-12T07:42:58Z","dini_type":"doc-type:conferenceObject","date_created":"2018-12-11T12:02:55Z","volume":6605,"author":[{"first_name":"Krishnendu","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","first_name":"Thomas A","last_name":"Henzinger"},{"last_name":"Jobstmann","first_name":"Barbara"},{"first_name":"Rohit","last_name":"Singh"}],"month":"09","quality_controlled":"1","oa":1,"language":[{}],"conference":{"location":"Saarbrucken, Germany","start_date":"2011-03-26","end_date":"2011-04-03","name":"TACAS: Tools and Algorithms for the Construction and Analysis of Systems"}}]