The following pages link to (Q4449238):
Displayed 35 items.
- Weighted finite automata over hemirings (Q388788) (← links)
- General quantitative specification theories with modal transition systems (Q404008) (← links)
- A survey of stochastic \(\omega \)-regular games (Q414898) (← links)
- Simulation distances (Q764284) (← links)
- Weighted automata and weighted logics with discounting (Q840767) (← links)
- Skew and infinitary formal power series (Q860889) (← links)
- Characterize branching distance in terms of \((\eta , \alpha )\)-bisimilarity (Q1004387) (← links)
- SOS specifications for uniformly continuous operators (Q1678172) (← links)
- Polynomial-time algorithms for computing distances of fuzzy transition systems (Q1749476) (← links)
- Model checking games for the quantitative \(\mu \)-calculus (Q1959394) (← links)
- The metric linear-time branching-time spectrum on nondeterministic probabilistic processes (Q1989321) (← links)
- Computing branching distances with quantitative games (Q2210522) (← links)
- Weighted modal transition systems (Q2248057) (← links)
- Logical characterization of branching metrics for nondeterministic probabilistic transition systems (Q2272986) (← links)
- Recursively defined metric spaces without contraction (Q2373743) (← links)
- The quantitative linear-time-branching-time spectrum (Q2453109) (← links)
- Approximating and computing behavioural distances in probabilistic transition systems (Q2503333) (← links)
- Model checking discounted temporal properties (Q2575738) (← links)
- Enhancing Automata Learning by Log-Based Metrics (Q2814131) (← links)
- Weighted LTL with Discounting (Q2914725) (← links)
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi (Q2974795) (← links)
- On Memoryless Quantitative Objectives (Q3088278) (← links)
- Timed Automata Can Always Be Made Implementable (Q3090823) (← links)
- Equational Weighted Tree Transformations with Discounting (Q3098036) (← links)
- (Q3384913) (← links)
- Weighted Automata and Weighted Logics with Discounting (Q3503896) (← links)
- Value Iteration (Q3512436) (← links)
- Quantitative Simulation Games (Q3587251) (← links)
- A Weighted μ-Calculus on Words (Q3637241) (← links)
- Weighted Automata and Weighted Logics (Q5072547) (← links)
- Compositional weak metrics for group key update (Q5111289) (← links)
- On Values of Games (Q5176377) (← links)
- Model Checking Quantitative Linear Time Logic (Q5415664) (← links)
- Measuring and Synthesizing Systems in Probabilistic Environments (Q5501954) (← links)
- Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in $$\mathcal {FL}_0$$ (Q5738984) (← links)