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.

An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary

Pavithra Prabhakar, Miriam Garcia Soto. An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary. In Sergiy Bogomolov, Ashish Tiwari, editors, 1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@CAV 2015, San Francisco, CA, USA, July 19, 2015. Volume 37 of EPiC Series in Computing, pages 32-39, EasyChair, 2015. [doi]

Authors

Pavithra Prabhakar

This author has not been identified. Look up 'Pavithra Prabhakar' in Google

Miriam Garcia Soto

This author has not been identified. Look up 'Miriam Garcia Soto' in Google
runs on