Statistical verification of PCTL using antithetic and stratified samples

Document Details

Document Type
Pub Defense Publication
Publication Date
Aug 28, 2019
Source ID
10.1007/s10703-019-00339-8

Entities

People

  • Geir E. Dullerud
  • Mahesh Viswanathan
  • Matthew P. West
  • Nima Roohi
  • Yu Wang

Organizations

  • Air Force Office of Scientific Research
  • National Science Foundation