Model checking Quantitative Linear Time Logic

Marco Faella, Axel Legay, Mariëlle Ida Antoinette Stoelinga

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    25 Citations (Scopus)
    92 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 200830 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
    CountryHungary
    CityBudapest
    Period29/03/0830/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

    Cite this