Pages that link to "Item:Q3564226"

The following pages link to Automated Generation of Optimal Controllers through Model Checking Techniques (Q3564226):

Displaying 1 item.

• CGMurphi: automatic synthesis of numerical controllers for nonlinear hybrid systems (Q397407) (← links)