Quantitative approach for linear temporal logic based on DTMC
From MaRDI portal
Publication:2993083
Recommendations
- A quantitative approach for linear temporal logic based on finite transition systems
- Publication:4945224
- Satisfaction degree for a class of temporal logic formulae based on transition systems
- A quantitative characterization of weighted Kripke structures in temporal logic
- Model checking discounted temporal properties
Cited in
(4)- A design of GPU-based quantitative model checking
- A quantitative approach for linear temporal logic based on finite transition systems
- Satisfaction degree for a class of temporal logic formulae based on transition systems
- On approximation metrics for linear temporal model-checking of stochastic systems
This page was built for publication: Quantitative approach for linear temporal logic based on DTMC
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2993083)