Sign in

Generalizing SDP-Based Barrier Certificate Synthesis to Unbounded Domains by Dropping Archimedean Condition.

Hao WuShenghua FengTing GanJie WangBican XiaNaijun Zhan
Published in: CoRR (2023)
Keyphrases
  • sufficient conditions
  • real world
  • application domains
  • semidefinite programming
  • neural network
  • texture synthesis
  • semi definite programming
  • dynamic programming
  • cross domain
  • functional programs