Skip to main navigation Skip to search Skip to main content

Model checking Quantitative Linear Time Logic

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    36   Link opens in a new tab Citations (Scopus)
    227 Downloads (Pure)

    Abstract

    This paper considers QLtl, a quantitative analagon of Ltl and presents algorithms for model checking QLtl over quantitative versions of Kripke structures and Markov chains.
    Original languageUndefined
    Title of host publicationProceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008)
    Place of PublicationAmsterdam
    PublisherElsevier
    Pages61-77
    Number of pages17
    DOIs
    Publication statusPublished - 2008
    Event6th Workshop on Quantitative Aspects of Programming Languages, QAPL 2008 - Budapest, Hungary
    Duration: 29 Mar 2008 → 30 Mar 2008
    Conference number: 6

    Publication series

    NameElectronic Notes in Theoretical Computer Science
    PublisherElsevier
    Number3
    Volume220
    ISSN (Print)1571-0661
    ISSN (Electronic)1571-0661

    Workshop

    Workshop6th Workshop on Quantitative Aspects of Programming Languages, QAPL 2008
    Abbreviated titleQAPL
    Country/TerritoryHungary
    CityBudapest
    Period29/03/08 → 30/03/08

    Keywords

    • EC Grant Agreement nr.: FP7/214755
    • EC Grant Agreement nr.: FP7-ICT-2007-1
    • IR-65425
    • EWI-15214
    • METIS-256471
    • EC Grant Agreement nr.: IST-004527

    Access to Document

      Cite this