{"file":[{"date_created":"2018-12-12T11:54:08Z","file_id":"5530","content_type":"application/pdf","checksum":"fb7563150231325b00b1718d956f687b","date_updated":"2020-07-14T12:46:43Z","file_size":311065,"file_name":"IST-2009-0004_IST-2009-0004.pdf","relation":"main_file","creator":"system","access_level":"open_access"}],"publication_status":"published","has_accepted_license":"1","date_created":"2018-12-12T11:39:04Z","title":"Probabilistic automata on infinite words: Decidability and undecidability results","page":"17","oa_version":"Published Version","ddc":["005"],"_id":"5392","date_published":"2009-11-02T00:00:00Z","year":"2009","oa":1,"file_date_updated":"2020-07-14T12:46:43Z","pubrep_id":"28","status":"public","department":[{"_id":"KrCh"}],"citation":{"mla":"Chatterjee, Krishnendu. <i>Probabilistic Automata on Infinite Words: Decidability and Undecidability Results</i>. IST Austria, 2009, doi:<a href=\"https://doi.org/10.15479/AT:IST-2009-0004\">10.15479/AT:IST-2009-0004</a>.","apa":"Chatterjee, K. (2009). <i>Probabilistic automata on infinite words: Decidability and undecidability results</i>. IST Austria. <a href=\"https://doi.org/10.15479/AT:IST-2009-0004\">https://doi.org/10.15479/AT:IST-2009-0004</a>","ieee":"K. Chatterjee, <i>Probabilistic automata on infinite words: Decidability and undecidability results</i>. IST Austria, 2009.","ista":"Chatterjee K. 2009. Probabilistic automata on infinite words: Decidability and undecidability results, IST Austria, 17p.","ama":"Chatterjee K. <i>Probabilistic Automata on Infinite Words: Decidability and Undecidability Results</i>. IST Austria; 2009. doi:<a href=\"https://doi.org/10.15479/AT:IST-2009-0004\">10.15479/AT:IST-2009-0004</a>","short":"K. Chatterjee, Probabilistic Automata on Infinite Words: Decidability and Undecidability Results, IST Austria, 2009.","chicago":"Chatterjee, Krishnendu. <i>Probabilistic Automata on Infinite Words: Decidability and Undecidability Results</i>. IST Austria, 2009. <a href=\"https://doi.org/10.15479/AT:IST-2009-0004\">https://doi.org/10.15479/AT:IST-2009-0004</a>."},"publisher":"IST Austria","month":"11","related_material":{"record":[{"relation":"later_version","status":"public","id":"3857"}]},"abstract":[{"text":"We consider probabilistic automata on infinite words with acceptance defined by safety, reachability, Büchi, coBüchi and limit-average conditions. We consider quantitative and qualitative decision problems. We present extensions and adaptations of proofs of [GO09] and present a precise characterization of the decidability and undecidability frontier of the quantitative and qualitative decision problems.","lang":"eng"}],"language":[{"iso":"eng"}],"publication_identifier":{"issn":["2664-1690"]},"type":"technical_report","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"02","date_updated":"2023-02-23T11:45:44Z","doi":"10.15479/AT:IST-2009-0004","author":[{"full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu","last_name":"Chatterjee","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"}],"alternative_title":["IST Austria Technical Report"]}