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.

Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes Using Loop Detection

Kenichi Betsuno, Shota Matsumoto, Kazunori Ueda. Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes Using Loop Detection. In Christian Berger 0001, Mohammad Reza Mousavi, Rafael Wisniewski, editors, Cyber Physical Systems. Design, Modeling, and Evaluation - 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers. Volume 10107 of Lecture Notes in Computer Science, pages 17-30, Springer, 2016. [doi]

Authors

Kenichi Betsuno

This author has not been identified. Look up 'Kenichi Betsuno' in Google

Shota Matsumoto

This author has not been identified. Look up 'Shota Matsumoto' in Google

Kazunori Ueda

This author has not been identified. It may be one of the following persons: Look up 'Kazunori Ueda' in Google
runs on