Pages that link to "Item:Q5466453"

The following pages link to Automata, Languages and Programming (Q5466453):

Displaying 32 items.

• On behavioural pseudometrics and closure ordinals (Q456100) (← links)
• Lattice-valued simulations for quantitative transition systems (Q473367) (← links)
• Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures (Q548479) (← links)
• Metrics for weighted transition systems: axiomatization and complexity (Q549202) (← 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)
• SOS specifications for uniformly continuous operators (Q1678172) (← links)
• Compositionality for quantitative specifications (Q1797783) (← links)
• Model checking games for the quantitative \(\mu \)-calculus (Q1959394) (← links)
• Fixpoint theory -- upside down (Q2233395) (← links)
• A quantified coalgebraic van Benthem theorem (Q2233433) (← 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)
• Approximate bisimulation relations for constrained linear systems (Q2467487) (← links)
• The quantitative linear-time-branching-time spectrum (Q2911616) (← links)
• Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems (Q3012936) (← links)
• Probabilistic Weighted Automata (Q3184677) (← links)
• (Q4373413) (← links)
• (Q4553277) (← links)
• Converging from branching to linear metrics on Markov chains (Q4559599) (← links)
• Up-To Techniques for Behavioural Metrics via Fibrations (Q5009431) (← links)
• Multi-Valued Reasoning about Reactive Systems (Q5060674) (← links)
• Compositional weak metrics for group key update (Q5111289) (← links)
• Model Checking Quantitative Linear Time Logic (Q5415664) (← links)
• A Behavioural Pseudometric based on λ–Bisimilarity (Q5415666) (← links)
• Up-to techniques for behavioural metrics via fibrations (Q6190392) (← links)
• Efficient Algorithms for Omega-Regular Energy Games (Q6488464) (← links)