%0 Conference Paper %1 conf/rv/ShivakumarTDS20 %A Shivakumar, Sumukh %A Torfah, Hazem %A Desai, Ankush %A Seshia, Sanjit A. %B RV %D 2020 %E Deshmukh, Jyotirmoy %E Nickovic, Dejan %I Springer %K dblp %P 184-194 %T SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System. %U http://dblp.uni-trier.de/db/conf/rv/rv2020.html#ShivakumarTDS20 %V 12399 %@ 978-3-030-60508-7

@inproceedings{conf/rv/ShivakumarTDS20, added-at = {2022-06-23T00:00:00.000+0200}, author = {Shivakumar, Sumukh and Torfah, Hazem and Desai, Ankush and Seshia, Sanjit A.}, biburl = {https://www.bibsonomy.org/bibtex/243e1e1d879e4f8da0e88e2636a7c17b1/dblp}, booktitle = {RV}, crossref = {conf/rv/2020}, editor = {Deshmukh, Jyotirmoy and Nickovic, Dejan}, ee = {https://doi.org/10.1007/978-3-030-60508-7_10}, interhash = {610709f27868d0f16f06aa6ba9bb5e38}, intrahash = {43e1e1d879e4f8da0e88e2636a7c17b1}, isbn = {978-3-030-60508-7}, keywords = {dblp}, pages = {184-194}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T08:27:44.000+0200}, title = {SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System.}, url = {http://dblp.uni-trier.de/db/conf/rv/rv2020.html#ShivakumarTDS20}, volume = 12399, year = 2020 }