On Temporal Logic and Signal Processing

Alexandre Donze (Speaker), Oded Maler, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Scott A. Smolka

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

    Original languageEnglish
    Title of host publicationLarge-Scale Complex IT Systems. Development, Operation and Management - 17th Monterey Workshop 2012
    Number of pages15
    Publication statusPublished - 2012
    EventATVA 2012 -
    Duration: 3 Oct 20126 Oct 2012


    ConferenceATVA 2012

    Research Field

    • Former Research Field - Digital Safety and Security

    Cite this