A modal characterization of alternating approximate bisimilarity (Q479808): Difference between revisions

@@ Property / cites work @@
+A final coalgebra theorem
@@ Property / cites work: A final coalgebra theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q5692280
@@ Property / cites work: Q5692280 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic models for nonlinear control systems affected by disturbances
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+A behavioural pseudometric for probabilistic transition systems
+Normal rank
@@ Property / cites work @@
+Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Synthesis of switching controllers using approximately bisimilar multiscale abstractions
+Normal rank
@@ Property / cites work @@
+Metrics for labelled Markov processes
@@ Property / cites work: Metrics for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Approximately Bisimilar Finite Abstractions of Stable Linear Systems
+Normal rank
@@ Property / cites work @@
+Dealing with Nondeterminism in Symbolic Control
@@ Property / cites work: Dealing with Nondeterminism in Symbolic Control / rank @@
+Normal rank
@@ Property / cites work @@
+Approximation Metrics for Discrete and Continuous Systems
+Normal rank
@@ Property / cites work @@
+Hierarchical control system design using approximate simulation
+Normal rank
@@ Property / cites work @@
+Approximate bisimulation: a bridge between computer science and control theory
+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 @@
+Time abstracted bisimulation: Implicit specifications and decidability
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations
+Normal rank
@@ Property / cites work @@
+Approximately bisimilar symbolic models for nonlinear control systems
+Normal rank
@@ Property / cites work @@
+An Approximate Simulation Approach to Symbolic Control
+Normal rank
@@ Property / cites work @@
+Linear Time Logic Control of Discrete-Time Linear Systems
+Normal rank
@@ Property / cites work @@
+Bisimulation indexes and their applications
@@ Property / cites work: Bisimulation indexes and their applications / rank @@
+Normal rank
@@ Property / cites work @@
+\(\pi\)-calculus with noisy channels
@@ Property / cites work: \(\pi\)-calculus with noisy channels / rank @@
+Normal rank
@@ Property / cites work @@
+Theoretical and experimental studies of heat transfer with moving phase-change interface in freezing and thawing of porous potting soil
+Normal rank
@@ Property / cites work @@
+A Behavioural Pseudometric based on λ–Bisimilarity
+Normal rank
@@ Property / cites work @@
+Characterize branching distance in terms of \((\eta , \alpha )\)-bisimilarity
+Normal rank
@@ Property / cites work @@
+Approximating Markov processes through filtration
@@ Property / cites work: Approximating Markov processes through filtration / rank @@
+Normal rank