Sign in

Tractable higher-order under-approximating AE extensions for non-linear systems.

Eric GoubaultSylvie Putot
Published in: ADHS (2021)
Keyphrases
  • higher order
  • natural images
  • high order
  • artificial intelligence
  • expert systems
  • software engineering
  • information retrieval systems
  • computer systems
  • knowledge based systems
  • np complete