Combining the Temporal and Epistemic Dimensions for MTL Monitoring

Eugene Asarin, Oded Maler, Dejan Nickovic (Speaker), Dogan Ulus

    Research output: Chapter in Book or Conference ProceedingsConference Proceedings with Oral Presentationpeer-review

    Original languageEnglish
    Title of host publicationFormal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
    Pages207-223
    Number of pages17
    Publication statusPublished - 2017
    EventFORMATS 2017 -
    Duration: 5 Sept 20177 Sept 2017

    Conference

    ConferenceFORMATS 2017
    Period5/09/177/09/17

    Research Field

    • Not defined

    Cite this