Pages that link to "Item:Q832194"

The following pages link to Synthesizing invariant barrier certificates via difference-of-convex programming (Q832194):

Displaying 1 item.

• Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming (Q2105455) (← links)