Pages that link to "Item:Q624936"

The following pages link to Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem (Q624936):

Displaying 22 items.

• On the computational complexity and generalization properties of multi-stage and stage-wise coupled scenario programs (Q313286) (← links)
• Characterization and computation of infinite-horizon specifications over Markov processes (Q386604) (← links)
• Reachability for partially observable discrete time stochastic hybrid systems (Q466266) (← links)
• Performance assessment and design of abstracted models for stochastic hybrid systems through a randomized approach (Q473311) (← links)
• Control synthesis for stochastic systems given automata specifications defined by stochastic sets (Q503162) (← links)
• Quantitative model-checking of controlled discrete-time Markov processes (Q515573) (← links)
• State constrained reachability for stochastic hybrid systems (Q547913) (← links)
• Discrete-time hybrid control in Borel spaces: average cost optimality criterion (Q1746693) (← links)
• A dynamic game approach to distributionally robust safety specifications for stochastic systems (Q1797093) (← links)
• Discrete-time hybrid control in Borel spaces (Q1987330) (← links)
• Lagrangian approximations for stochastic reachability of a target tube (Q2021292) (← links)
• Applications of stochastic modeling in air traffic management: methods, challenges and opportunities for solving air traffic problems under uncertainty (Q2030538) (← links)
• Safety of stochastic systems: an analytic and computational approach (Q2065176) (← links)
• Risk-averse autonomous systems: a brief history and recent developments from the perspective of optimal control (Q2082497) (← links)
• Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
• Robustly complete finite-state abstractions for verification of stochastic systems (Q2112105) (← links)
• State-based confidence bounds for data-driven stochastic reachability using Hilbert space embeddings (Q2123214) (← links)
• Probabilistic reachability and control synthesis for stochastic switched systems using the tamed Euler method (Q2178210) (← links)
• A stochastic games framework for verification and control of discrete time stochastic hybrid systems (Q2628473) (← links)
• Stochastic system controller synthesis for reachability specifications encoded by random sets (Q2628510) (← links)
• Stochastic reachability of a target tube: theory and computation (Q2663957) (← links)
• Optimal retention of the trajectories of a discrete-time stochastic system in a tube: one problem statement (Q6094341) (← links)