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.

Techniques for Verified Reachability Analysis of Quasi-Linear Continuous-Time Systems

Andreas Rauh, Julia Kersten, Harald Aschemann. Techniques for Verified Reachability Analysis of Quasi-Linear Continuous-Time Systems. In 24th International Conference on Methods and Models in Automation and Robotics, MMAR 2019, Międzyzdroje, Poland, August 26-29, 2019. pages 18-23, IEEE, 2019. [doi]

Authors

Andreas Rauh

This author has not been identified. Look up 'Andreas Rauh' in Google

Julia Kersten

This author has not been identified. Look up 'Julia Kersten' in Google

Harald Aschemann

This author has not been identified. Look up 'Harald Aschemann' in Google
runs on