Ghosh, Bineet, Hobbs, Clara, Xu, Shengjie, Smith, Don, Anderson, James H, Thiagarajan, P S, Berg, Benjamin, Duggirala, Parasara Sridhar, and Chakraborty, Samarjit. Statistical verification of autonomous system controllers under timing uncertainties. Retrieved from https://par.nsf.gov/biblio/10483000. Real-Time Systems 60.1 Web. doi:10.1007/S11241-023-09417-X.

Ghosh, Bineet, Hobbs, Clara, Xu, Shengjie, Smith, Don, Anderson, James H, Thiagarajan, P S, Berg, Benjamin, Duggirala, Parasara Sridhar, & Chakraborty, Samarjit. Statistical verification of autonomous system controllers under timing uncertainties. Real-Time Systems, 60 (1). Retrieved from https://par.nsf.gov/biblio/10483000. https://doi.org/10.1007/S11241-023-09417-X

Ghosh, Bineet, Hobbs, Clara, Xu, Shengjie, Smith, Don, Anderson, James H, Thiagarajan, P S, Berg, Benjamin, Duggirala, Parasara Sridhar, and Chakraborty, Samarjit. "Statistical verification of autonomous system controllers under timing uncertainties". Real-Time Systems 60 (1). Country unknown/Code not available: Springer. https://doi.org/10.1007/S11241-023-09417-X. https://par.nsf.gov/biblio/10483000.

@article{osti_10483000,
place = {Country unknown/Code not available}, title = {Statistical verification of autonomous system controllers under timing uncertainties}, url = {https://par.nsf.gov/biblio/10483000}, DOI = {10.1007/S11241-023-09417-X}, abstractNote = {}, journal = {Real-Time Systems}, volume = {60}, number = {1}, publisher = {Springer}, author = {Ghosh, Bineet and Hobbs, Clara and Xu, Shengjie and Smith, Don and Anderson, James H and Thiagarajan, P S and Berg, Benjamin and Duggirala, Parasara Sridhar and Chakraborty, Samarjit}, }