%0 Journal Article %1 journals/rts/GhoshHXSATBDC24 %A Ghosh, Bineet %A Hobbs, Clara %A Xu, Shengjie %A Smith, F. Donelson %A Anderson, James H. %A Thiagarajan, P. S. %A Berg, Benjamin %A Duggirala, Parasara Sridhar %A Chakraborty, Samarjit %D 2024 %J Real Time Syst. %K dblp %N 1 %P 108-149 %T Statistical verification of autonomous system controllers under timing uncertainties. %U http://dblp.uni-trier.de/db/journals/rts/rts60.html#GhoshHXSATBDC24 %V 60

@article{journals/rts/GhoshHXSATBDC24, added-at = {2024-05-07T00:00:00.000+0200}, author = {Ghosh, Bineet and Hobbs, Clara and Xu, Shengjie and Smith, F. Donelson and Anderson, James H. and Thiagarajan, P. S. and Berg, Benjamin and Duggirala, Parasara Sridhar and Chakraborty, Samarjit}, biburl = {https://www.bibsonomy.org/bibtex/2350b27bd25a16ce2dd8cb942a767b700/dblp}, ee = {https://doi.org/10.1007/s11241-023-09417-x}, interhash = {56c1b6961d38e9e2f22b7f97b946a253}, intrahash = {350b27bd25a16ce2dd8cb942a767b700}, journal = {Real Time Syst.}, keywords = {dblp}, month = {March}, number = 1, pages = {108-149}, timestamp = {2024-05-13T07:15:04.000+0200}, title = {Statistical verification of autonomous system controllers under timing uncertainties.}, url = {http://dblp.uni-trier.de/db/journals/rts/rts60.html#GhoshHXSATBDC24}, volume = 60, year = 2024 }