Skip to main navigation Skip to search Skip to main content

On the Trade-Off Between Efficiency and Precision of Neural Abstraction

  • Alec Edwards*
  • , Mirco Giacobbe
  • , Alessandro Abate
    • *Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Fingerprint

Dive into the research topics of 'On the Trade-Off Between Efficiency and Precision of Neural Abstraction'. Together they form a unique fingerprint.
Sort by

Keyphrases