Pages that link to "Item:Q5892457"

The following pages link to Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games (Q5892457):

Displaying 7 items.

• Safe autonomy under perception uncertainty using chance-constrained temporal logic (Q682357) (← links)
• Stochastic temporal logic abstractions: challenges and opportunities (Q1631212) (← links)
• Duality-based nested controller synthesis from STL specifications for stochastic linear systems (Q1631235) (← links)
• Augmented finite transition systems as abstractions for control synthesis (Q1693823) (← links)
• Abstraction, discretization, and robustness in temporal logic control of dynamical systems (Q2986982) (← links)
• Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games (Q5919894) (← links)
• Synthesizing permissive winning strategy templates for parity games (Q6535644) (← links)