Pages that link to "Item:Q5466453"
From MaRDI portal
The following pages link to Automata, Languages and Programming (Q5466453):
Displayed 12 items.
- Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures (Q548479) (← links)
- Quantitative analysis of weighted transition systems (Q710680) (← links)
- Robustness of temporal logic specifications for continuous-time signals (Q732015) (← links)
- Approximate simulation relations for hybrid systems (Q939013) (← links)
- Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes (Q974113) (← links)
- Approximate equivalence and synchronization of metric transition systems (Q1004092) (← links)
- Characterize branching distance in terms of \((\eta , \alpha )\)-bisimilarity (Q1004387) (← links)
- Model checking games for the quantitative \(\mu \)-calculus (Q1959394) (← links)
- Recursively defined metric spaces without contraction (Q2373743) (← links)
- Approximate bisimulation relations for constrained linear systems (Q2467487) (← links)
- Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems (Q3012936) (← links)
- Probabilistic Weighted Automata (Q3184677) (← links)