Pages that link to "Item:Q5348126"

The following pages link to Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement (Q5348126):

Displaying 10 items.

• Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations (Q2061250) (← links)
• Safe-visor architecture for sandboxing (AI-based) unverified controllers in stochastic cyber-physical systems (Q2074755) (← links)
• Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
• Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations (Q2103672) (← links)
• Similarity quantification for linear stochastic systems: a coupling compensator approach (Q2165973) (← 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)
• Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions (Q5881801) (← links)
• Certified reinforcement learning with logic guidance (Q6136089) (← links)