Computing branching distances with quantitative games (Q2210522): Difference between revisions

@@ Property / describes a project that uses @@
+PEPA
@@ Property / describes a project that uses: PEPA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SpaceEx
@@ Property / describes a project that uses: SpaceEx / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TAPAAL
@@ Property / describes a project that uses: TAPAAL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PRISM
@@ Property / describes a project that uses: PRISM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HySAT
@@ Property / describes a project that uses: HySAT / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2020.10.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2982420068
@@ Property / OpenAlex ID: W2982420068 / rank @@
+Normal rank
@@ Property / cites work @@
+The algorithmic analysis of hybrid systems
@@ Property / cites work: The algorithmic analysis of hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Making Weighted Containment Feasible: A Heuristic Based on Simulation and Abstraction
+Normal rank
@@ Property / cites work @@
+Model-checking continuous-time Markov chains
@@ Property / cites work: Model-checking continuous-time Markov chains / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative Refinement for Weighted Modal Transition Systems
+Normal rank
@@ Property / cites work @@
+Weighted modal transition systems
@@ Property / cites work: Weighted modal transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+General Quantitative Specification Theories with Modalities
+Normal rank
@@ Property / cites work @@
+Infinite Runs in Weighted Timed Automata with Energy Constraints
+Normal rank
@@ Property / cites work @@
+Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games
+Normal rank
@@ Property / cites work @@
+Simulation distances
@@ Property / cites work: Simulation distances / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative languages
@@ Property / cites work: Quantitative languages / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative fair simulation games
@@ Property / cites work: Quantitative fair simulation games / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking discounted temporal properties
@@ Property / cites work: Model checking discounted temporal properties / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449238
@@ Property / cites work: Q4449238 / rank @@
+Normal rank
@@ Property / cites work @@
+Metrics for labelled Markov processes
@@ Property / cites work: Metrics for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+An application of games to the completeness problem for formalized theories
+Normal rank
@@ Property / cites work @@
+Positional strategies for mean payoff games
@@ Property / cites work: Positional strategies for mean payoff games / rank @@
+Normal rank
@@ Property / cites work @@
+Compositionality for quantitative specifications
@@ Property / cites work: Compositionality for quantitative specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Q2970258
@@ Property / cites work: Q2970258 / rank @@
+Normal rank
@@ Property / cites work @@
+A linear-time-branching-time spectrum for behavioral specification theories
+Normal rank
@@ Property / cites work @@
+General quantitative specification theories with modal transition systems
+Normal rank
@@ Property / cites work @@
+The quantitative linear-time-branching-time spectrum
+Normal rank
@@ Property / cites work @@
+A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories
+Normal rank
@@ Property / cites work @@
+Computing branching distances using quantitative games
+Normal rank
@@ Property / cites work @@
+Q2911616
@@ Property / cites work: Q2911616 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3230355
@@ Property / cites work: Q3230355 / rank @@
+Normal rank
@@ Property / cites work @@
+HySAT: An efficient proof engine for bounded model checking of hybrid systems
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Approximation Metrics for Discrete and Continuous Systems
+Normal rank
@@ Property / cites work @@
+Structured operational semantics and bisimulation as a congruence
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about time and reliability
@@ Property / cites work: A logic for reasoning about time and reliability / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+HyTech: A model checker for hybrid systems
@@ Property / cites work: HyTech: A model checker for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Modeling and Analysis of Timed Systems
@@ Property / cites work: Formal Modeling and Analysis of Timed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking for real-time systems
@@ Property / cites work: Symbolic model checking for real-time systems / rank @@
+Normal rank
@@ Property / cites work @@
+From Model Checking to Model Measuring
@@ Property / cites work: From Model Checking to Model Measuring / rank @@
+Normal rank
@@ Property / cites work @@
+A Compositional Approach to Performance Modelling
@@ Property / cites work: A Compositional Approach to Performance Modelling / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472227
@@ Property / cites work: Q4472227 / rank @@
+Normal rank
@@ Property / cites work @@
+Metrics for weighted transition systems: axiomatization and complexity
+Normal rank
@@ Property / cites work @@
+Uppaal in a nutshell
@@ Property / cites work: Uppaal in a nutshell / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Borel determinacy
@@ Property / cites work: Borel determinacy / rank @@
+Normal rank
@@ Property / cites work @@
+Recoverability of Communication Protocols--Implications of a Theoretical Study
+Normal rank
@@ Property / cites work @@
+Q4324960
@@ Property / cites work: Q4324960 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative analysis of weighted transition systems
+Normal rank
@@ Property / cites work @@
+An introduction to metric semantics: Operational and denotational models for programming and specification languages
+Normal rank
@@ Property / cites work @@
+A behavioural pseudometric for probabilistic transition systems
+Normal rank
@@ Property / cites work @@
+The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata
+Normal rank
@@ Property / cites work @@
+Q2760238
@@ Property / cites work: Q2760238 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of mean payoff games on graphs
@@ Property / cites work: The complexity of mean payoff games on graphs / rank @@
+Normal rank