• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

A Novel Approach for Solving the BMI Problem in Barrier Certificates Generation.

Xin ChenChao PengWang LinZhengfeng YangYifang ZhangXuandong Li
Published in: CAV (1) (2020)
Keyphrases
  • neural network
  • combinatorial optimization
  • generation process
  • data sets
  • databases
  • real world
  • artificial intelligence
  • image processing
  • lower bound
  • high resolution
  • public key