Pages that link to "Item:Q2985871"

The following pages link to Receding horizon control for temporal logic specifications (Q2985871):

Displaying 2 items.

• Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems (Q2986934) (← links)
• Temporal logic model predictive control for discrete-time systems (Q2986939) (← links)