Results (2)

  • Conic abstractions for hybrid systems
    Conference paper