On MITL and alternating timed automata on infinite words

TitleOn MITL and alternating timed automata on infinite words
Publication TypeConference Paper
Year of Publication2014
AuthorsBrihaye, T, Geeraerts G, Estiévenart M
Conference NameProceedings of FORMATS 2014, 12th International Conference on {F}ormal {M}odeling and {A}nalysis of {T}imed {S}ystems
Publisher{S}pringer
DOIhttp://dx.doi.org/10.1007/978-3-319-10512-3_6