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.

Statistical Verification of PCTL Using Stratified Samples

Yu Wang 0044, Nima Roohi, Matthew West 0001, Mahesh Viswanathan 0001, Geir E. Dullerud. Statistical Verification of PCTL Using Stratified Samples. In Alessandro Abate, Antoine Girard, Maurice Heemels, editors, 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018. Volume 51 of IFAC-PapersOnLine, pages 85-90, Elsevier, 2018. [doi]

Authors

Yu Wang 0044

This author has not been identified. Look up 'Yu Wang 0044' in Google

Nima Roohi

This author has not been identified. Look up 'Nima Roohi' in Google

Matthew West 0001

This author has not been identified. Look up 'Matthew West 0001' in Google

Mahesh Viswanathan 0001

This author has not been identified. Look up 'Mahesh Viswanathan 0001' in Google

Geir E. Dullerud

This author has not been identified. Look up 'Geir E. Dullerud' in Google
runs on