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.

Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems

Edward Kim, Stanley Bak, Parasara Sridhar Duggirala. Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems. In Catalin Dima, Mahsa Shirmohammadi, editors, Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings. Volume 12860 of Lecture Notes in Computer Science, pages 50-66, Springer, 2021. [doi]

Authors

Edward Kim

This author has not been identified. Look up 'Edward Kim' in Google

Stanley Bak

This author has not been identified. Look up 'Stanley Bak' in Google

Parasara Sridhar Duggirala

This author has not been identified. Look up 'Parasara Sridhar Duggirala' in Google
runs on