{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T06:28:50Z","timestamp":1750746530112,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":77,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,7,18]],"date-time":"2020-07-18T00:00:00Z","timestamp":1595030400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1853374 and CCF-1901769"],"award-info":[{"award-number":["CCF-1853374 and CCF-1901769"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"U.S. Army Research Office","award":["W911NF-19-1-0054"],"award-info":[{"award-number":["W911NF-19-1-0054"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,7,18]]},"DOI":"10.1145\/3395363.3397387","type":"proceedings-article","created":{"date-parts":[[2020,7,13]],"date-time":"2020-07-13T21:44:18Z","timestamp":1594676658000},"page":"349-362","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Feasible and stressful trajectory generation for mobile robots"],"prefix":"10.1145","author":[{"given":"Carl","family":"Hildebrandt","sequence":"first","affiliation":[{"name":"University of Virginia, USA"}]},{"given":"Sebastian","family":"Elbaum","sequence":"additional","affiliation":[{"name":"University of Virginia, USA"}]},{"given":"Nicola","family":"Bezzo","sequence":"additional","affiliation":[{"name":"University of Virginia, USA"}]},{"given":"Matthew B.","family":"Dwyer","sequence":"additional","affiliation":[{"name":"University of Virginia, USA"}]}],"member":"320","published-online":{"date-parts":[[2020,7,18]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Automatic Generation of SafetyCritical Test Scenarios for Collision Avoidance of Road Vehicles. In 2018 IEEE Intelligent Vehicles Symposium (IV). IEEE, 1326-1333","author":"Althof Matthias","year":"2018","unstructured":"Matthias Althof and Sebastian Lutz . 2018 . Automatic Generation of SafetyCritical Test Scenarios for Collision Avoidance of Road Vehicles. In 2018 IEEE Intelligent Vehicles Symposium (IV). IEEE, 1326-1333 . Matthias Althof and Sebastian Lutz. 2018. Automatic Generation of SafetyCritical Test Scenarios for Collision Avoidance of Road Vehicles. In 2018 IEEE Intelligent Vehicles Symposium (IV). IEEE, 1326-1333."},{"key":"e_1_3_2_1_2_1","unstructured":"Joseph Stiles Beggs. 1983. Kinematics. CRC Press.  Joseph Stiles Beggs. 1983. Kinematics. CRC Press."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970311"},{"volume-title":"Testing object-oriented systems: models, patterns, and tools","author":"Binder Robert","key":"e_1_3_2_1_4_1","unstructured":"Robert Binder . 2000. Testing object-oriented systems: models, patterns, and tools . Addison-Wesley Professional . 745-746 pages. Robert Binder. 2000. Testing object-oriented systems: models, patterns, and tools. Addison-Wesley Professional. 745-746 pages."},{"key":"e_1_3_2_1_5_1","unstructured":"Brian Garrett-Glaser. 2019. Avionics-Drone Delivery Crash in Switzerland Raises Safety Concerns As UPS Forms Subsidiary. https:\/\/www.aviationtoday.com\/ 2019 \/ 08\/08\/drone-delivery-crash-in-switzerland-raises-safety-concerns\/. [Online; accessed 5-November-2019].  Brian Garrett-Glaser. 2019. Avionics-Drone Delivery Crash in Switzerland Raises Safety Concerns As UPS Forms Subsidiary. https:\/\/www.aviationtoday.com\/ 2019 \/ 08\/08\/drone-delivery-crash-in-switzerland-raises-safety-concerns\/. [Online; accessed 5-November-2019]."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7798268"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-4120-8_27"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Anders Lyhne Christensen Rehan O'Grady Mauro Birattari and Marco Dorigo. 2008. Fault detection in autonomous robots based on fault injection and learning. Autonomous Robots 24 1 ( 2008 ) 49-67.  Anders Lyhne Christensen Rehan O'Grady Mauro Birattari and Marco Dorigo. 2008. Fault detection in autonomous robots based on fault injection and learning. Autonomous Robots 24 1 ( 2008 ) 49-67.","DOI":"10.1007\/s10514-007-9060-9"},{"key":"e_1_3_2_1_9_1","volume-title":"CARLA: An open urban driving simulator. arXiv preprint arXiv:1711.03938 ( 2017 ).","author":"Dosovitskiy Alexey","year":"2017","unstructured":"Alexey Dosovitskiy , German Ros , Felipe Codevilla , Antonio Lopez , and Vladlen Koltun . 2017 . CARLA: An open urban driving simulator. arXiv preprint arXiv:1711.03938 ( 2017 ). Alexey Dosovitskiy, German Ros, Felipe Codevilla, Antonio Lopez, and Vladlen Koltun. 2017. CARLA: An open urban driving simulator. arXiv preprint arXiv:1711.03938 ( 2017 )."},{"key":"e_1_3_2_1_10_1","volume-title":"Seshia","author":"Dreossi Tommaso","year":"2017","unstructured":"Tommaso Dreossi , Alexandre Donz\u00e9 , and Sanjit A . Seshia . 2017 . Compositional Falsification of Cyber-Physical Systems with Machine Learning Components . arXiv: 1703.00978 [cs.SY] Tommaso Dreossi, Alexandre Donz\u00e9, and Sanjit A. Seshia. 2017. Compositional Falsification of Cyber-Physical Systems with Machine Learning Components. arXiv: 1703.00978 [cs.SY]"},{"key":"e_1_3_2_1_11_1","volume-title":"Seshia","author":"Dreossi Tommaso","year":"2017","unstructured":"Tommaso Dreossi , Shromona Ghosh , Alberto Sangiovanni-Vincentelli , and Sanjit A . Seshia . 2017 . Systematic Testing of Convolutional Neural Networks for Autonomous Driving . arXiv: 1708.03309 [cs.CV] Tommaso Dreossi, Shromona Ghosh, Alberto Sangiovanni-Vincentelli, and Sanjit A. Seshia. 2017. Systematic Testing of Convolutional Neural Networks for Autonomous Driving. arXiv: 1708.03309 [cs.CV]"},{"volume-title":"Kinematic design of machines and mechanisms","author":"Eckhardt Homer D","key":"e_1_3_2_1_12_1","unstructured":"Homer D Eckhardt . 1998. Kinematic design of machines and mechanisms . McGraw-Hill New York . Homer D Eckhardt. 1998. Kinematic design of machines and mechanisms. McGraw-Hill New York."},{"key":"e_1_3_2_1_13_1","volume-title":"Unity game engine-oficial site. Online][Cited","author":"Engine Unity Game","year":"2008","unstructured":"Unity Game Engine . 2008. Unity game engine-oficial site. Online][Cited : October 9, 2008 .] http:\/\/unity3d. com ( 2008 ), 1534-4320. Unity Game Engine. 2008. Unity game engine-oficial site. Online][Cited: October 9, 2008.] http:\/\/unity3d. com ( 2008 ), 1534-4320."},{"key":"e_1_3_2_1_14_1","unstructured":"Michelle Chaka Eric Thorn Shawn Kimmel. 2018. A Framework for Automated Driving System Testable Cases and Scenarios. https:\/\/www.nhtsa.gov\/sites\/nhtsa. dot.gov\/files\/documents\/13882-automateddrivingsystems_092618_v1a_tag.pdf.  Michelle Chaka Eric Thorn Shawn Kimmel. 2018. A Framework for Automated Driving System Testable Cases and Scenarios. https:\/\/www.nhtsa.gov\/sites\/nhtsa. dot.gov\/files\/documents\/13882-automateddrivingsystems_092618_v1a_tag.pdf."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314633"},{"key":"e_1_3_2_1_17_1","volume-title":"Scenic: Language-based scene generation. arXiv preprint arXiv","author":"Fremont Daniel J","year":"2018","unstructured":"Daniel J Fremont , Xiangyu Yue , Tommaso Dreossi , Shromona Ghosh , Alberto L Sangiovanni-Vincentelli , and Sanjit A Seshia . 2018 . Scenic: Language-based scene generation. arXiv preprint arXiv : 1809. 09310 ( 2018 ). Daniel J Fremont, Xiangyu Yue, Tommaso Dreossi, Shromona Ghosh, Alberto L Sangiovanni-Vincentelli, and Sanjit A Seshia. 2018. Scenic: Language-based scene generation. arXiv preprint arXiv: 1809. 09310 ( 2018 )."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338942"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330566"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1474-6670(17)59465-3"},{"volume-title":"Hands-on machine learning with Scikit-Learn and TensorFlow: concepts, tools, and techniques to build intelligent systems. \" O'Reilly Media","author":"G\u00e9ron Aur\u00e9lien","key":"e_1_3_2_1_21_1","unstructured":"Aur\u00e9lien G\u00e9ron . 2017. Hands-on machine learning with Scikit-Learn and TensorFlow: concepts, tools, and techniques to build intelligent systems. \" O'Reilly Media , Inc .\". Aur\u00e9lien G\u00e9ron. 2017. Hands-on machine learning with Scikit-Learn and TensorFlow: concepts, tools, and techniques to build intelligent systems. \" O'Reilly Media, Inc.\"."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.3182\/20080706-5-KR-1001.01514"},{"key":"e_1_3_2_1_23_1","volume-title":"FlightGoggles: Photorealistic Sensor Simulation for Perception-driven Robotics using Photogrammetry and Virtual Reality. arXiv preprint arXiv","author":"Guerra Winter","year":"1905","unstructured":"Winter Guerra , Ezra Tal , Varun Murali , Gilhyun Ryou , and Sertac Karaman . 2019. FlightGoggles: Photorealistic Sensor Simulation for Perception-driven Robotics using Photogrammetry and Virtual Reality. arXiv preprint arXiv : 1905 . 11377 ( 2019 ). Winter Guerra, Ezra Tal, Varun Murali, Gilhyun Ryou, and Sertac Karaman. 2019. FlightGoggles: Photorealistic Sensor Simulation for Perception-driven Robotics using Photogrammetry and Virtual Reality. arXiv preprint arXiv: 1905. 11377 ( 2019 )."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2016.7795548"},{"volume-title":"Advances in control, communication networks, and transportation systems","author":"Hwang Inseok","key":"e_1_3_2_1_25_1","unstructured":"Inseok Hwang , Du\u0161an M Stipanovi\u0107 , and Claire J Tomlin . 2005. Polytopic approximations of reachable sets applied to linear dynamic games and a class of nonlinear systems . In Advances in control, communication networks, and transportation systems . Springer , 3-19. Inseok Hwang, Du\u0161an M Stipanovi\u0107, and Claire J Tomlin. 2005. Polytopic approximations of reachable sets applied to linear dynamic games and a class of nonlinear systems. In Advances in control, communication networks, and transportation systems. Springer, 3-19."},{"key":"e_1_3_2_1_26_1","volume-title":"CNN Business-Tesla on Autopilot crashed when the driver's hands were not detected on the wheel. https:\/\/www.cnn.com\/ 2019 \/05\/ 16\/cars\/tesla-autopilot-crash\/index.html. [Online","author":"Wattles Jackie","year":"2019","unstructured":"Jackie Wattles . 2019. CNN Business-Tesla on Autopilot crashed when the driver's hands were not detected on the wheel. https:\/\/www.cnn.com\/ 2019 \/05\/ 16\/cars\/tesla-autopilot-crash\/index.html. [Online ; accessed 5- November - 2019 ]. Jackie Wattles. 2019. CNN Business-Tesla on Autopilot crashed when the driver's hands were not detected on the wheel. https:\/\/www.cnn.com\/ 2019 \/05\/ 16\/cars\/tesla-autopilot-crash\/index.html. [Online; accessed 5-November-2019]."},{"volume-title":"Theory of applied robotics: kinematics, dynamics, and control","author":"Jazar Reza N","key":"e_1_3_2_1_27_1","unstructured":"Reza N Jazar . 2010. Theory of applied robotics: kinematics, dynamics, and control . Springer Science & Business Media . Reza N Jazar. 2010. Theory of applied robotics: kinematics, dynamics, and control. Springer Science & Business Media."},{"key":"e_1_3_2_1_28_1","volume-title":"Karl Rosaen, and Ram Vasudevan.","author":"Johnson-Roberson Matthew","year":"2016","unstructured":"Matthew Johnson-Roberson , Charles Barto , Rounak Mehta , Sharath Nittur Sridhar , Karl Rosaen, and Ram Vasudevan. 2016 . Driving in the matrix: Can virtual worlds replace human-generated annotations for real world tasks? arXiv preprint arXiv: 1610. 01983 ( 2016 ). Matthew Johnson-Roberson, Charles Barto, Rounak Mehta, Sharath Nittur Sridhar, Karl Rosaen, and Ram Vasudevan. 2016. Driving in the matrix: Can virtual worlds replace human-generated annotations for real world tasks? arXiv preprint arXiv: 1610. 01983 ( 2016 )."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/70.508439"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2968478.2968498"},{"key":"e_1_3_2_1_31_1","volume-title":"Junghwan Rhee, Fan Fei, Zhan Tu, Gregory Walkup, Xiangyu Zhang, Xinyan Deng, and Dongyan Xu.","author":"Kim Taegyu","year":"2019","unstructured":"Taegyu Kim , Chung Hwan Kim , Junghwan Rhee, Fan Fei, Zhan Tu, Gregory Walkup, Xiangyu Zhang, Xinyan Deng, and Dongyan Xu. 2019 . RVFUZZER: ifnding input validation bugs in robotic vehicles through control-guided testing. In 28th {USENIX} Security Symposium ({USENIX} Security 19). 425-442. Taegyu Kim, Chung Hwan Kim, Junghwan Rhee, Fan Fei, Zhan Tu, Gregory Walkup, Xiangyu Zhang, Xinyan Deng, and Dongyan Xu. 2019. RVFUZZER: ifnding input validation bugs in robotic vehicles through control-guided testing. In 28th {USENIX} Security Symposium ({USENIX} Security 19). 425-442."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.4271\/2016-01-0128"},{"key":"e_1_3_2_1_33_1","unstructured":"Kurt Barnhart. 2015. Partners Kansas State University Salina and Westar Energy build one of the largest enclosed flight facilities for UAS in the nation. https: \/\/www.k-state.edu\/media\/newsreleases\/oct15\/pavilion101415.html. [Online; accessed 22-August-2019].  Kurt Barnhart. 2015. Partners Kansas State University Salina and Westar Energy build one of the largest enclosed flight facilities for UAS in the nation. https: \/\/www.k-state.edu\/media\/newsreleases\/oct15\/pavilion101415.html. [Online; accessed 22-August-2019]."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2006.377036"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/EEESym.2012.6258612"},{"volume-title":"2010 IEEE Computer Society Conference on Computer Vision and Pattern Recognition. 1688-1695","author":"Liebelt J.","key":"e_1_3_2_1_36_1","unstructured":"J. Liebelt and C. Schmid . 2010. Multi-view object class detection with a 3D geometric model . In 2010 IEEE Computer Society Conference on Computer Vision and Pattern Recognition. 1688-1695 . J. Liebelt and C. Schmid. 2010. Multi-view object class detection with a 3D geometric model. In 2010 IEEE Computer Society Conference on Computer Vision and Pattern Recognition. 1688-1695."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCIAIG.2011.2163692"},{"key":"e_1_3_2_1_38_1","volume-title":"https:\/\/flightgoggles. mit.edu. [Online","author":"Massachusetts Institute of Technology. 2019. Flight Goggles.","year":"2020","unstructured":"Massachusetts Institute of Technology. 2019. Flight Goggles. https:\/\/flightgoggles. mit.edu. [Online ; accessed 01- January - 2020 ]. Massachusetts Institute of Technology. 2019. Flight Goggles. https:\/\/flightgoggles. mit.edu. [Online; accessed 01-January-2020]."},{"key":"e_1_3_2_1_39_1","volume-title":"https:\/\/www.mathworks.com\/products\/ matlab\/matlab-and-python.html. [Online","author":"Python Matlab","year":"2020","unstructured":"Mathworks. 2020. Matlab and Python . https:\/\/www.mathworks.com\/products\/ matlab\/matlab-and-python.html. [Online ; accessed 26- January - 2020 ]. Mathworks. 2020. Matlab and Python. https:\/\/www.mathworks.com\/products\/ matlab\/matlab-and-python.html. [Online; accessed 26-January-2020]."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39742-4_12"},{"volume-title":"Unreal Engine VR Cookbook: Developing Virtual Reality with UE4","author":"McCafrey Mitch","key":"e_1_3_2_1_41_1","unstructured":"Mitch McCafrey . 2017. Unreal Engine VR Cookbook: Developing Virtual Reality with UE4 . Addison-Wesley Professional . Chater 7 : Character Inverse Kinematics. Mitch McCafrey. 2017. Unreal Engine VR Cookbook: Developing Virtual Reality with UE4. Addison-Wesley Professional. Chater 7 : Character Inverse Kinematics."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980409"},{"volume-title":"Microdrones Inspection Service. https:\/\/www.microdrones. com\/. [Online","year":"2019","key":"e_1_3_2_1_43_1","unstructured":"microdrones. 2019. Microdrones Inspection Service. https:\/\/www.microdrones. com\/. [Online ; accessed 5- November - 2019 ]. microdrones. 2019. Microdrones Inspection Service. https:\/\/www.microdrones. com\/. [Online; accessed 5-November-2019]."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2017.7989173"},{"key":"e_1_3_2_1_46_1","volume-title":"M-Air autonomous aerial vehicle outdoor lab opens. https:\/\/news.umich.edu\/m-air-autonomous-aerial-vehicle-outdoor-labopens\/. [Online","author":"Moore Nicole Casal","year":"2019","unstructured":"Nicole Casal Moore . 2019. M-Air autonomous aerial vehicle outdoor lab opens. https:\/\/news.umich.edu\/m-air-autonomous-aerial-vehicle-outdoor-labopens\/. [Online ; accessed 22- August - 2019 ]. Nicole Casal Moore. 2019. M-Air autonomous aerial vehicle outdoor lab opens. https:\/\/news.umich.edu\/m-air-autonomous-aerial-vehicle-outdoor-labopens\/. [Online; accessed 22-August-2019]."},{"key":"e_1_3_2_1_47_1","volume-title":"Scalable End-to-End Autonomous Vehicle Testing via Rare-event Simulation. arXiv","author":"O'Kelly Matthew","year":"1811","unstructured":"Matthew O'Kelly , Aman Sinha , Hongseok Namkoong , John Duchi , and Russ Tedrake . 2018. Scalable End-to-End Autonomous Vehicle Testing via Rare-event Simulation. arXiv : 1811 . 00145 [cs.LG] Matthew O'Kelly, Aman Sinha, Hongseok Namkoong, John Duchi, and Russ Tedrake. 2018. Scalable End-to-End Autonomous Vehicle Testing via Rare-event Simulation. arXiv: 1811. 00145 [cs.LG]"},{"volume-title":"https:\/\/www.parrot.com\/us\/drones\/anafi. [Online","year":"2019","key":"e_1_3_2_1_48_1","unstructured":"Parrot. 2019. Anafi. https:\/\/www.parrot.com\/us\/drones\/anafi. [Online ; accessed 11- November - 2019 ]. Parrot. 2019. Anafi. https:\/\/www.parrot.com\/us\/drones\/anafi. [Online; accessed 11-November-2019]."},{"key":"e_1_3_2_1_49_1","volume-title":"https:\/\/beamng.gmbh\/research\/. [Online","author":"Bebop","year":"2020","unstructured":"Parrot. 2019. Bebop 2. https:\/\/beamng.gmbh\/research\/. [Online ; accessed 26- January - 2020 ]. Parrot. 2019. Bebop 2. https:\/\/beamng.gmbh\/research\/. [Online; accessed 26-January-2020]."},{"key":"e_1_3_2_1_50_1","volume-title":"https:\/\/developer.parrot.com\/docs\/ olympe\/. [Online","author":"Documentation Olympe","year":"2019","unstructured":"Parrot. 2019. Olympe Documentation . https:\/\/developer.parrot.com\/docs\/ olympe\/. [Online ; accessed 20- November - 2019 ]. Parrot. 2019. Olympe Documentation. https:\/\/developer.parrot.com\/docs\/ olympe\/. [Online; accessed 20-November-2019]."},{"volume-title":"https:\/\/developer.parrot.com\/docs\/sphinx\/ whatissphinx.html. [Online","year":"2019","key":"e_1_3_2_1_51_1","unstructured":"Parrot. 2019. Parrot-Sphinx. https:\/\/developer.parrot.com\/docs\/sphinx\/ whatissphinx.html. [Online ; accessed 22- August - 2019 ]. Parrot. 2019. Parrot-Sphinx. https:\/\/developer.parrot.com\/docs\/sphinx\/ whatissphinx.html. [Online; accessed 22-August-2019]."},{"key":"e_1_3_2_1_52_1","volume-title":"Scikit-learn: Machine Learning in Python. Journal of Machine Learning Research 12 ( 2011 ), 2825-2830.","author":"Pedregosa F.","year":"2011","unstructured":"F. Pedregosa , G. Varoquaux , A. Gramfort , V. Michel , B. Thirion , O. Grisel , M. Blondel , P. Prettenhofer , R. Weiss , V. Dubourg , J. Vanderplas , A. Passos , D. Cournapeau , M. Brucher , M. Perrot , and E. Duchesnay . 2011 . Scikit-learn: Machine Learning in Python. Journal of Machine Learning Research 12 ( 2011 ), 2825-2830. F. Pedregosa, G. Varoquaux, A. Gramfort, V. Michel, B. Thirion, O. Grisel, M. Blondel, P. Prettenhofer, R. Weiss, V. Dubourg, J. Vanderplas, A. Passos, D. Cournapeau, M. Brucher, M. Perrot, and E. Duchesnay. 2011. Scikit-learn: Machine Learning in Python. Journal of Machine Learning Research 12 ( 2011 ), 2825-2830."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.3390\/s19030648"},{"key":"e_1_3_2_1_54_1","volume-title":"A behavior driven approach for sampling rare event situations for autonomous vehicles. CoRR abs\/","author":"Sarkar Atrisha","year":"1903","unstructured":"Atrisha Sarkar and Krzysztof Czarnecki . 2019. A behavior driven approach for sampling rare event situations for autonomous vehicles. CoRR abs\/ 1903 .01539 ( 2019 ). arXiv: 1903.01539 http:\/\/arxiv.org\/abs\/ 1903.01539 Atrisha Sarkar and Krzysztof Czarnecki. 2019. A behavior driven approach for sampling rare event situations for autonomous vehicles. CoRR abs\/ 1903.01539 ( 2019 ). arXiv: 1903.01539 http:\/\/arxiv.org\/abs\/ 1903.01539"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2018.8460692"},{"key":"e_1_3_2_1_56_1","volume-title":"Airsim: High-fidelity visual and physical simulation for autonomous vehicles. In Field and service robotics","author":"Shah Shital","year":"2018","unstructured":"Shital Shah , Debadeepta Dey , Chris Lovett , and Ashish Kapoor . 2018 . Airsim: High-fidelity visual and physical simulation for autonomous vehicles. In Field and service robotics . Springer , 621-635. Shital Shah, Debadeepta Dey, Chris Lovett, and Ashish Kapoor. 2018. Airsim: High-fidelity visual and physical simulation for autonomous vehicles. In Field and service robotics. Springer, 621-635."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC.2016.14"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"crossref","unstructured":"Dimitar Stanev and Konstantinos Moustakas. 2019. Modeling musculoskeletal kinematic and dynamic redundancy using null space projection. PloS one 14 1 ( 2019 ).  Dimitar Stanev and Konstantinos Moustakas. 2019. Modeling musculoskeletal kinematic and dynamic redundancy using null space projection. PloS one 14 1 ( 2019 ).","DOI":"10.1371\/journal.pone.0209171"},{"key":"e_1_3_2_1_59_1","unstructured":"Stanford Artificial Intelligence Laboratory etal [n.d.]. Robotic Operating System. https:\/\/www.ros.org  Stanford Artificial Intelligence Laboratory et al. [n.d.]. Robotic Operating System. https:\/\/www.ros.org"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2015.236"},{"key":"e_1_3_2_1_61_1","volume-title":"PreScan-A Simulation and Verification Environment for Intelligent Vehicle Systems. https:\/\/tass.plm.automation.siemens.com\/prescan. [Online","author":"International TASS","year":"2019","unstructured":"TASS International . 2019. PreScan-A Simulation and Verification Environment for Intelligent Vehicle Systems. https:\/\/tass.plm.automation.siemens.com\/prescan. [Online ; accessed 22- August - 2019 ]. TASS International. 2019. PreScan-A Simulation and Verification Environment for Intelligent Vehicle Systems. https:\/\/tass.plm.automation.siemens.com\/prescan. [Online; accessed 22-August-2019]."},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180220"},{"volume-title":"Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components. In 2018 IEEE Intelligent Vehicles Symposium (IV). 1555-1562","author":"Tuncali C. E.","key":"e_1_3_2_1_63_1","unstructured":"C. E. Tuncali , G. Fainekos , H. Ito , and J. Kapinski . 2018 . Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components. In 2018 IEEE Intelligent Vehicles Symposium (IV). 1555-1562 . C. E. Tuncali, G. Fainekos, H. Ito, and J. Kapinski. 2018. Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components. In 2018 IEEE Intelligent Vehicles Symposium (IV). 1555-1562."},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2016.7795751"},{"key":"e_1_3_2_1_65_1","volume-title":"https:\/\/mcity.umich.edu. [Online","author":"University of Michigan. 2020. Mcity.","year":"2020","unstructured":"University of Michigan. 2020. Mcity. https:\/\/mcity.umich.edu. [Online ; accessed 26- January - 2020 ]. University of Michigan. 2020. Mcity. https:\/\/mcity.umich.edu. [Online; accessed 26-January-2020]."},{"volume-title":"Handbook of unmanned aerial vehicles","author":"Valavanis Kimon P","key":"e_1_3_2_1_66_1","unstructured":"Kimon P Valavanis and George J Vachtsevanos . 2015. Handbook of unmanned aerial vehicles . Springer . Kimon P Valavanis and George J Vachtsevanos. 2015. Handbook of unmanned aerial vehicles. Springer."},{"key":"e_1_3_2_1_67_1","volume-title":"Virtual and real world adaptation for pedestrian detection","author":"Vazquez David","year":"2013","unstructured":"David Vazquez , Antonio M Lopez , Javier Marin , Daniel Ponsa , and David Geronimo . 2013. Virtual and real world adaptation for pedestrian detection . IEEE transactions on pattern analysis and machine intelligence 36, 4 ( 2013 ), 797-809. David Vazquez, Antonio M Lopez, Javier Marin, Daniel Ponsa, and David Geronimo. 2013. Virtual and real world adaptation for pedestrian detection. IEEE transactions on pattern analysis and machine intelligence 36, 4 ( 2013 ), 797-809."},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/3049797.3049818"},{"key":"e_1_3_2_1_69_1","volume-title":"Virginia Tech Drone Park oficially open. https:\/\/vtnews.vt. edu\/articles\/2018\/04\/ictas-droneparkopens. html. [Online","author":"Tech Virginia","year":"2019","unstructured":"Virginia Tech . 2018. Virginia Tech Drone Park oficially open. https:\/\/vtnews.vt. edu\/articles\/2018\/04\/ictas-droneparkopens. html. [Online ; accessed 22- August 2019 ]. Virginia Tech. 2018. Virginia Tech Drone Park oficially open. https:\/\/vtnews.vt. edu\/articles\/2018\/04\/ictas-droneparkopens. html. [Online; accessed 22-August2019]."},{"key":"e_1_3_2_1_70_1","volume-title":"Waymo-Self Driving Car. https:\/\/waymo.com. [Online","author":"Waymo LLC.","year":"2019","unstructured":"Waymo LLC. 2019. Waymo-Self Driving Car. https:\/\/waymo.com. [Online ; accessed 5- November - 2019 ]. Waymo LLC. 2019. Waymo-Self Driving Car. https:\/\/waymo.com. [Online; accessed 5-November-2019]."},{"key":"e_1_3_2_1_71_1","volume-title":"Where the next 10 million miles will take us. https:\/\/medium. com\/waymo\/where-the-next-10-million-miles-will-take-us-de51bebb67d3. [Online","author":"Team Waymo","year":"2019","unstructured":"Waymo Team . 2018. Where the next 10 million miles will take us. https:\/\/medium. com\/waymo\/where-the-next-10-million-miles-will-take-us-de51bebb67d3. [Online ; accessed 1- December - 2019 ]. Waymo Team. 2018. Where the next 10 million miles will take us. https:\/\/medium. com\/waymo\/where-the-next-10-million-miles-will-take-us-de51bebb67d3. [Online; accessed 1-December-2019]."},{"volume-title":"A treatise on the analytical dynamics of particles and rigid bodies","author":"Whittaker Edmund Taylor","key":"e_1_3_2_1_72_1","unstructured":"Edmund Taylor Whittaker . 1988. A treatise on the analytical dynamics of particles and rigid bodies . Cambridge university press . Edmund Taylor Whittaker. 1988. A treatise on the analytical dynamics of particles and rigid bodies. Cambridge university press."},{"volume-title":"Elements of mechanics including kinematics, kinetics and statics, with applications","author":"Wright Thomas Wallace","key":"e_1_3_2_1_73_1","unstructured":"Thomas Wallace Wright . 1898. Elements of mechanics including kinematics, kinetics and statics, with applications . D. Van Nostrand Company . Thomas Wallace Wright. 1898. Elements of mechanics including kinematics, kinetics and statics, with applications. D. Van Nostrand Company."},{"key":"e_1_3_2_1_74_1","unstructured":"Yaroslav S. Yatskiv. 2007. Kinematics and Physics of Celestial Bodies. https: \/\/www.springer.com\/journal\/11963. [ISSN: 0884-5913 ].  Yaroslav S. Yatskiv. 2007. Kinematics and Physics of Celestial Bodies. https: \/\/www.springer.com\/journal\/11963. [ISSN: 0884-5913 ]."},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1109\/AHS.2017.8046382"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2018.8463205"},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238187"},{"key":"e_1_3_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1145\/3241979"}],"event":{"name":"ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Virtual Event USA","acronym":"ISSTA '20"},"container-title":["Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3395363.3397387","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/abs\/10.1145\/3395363.3397387","content-type":"text\/html","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3395363.3397387","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3395363.3397387","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:38:45Z","timestamp":1750199925000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3395363.3397387"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,18]]},"references-count":77,"alternative-id":["10.1145\/3395363.3397387","10.1145\/3395363"],"URL":"https:\/\/doi.org\/10.1145\/3395363.3397387","relation":{},"subject":[],"published":{"date-parts":[[2020,7,18]]},"assertion":[{"value":"2020-07-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}