Pages that link to "Item:Q3000664"

The following pages link to Model Repair for Probabilistic Systems (Q3000664):

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)