Pages that link to "Item:Q1606310"

The following pages link to Enhancing model checking in verification by AI techniques (Q1606310):

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)