A new metric temporal logic for hybrid systems

    Research output: Chapter in Book/Conference paperConference paper

    3 Citations (Scopus)
    Original languageEnglish
    Title of host publicationTIME'13 20th International Symposium on Temporal Representation and Reasoning
    Place of PublicationUSA
    PublisherIEEE, Institute of Electrical and Electronics Engineers
    Pages73-80
    Volume1
    ISBN (Print)9780769551128
    DOIs
    Publication statusPublished - 2013
    EventTIME'13 20th International Symposium on Temporal Representation and Reasoning - Pensacola, United States
    Duration: 26 Sep 201328 Sep 2013

    Conference

    ConferenceTIME'13 20th International Symposium on Temporal Representation and Reasoning
    CountryUnited States
    CityPensacola
    Period26/09/1328/09/13

    Cite this

    Reynolds, M. (2013). A new metric temporal logic for hybrid systems. In TIME'13 20th International Symposium on Temporal Representation and Reasoning (Vol. 1, pp. 73-80). USA: IEEE, Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/TIME.2013.17