Pages that link to "Item:Q5892457"
From MaRDI portal
The following pages link to Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games (Q5892457):
Displaying 3 items.
- Safe autonomy under perception uncertainty using chance-constrained temporal logic (Q682357) (← links)
- Augmented finite transition systems as abstractions for control synthesis (Q1693823) (← links)
- Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games (Q5919894) (← links)
