Bounded Determinization of Timed Automata with Silent Transitions

Dejan Nickovic (Speaker), Florian Lorber, Amnon Rosenmann, Bernhard K. Aichernig

    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, 13th International Conference
    Pages288-304
    Number of pages17
    Publication statusPublished - 2015
    EventFORMATS 2015 -
    Duration: 2 Sept 20154 Sept 2015

    Conference

    ConferenceFORMATS 2015
    Period2/09/154/09/15

    Research Field

    • Former Research Field - Digital Safety and Security

    Cite this