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.

Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method (verification challenge)

Jawher Jerray, Laurent Fribourg, Étienne André. Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method (verification challenge). In ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020. Volume 74 of EPiC Series in Computing, pages 197-208, EasyChair, 2020. [doi]

Authors

Jawher Jerray

This author has not been identified. Look up 'Jawher Jerray' in Google

Laurent Fribourg

This author has not been identified. Look up 'Laurent Fribourg' in Google

Étienne André

This author has not been identified. Look up 'Étienne André' in Google
runs on