Pages that link to "Item:Q394460"

The following pages link to Generating exact nonlinear ranking functions by symbolic-numeric hybrid method (Q394460):

Displaying 3 items.

• Synthesizing ranking functions for loop programs via SVM (Q2084940) (← links)
• Reachable set estimation and safety verification of nonlinear systems via iterative sums of squares programming (Q2165452) (← links)
• Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods (Q2418665) (← links)