Pages that link to "Item:Q710680"

The following pages link to Quantitative analysis of weighted transition systems (Q710680):

Displaying 20 items.

• General quantitative specification theories with modal transition systems (Q404008) (← links)
• Modal transition systems with weight intervals (Q444490) (← links)
• Lattice-valued simulations for quantitative transition systems (Q473367) (← links)
• Nondeterministic fuzzy automata with membership values in complete residuated lattices (Q511624) (← links)
• Metrics for weighted transition systems: axiomatization and complexity (Q549202) (← links)
• A complete approximation theory for weighted transition systems (Q1660779) (← links)
• Compositionality for quantitative specifications (Q1797783) (← links)
• Computing branching distances with quantitative games (Q2210522) (← links)
• Limited approximate bisimulations and the corresponding rough approximations (Q2237122) (← links)
• Weighted modal transition systems (Q2248057) (← links)
• Simulation for lattice-valued doubly labeled transition systems (Q2353987) (← links)
• The quantitative linear-time-branching-time spectrum (Q2453109) (← links)
• Enhancing Automata Learning by Log-Based Metrics (Q2814131) (← links)
• A quantitative characterization of weighted Kripke structures in temporal logic (Q2917301) (← links)
• Timed Automata Can Always Be Made Implementable (Q3090823) (← links)
• Crossing the Bridge between Similar Games (Q3172850) (← links)
• (Q5094149) (← links)
• Battery transition systems (Q5408452) (← links)
• Program Analysis Using Weighted Pushdown Systems (Q5458821) (← links)
• Automata, Languages and Programming (Q5466453) (← links)