External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

HyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions

Ibtissem Ben Makhlouf, Norman Hansen, Stefan Kowalewski. HyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions. In Goran Frehse, Matthias Althoff, editors, ARCH@CPSWeek 2016, 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems, Vienna, Austria. Volume 43 of EPiC Series in Computing, pages 68-79, EasyChair, 2016. [doi]

Authors

Ibtissem Ben Makhlouf

This author has not been identified. Look up 'Ibtissem Ben Makhlouf' in Google

Norman Hansen

This author has not been identified. Look up 'Norman Hansen' in Google

Stefan Kowalewski

This author has not been identified. Look up 'Stefan Kowalewski' in Google
runs on