Results (8)

  • Conic abstractions for hybrid systems
    Conference paper