[{"alternative_title":["IST Austria Technical Report"],"type":"technical_report","file_date_updated":"2020-07-14T12:46:43Z","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"}],"publisher":"IST Austria","department":[{"_id":"KrCh"}],"publication_status":"published","ddc":["005"],"status":"public","title":"Probabilistic automata on infinite words: Decidability and undecidability results","_id":"5392","year":"2009","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file":[{"file_size":311065,"content_type":"application/pdf","creator":"system","file_name":"IST-2009-0004_IST-2009-0004.pdf","access_level":"open_access","date_created":"2018-12-12T11:54:08Z","date_updated":"2020-07-14T12:46:43Z","checksum":"fb7563150231325b00b1718d956f687b","relation":"main_file","file_id":"5530"}],"oa_version":"Published Version","date_created":"2018-12-12T11:39:04Z","date_updated":"2023-02-23T11:45:44Z","related_material":{"record":[{"status":"public","relation":"later_version","id":"3857"}]},"pubrep_id":"28","author":[{"first_name":"Krishnendu","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu"}],"has_accepted_license":"1","publication_identifier":{"issn":["2664-1690"]},"month":"11","day":"02","page":"17","oa":1,"citation":{"ama":"Chatterjee K. Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. IST Austria; 2009. doi:10.15479/AT:IST-2009-0004","ista":"Chatterjee K. 2009. Probabilistic automata on infinite words: Decidability and undecidability results, IST Austria, 17p.","apa":"Chatterjee, K. (2009). Probabilistic automata on infinite words: Decidability and undecidability results. IST Austria. https://doi.org/10.15479/AT:IST-2009-0004","ieee":"K. Chatterjee, Probabilistic automata on infinite words: Decidability and undecidability results. IST Austria, 2009.","mla":"Chatterjee, Krishnendu. Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. IST Austria, 2009, doi:10.15479/AT:IST-2009-0004.","short":"K. Chatterjee, Probabilistic Automata on Infinite Words: Decidability and Undecidability Results, IST Austria, 2009.","chicago":"Chatterjee, Krishnendu. Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. IST Austria, 2009. https://doi.org/10.15479/AT:IST-2009-0004."},"language":[{"iso":"eng"}],"date_published":"2009-11-02T00:00:00Z","doi":"10.15479/AT:IST-2009-0004"}]