Pages that link to "Item:Q2575738"
From MaRDI portal
The following pages link to Model checking discounted temporal properties (Q2575738):
Displaying 18 items.
- Nondeterministic fuzzy automata with membership values in complete residuated lattices (Q511624) (← links)
- Model checking fuzzy computation tree logic (Q529056) (← links)
- Synthesis from component libraries with costs (Q683714) (← links)
- Quantitative analysis of weighted transition systems (Q710680) (← links)
- Model checking computation tree logic over finite lattices (Q896917) (← links)
- Quantitative model checking of linear-time properties based on generalized possibility measures (Q1697514) (← links)
- Compositionality for quantitative specifications (Q1797783) (← links)
- Computation tree measurement language (CTML) (Q1798671) (← links)
- Model checking games for the quantitative \(\mu \)-calculus (Q1959394) (← links)
- Computing branching distances with quantitative games (Q2210522) (← links)
- Natural strategic ability (Q2289013) (← links)
- Simulation for lattice-valued doubly labeled transition systems (Q2353987) (← links)
- On weighted first-order logics with discounting (Q2453983) (← links)
- Nondeterministic finite automata based on quantum logic: language equivalence relation and robustness (Q2658032) (← links)
- Temporal Specifications with Accumulative Values (Q2946736) (← links)
- Specification and Verification of Multi-Agent Systems (Q3166991) (← links)
- Symbolic Model Checking in Non-Boolean Domains (Q3176389) (← links)
- Model Checking Quantitative Linear Time Logic (Q5415664) (← links)
