The following pages link to (Q2970258):
Displayed 6 items.
- Metrics for weighted transition systems: axiomatization and complexity (Q549202) (← links)
- Computing branching distances with quantitative games (Q2210522) (← links)
- Weighted modal transition systems (Q2248057) (← links)
- The quantitative linear-time-branching-time spectrum (Q2453109) (← links)
- Timed Automata Can Always Be Made Implementable (Q3090823) (← links)
- On the Verification of Weighted Kripke Structures Under Uncertainty (Q6104802) (← links)