A Robust Interpretation of Duration Calculus

Martin Fränzle, Michael Reichhardt Hansen

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    65 Downloads (Pure)
    Original languageEnglish
    Title of host publicationNordic Workshop on Programming Theory 2004
    Number of pages2
    PublisherInformatics and Mathematical Modelling, Technical University of Denmark, DTU
    Publication date2004
    Publication statusPublished - 2004
    EventNordic Workshop on Programming Theory 2004 - Richard Petersens Plads, Building 321, DK-2800 Kgs. Lyngby
    Duration: 1 Jan 2004 → …

    Conference

    ConferenceNordic Workshop on Programming Theory 2004
    CityRichard Petersens Plads, Building 321, DK-2800 Kgs. Lyngby
    Period01/01/2004 → …

    Keywords

    • metric time
    • Temporal logic
    • approximability

    Cite this

    Fränzle, M., & Hansen, M. R. (2004). A Robust Interpretation of Duration Calculus. In Nordic Workshop on Programming Theory 2004 Informatics and Mathematical Modelling, Technical University of Denmark, DTU. http://www.imm.dtu.dk/pubdb/p.php?3350