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.

Multiple shooting, CEGAR-based falsification for hybrid systems

Aditya Zutshi 0001, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan, James Kapinski. Multiple shooting, CEGAR-based falsification for hybrid systems. In 2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014. IEEE, 2014. [doi]

Authors

Aditya Zutshi 0001

This author has not been identified. Look up 'Aditya Zutshi 0001' in Google

Jyotirmoy V. Deshmukh

This author has not been identified. Look up 'Jyotirmoy V. Deshmukh' in Google

Sriram Sankaranarayanan

This author has not been identified. It may be one of the following persons: Look up 'Sriram Sankaranarayanan' in Google

James Kapinski

This author has not been identified. Look up 'James Kapinski' in Google
runs on