Pages that link to "Item:Q2871352"

The following pages link to Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes (Q2871352):

Displaying 22 items.

• Characterization and computation of infinite-horizon specifications over Markov processes (Q386604) (← links)
• Reachability for partially observable discrete time stochastic hybrid systems (Q466266) (← links)
• Control synthesis for stochastic systems given automata specifications defined by stochastic sets (Q503162) (← links)
• Dynamic Bayesian networks for formal verification of structured stochastic processes (Q523135) (← links)
• Formal abstraction and synthesis of parametric stochastic processes (Q832046) (← links)
• Compositional abstraction refinement for control synthesis (Q1690521) (← links)
• Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations (Q2061250) (← links)
• Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
• Compositional abstraction-based synthesis for networks of stochastic switched systems (Q2174019) (← links)
• Probabilistic reachability and control synthesis for stochastic switched systems using the tamed Euler method (Q2178210) (← links)
• Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach (Q2178236) (← links)
• Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems (Q2220062) (← links)
• Compositional construction of infinite abstractions for networks of stochastic control systems (Q2280818) (← links)
• Finite horizon discrete models for multi-agent control systems with coupled dynamics (Q2307531) (← links)
• A stochastic games framework for verification and control of discrete time stochastic hybrid systems (Q2628473) (← links)
• On the Relationship Between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context (Q2988377) (← links)
• The Robot Routing Problem for Collecting Aggregate Stochastic Rewards (Q5111626) (← links)
• Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement (Q5348126) (← links)
• Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations (Q5418954) (← links)
• Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions (Q5881801) (← links)
• Compositional synthesis of control barrier certificates for networks of stochastic systems against \(\omega\)-regular specifications (Q6122791) (← links)
• Symbolic control for stochastic systems via finite parity games (Q6122792) (← links)