Di Giampaolo, Barbara; Geeraerts, Gilles; Raskin, Jean-François; Sznajder, Nathalie Safraless procedures for timed specifications. (English) Zbl 1290.68070 Chatterjee, Krishnendu (ed.) et al., Formal modeling and analysis of timed systems. 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8–10, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15296-2/pbk). Lecture Notes in Computer Science 6246, 2-22 (2010). Summary: This paper presents extensions of Safraless algorithms proposed in the literature for automata on infinite untimed words to the case of automata on infinite timed words.For the entire collection see [Zbl 1195.68001]. Cited in 4 Documents MSC: 68Q45 Formal languages and automata 68Q60 Specification and verification (program logics, model checking, etc.) PDF BibTeX XML Cite \textit{B. Di Giampaolo} et al., Lect. Notes Comput. Sci. 6246, 2--22 (2010; Zbl 1290.68070) Full Text: DOI