{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T15:36:10Z","timestamp":1753889770658,"version":"3.41.2"},"reference-count":1,"publisher":"Centre pour la Communication Scientifique Directe (CCSD)","license":[{"start":{"date-parts":[[2012,9,19]],"date-time":"2012-09-19T00:00:00Z","timestamp":1348012800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/arxiv.org\/licenses\/nonexclusive-distrib\/1.0"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>Alternating timed automata on infinite words are considered. The main result\nis a characterization of acceptance conditions for which the emptiness problem\nfor these automata is decidable. This result implies new decidability results\nfor fragments of timed temporal logics. It is also shown that, unlike for MITL,\nthe characterisation remains the same even if no punctual constraints are\nallowed.<\/jats:p>","DOI":"10.2168\/lmcs-8(3:18)2012","type":"journal-article","created":{"date-parts":[[2013,11,29]],"date-time":"2013-11-29T08:17:46Z","timestamp":1385713066000},"source":"Crossref","is-referenced-by-count":1,"title":["Weak Alternating Timed Automata"],"prefix":"10.46298","volume":"Volume 8, Issue 3","author":[{"given":"Pawel","family":"Parys","sequence":"first","affiliation":[]},{"given":"Igor","family":"Walukiewicz","sequence":"additional","affiliation":[]}],"member":"25203","published-online":{"date-parts":[[2012,9,19]]},"reference":[{"key":"434:not-found"}],"container-title":["Logical Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/lmcs.episciences.org\/1214\/pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/lmcs.episciences.org\/1214\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,11]],"date-time":"2023-04-11T20:06:00Z","timestamp":1681243560000},"score":1,"resource":{"primary":{"URL":"https:\/\/lmcs.episciences.org\/1214"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,19]]},"references-count":1,"URL":"https:\/\/doi.org\/10.2168\/lmcs-8(3:18)2012","relation":{"is-same-as":[{"id-type":"arxiv","id":"1208.5909","asserted-by":"subject"},{"id-type":"doi","id":"10.48550\/arXiv.1208.5909","asserted-by":"subject"}]},"ISSN":["1860-5974"],"issn-type":[{"type":"electronic","value":"1860-5974"}],"subject":[],"published":{"date-parts":[[2012,9,19]]},"article-number":"1214"}}