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