Model Checking Quantitative Linear Time Logic
DOI10.1016/J.ENTCS.2008.11.019zbMATH Open1286.68313OpenAlexW2128746993MaRDI QIDQ5415664FDOQ5415664
Authors: Marco Faella, Axel Legay, Mariëlle I. A. Stoelinga 
Publication date: 13 May 2014
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2008.11.019
Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Cites Work
- A theory of timed automata
- The complexity of probabilistic verification
- A logic for reasoning about time and reliability
- Model checking of probabilistic and nondeterministic systems
- Title not available (Why is that?)
- An automata-theoretic approach to branching-time model checking
- Testing and generating infinite sequences by a finite automaton
- Title not available (Why is that?)
- Title not available (Why is that?)
- Model Checking Software
- An optimal automata approach to LTL model checking of probabilistic systems
- Title not available (Why is that?)
- Validation of Stochastic Systems
- Automata, Languages and Programming
- Model checking discounted temporal properties
- The Büchi Complementation Saga
Cited In (11)
- Synthesis from component libraries with costs
- Linear-time logics -- a coalgebraic perspective
- On High-Quality Synthesis
- Symbolic Model Checking in Non-Boolean Domains
- Weighted LTL with Discounting
- Model Checking Quantified Computation Tree Logic
- Latticed-LTL synthesis in the presence of noisy inputs
- Quantitative vs. weighted automata
- Parity Automata for Quantitative Linear Time Logics
- On the complexity of verification of time-sensitive distributed systems
- Multi-Valued Reasoning about Reactive Systems
Uses Software
This page was built for publication: Model Checking Quantitative Linear Time Logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5415664)
