{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T03:25:48Z","timestamp":1743045948056,"version":"3.40.3"},"publisher-location":"Cham","reference-count":41,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031742330"},{"type":"electronic","value":"9783031742347"}],"license":[{"start":{"date-parts":[[2024,10,12]],"date-time":"2024-10-12T00:00:00Z","timestamp":1728691200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,12]],"date-time":"2024-10-12T00:00:00Z","timestamp":1728691200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-74234-7_5","type":"book-chapter","created":{"date-parts":[[2024,10,11]],"date-time":"2024-10-11T10:01:58Z","timestamp":1728640918000},"page":"70-88","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Sampling-Based and\u00a0Gradient-Based Efficient Scenario Generation"],"prefix":"10.1007","author":[{"given":"Vidisha","family":"Kudalkar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Navid","family":"Hashemi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shilpa","family":"Mukhopadhyay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Swapnil","family":"Mallick","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christof","family":"Budnik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Parinitha","family":"Nagaraja","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jyotirmoy V.","family":"Deshmukh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,10,12]]},"reference":[{"key":"5_CR1","unstructured":"Asam openscenario. https:\/\/www.asam.net\/standards\/detail\/openscenario\/. Accessed 19 May 2024"},{"key":"5_CR2","unstructured":"AG, S.: Siemens offers real-time locating system for a safe production environment and optimized production processes (2020). https:\/\/press.siemens.com\/global\/en\/pressrelease\/siemens-offers-real-time-locating-system-safe-production-environment-and-optimized"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1007\/978-3-319-21668-3_21","volume-title":"Computer Aided Verification","author":"T Akazaki","year":"2015","unstructured":"Akazaki, T., Hasuo, I.: Time robustness in MTL and expressivity in hybrid system falsification. In: Kroening, D., P\u0103s\u0103reanu, C.S. (eds.) CAV 2015. LNCS, vol. 9207, pp. 356\u2013374. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21668-3_21"},{"key":"5_CR4","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Bak, S., Betz, J., Chawla, A., Zheng, H., Mangharam, R.: Stress testing autonomous racing overtake maneuvers with RRT. In: 2022 IEEE Intelligent Vehicles Symposium (IV), pp. 806\u2013812. IEEE (2022)","DOI":"10.1109\/IV51971.2022.9827237"},{"issue":"5","key":"5_CR6","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1049\/ip-cta:20050152","volume":"153","author":"MS Branicky","year":"2006","unstructured":"Branicky, M.S., Curtiss, M.M., Levine, J., Morgan, S.: Sampling-based planning, control and verification of hybrid systems. IEE Proc.-Control Theory Appl. 153(5), 575\u2013590 (2006)","journal-title":"IEE Proc.-Control Theory Appl."},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Dang, T., Donz\u00e9, A., Maler, O., Shalev, N.: Sensitive state-space exploration. In: 2008 47th IEEE Conference on Decision and Control, pp. 4049\u20134054. IEEE (2008)","DOI":"10.1109\/CDC.2008.4739371"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-642-15297-9_9","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"A Donz\u00e9","year":"2010","unstructured":"Donz\u00e9, A., Maler, O.: Robust satisfaction of temporal logic over real-valued signals. In: Chatterjee, K., Henzinger, T.A. (eds.) FORMATS 2010. LNCS, vol. 6246, pp. 92\u2013106. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15297-9_9"},{"key":"5_CR9","unstructured":"Dosovitskiy, A., Ros, G., Codevilla, F., Lopez, A., Koltun, V.: Carla: an open urban driving simulator. In: Conference on Robot Learning, pp. 1\u201316. PMLR (2017)"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/978-3-319-17524-9_10","volume-title":"NASA Formal Methods","author":"T Dreossi","year":"2015","unstructured":"Dreossi, T., Dang, T., Donz\u00e9, A., Kapinski, J., Jin, X., Deshmukh, J.V.: Efficient guiding strategies for testing of temporal properties of hybrid systems. In: Havelund, K., Holzmann, G., Joshi, R. (eds.) NFM 2015. LNCS, vol. 9058, pp. 127\u2013142. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-17524-9_10"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Emerson, E.A., Lei, C.L.: Modalities for model checking (extended abstract) branching time strikes back. In: Proceedings of the 12th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pp. 84\u201396 (1985)","DOI":"10.1145\/318593.318620"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/11940197_12","volume-title":"Formal Approaches to Software Testing and Runtime Verification","author":"GE Fainekos","year":"2006","unstructured":"Fainekos, G.E., Pappas, G.J.: Robustness of temporal logic specifications. In: Havelund, K., N\u00fa\u00f1ez, M., Ro\u015fu, G., Wolff, B. (eds.) FATES\/RV -2006. LNCS, vol. 4262, pp. 178\u2013192. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11940197_12"},{"key":"5_CR13","unstructured":"Freeman, C.D., Frey, E., Raichuk, A., Girgin, S., Mordatch, I., Bachem, O.: Brax\u2013a differentiable physics engine for large scale rigid body simulation. arXiv preprint arXiv:2106.13281 (2021)"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Fremont, D.J., Dreossi, T., Ghosh, S., Yue, X., Sangiovanni-Vincentelli, A.L., Seshia, S.A.: Scenic: a language for scenario specification and scene generation. In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 63\u201378 (2019)","DOI":"10.1145\/3314221.3314633"},{"issue":"10","key":"5_CR15","doi-asserted-by":"publisher","first-page":"3805","DOI":"10.1007\/s10994-021-06120-5","volume":"112","author":"DJ Fremont","year":"2023","unstructured":"Fremont, D.J., et al.: Scenic: a language for scenario specification and data generation. Mach. Learn. 112(10), 3805\u20133849 (2023)","journal-title":"Mach. Learn."},{"issue":"11","key":"5_CR16","doi-asserted-by":"publisher","first-page":"4193","DOI":"10.1109\/TCAD.2022.3197506","volume":"41","author":"N Fronda","year":"2022","unstructured":"Fronda, N., Abbas, H.: Differentiable inference of temporal logic formulas. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(11), 4193\u20134204 (2022)","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circuits Syst."},{"key":"5_CR17","unstructured":"Frostig, R., Johnson, M.J., Leary, C.: Compiling machine learning programs via high-level tracing. Syst. Mach. Learn. 4(9) (2018)"},{"key":"5_CR18","unstructured":"Gulino, C., et\u00a0al.: Waymax: an accelerated, data-driven simulator for large-scale autonomous driving research. Adv. Neural Inf. Process. Syst. 36 (2024)"},{"issue":"1","key":"5_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1162\/106365603321828970","volume":"11","author":"N Hansen","year":"2003","unstructured":"Hansen, N., M\u00fcller, S.D., Koumoutsakos, P.: Reducing the time complexity of the derandomized evolution strategy with covariance matrix adaptation (CMA-ES). Evol. Comput. 11(1), 1\u201318 (2003)","journal-title":"Evol. Comput."},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Hashemi, N., Hoxha, B., Prokhorov, D., Fainekos, G., Deshmukh, J.: Scaling learning based policy optimization for temporal tasks via dropout. arXiv preprint arXiv:2403.15826 (2024)","DOI":"10.1145\/3696112"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Heiden, E., Millard, D., Coumans, E., Sheng, Y., Sukhatme, G.S.: NeuralSim: augmenting differentiable simulators with neural networks. In: Proceedings of the IEEE International Conference on Robotics and Automation (ICRA) (2021). https:\/\/github.com\/google-research\/tiny-differentiable-simulator","DOI":"10.1109\/ICRA48506.2021.9560935"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Jaillet, L., Cort\u00e9s, J., Sim\u00e9on, T.: Transition-based RRT for path planning in continuous cost spaces. In: 2008 IEEE\/RSJ International Conference on Intelligent Robots and Systems, pp. 2145\u20132150. IEEE (2008)","DOI":"10.1109\/IROS.2008.4650993"},{"issue":"7","key":"5_CR23","doi-asserted-by":"publisher","first-page":"846","DOI":"10.1177\/0278364911406761","volume":"30","author":"S Karaman","year":"2011","unstructured":"Karaman, S., Frazzoli, E.: Sampling-based algorithms for optimal motion planning. Int. J. Robot. Res. 30(7), 846\u2013894 (2011)","journal-title":"Int. J. Robot. Res."},{"issue":"1","key":"5_CR24","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1109\/70.660866","volume":"14","author":"LE Kavraki","year":"1998","unstructured":"Kavraki, L.E., Kolountzakis, M.N., Latombe, J.C.: Analysis of probabilistic roadmaps for path planning. IEEE Trans. Robot. Autom. 14(1), 166\u2013171 (1998)","journal-title":"IEEE Trans. Robot. Autom."},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Kim, J., Esposito, J.M., Kumar, V.: An RRT-based algorithm for testing and validating multi-robot controllers. In: Robotics: Science and Systems, pp. 249\u2013256. Boston, MA (2005)","DOI":"10.15607\/RSS.2005.I.033"},{"issue":"12","key":"5_CR26","doi-asserted-by":"publisher","first-page":"1257","DOI":"10.1177\/0278364906072513","volume":"25","author":"J Kim","year":"2006","unstructured":"Kim, J., Esposito, J.M., Kumar, V.: Sampling-based algorithm for testing and validating robot controllers. Int. J. Robot. Res. 25(12), 1257\u20131272 (2006)","journal-title":"Int. J. Robot. Res."},{"key":"5_CR27","doi-asserted-by":"crossref","unstructured":"Koschi, M., Pek, C., Maierhofer, S., Althoff, M.: Computationally efficient safety falsification of adaptive cruise control systems. In: 2019 IEEE Intelligent Transportation Systems Conference (ITSC), pp. 2879\u20132886. IEEE (2019)","DOI":"10.1109\/ITSC.2019.8917287"},{"issue":"1","key":"5_CR28","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1137\/S1052623496303470","volume":"9","author":"JC Lagarias","year":"1998","unstructured":"Lagarias, J.C., Reeds, J.A., Wright, M.H., Wright, P.E.: Convergence properties of the nelder-mead simplex method in low dimensions. SIAM J. Optim. 9(1), 112\u2013147 (1998)","journal-title":"SIAM J. Optim."},{"key":"5_CR29","unstructured":"LaValle, S.: Rapidly-exploring random trees: a new tool for path planning. Research Report, no. 9811 (1998)"},{"issue":"6","key":"5_CR30","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1177\/02783649221082115","volume":"42","author":"K Leung","year":"2023","unstructured":"Leung, K., Ar\u00e9chiga, N., Pavone, M.: Backpropagation through signal temporal logic specifications: infusing logical structure into gradient-based methods. Int. J. Robot. Res. 42(6), 356\u2013370 (2023)","journal-title":"Int. J. Robot. Res."},{"key":"5_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/978-3-030-71500-7_9","volume-title":"Fundamental Approaches to Software Engineering","author":"R Majumdar","year":"2021","unstructured":"Majumdar, R., Mathur, A., Pirron, M., Stegner, L., Zufferey, D.: Paracosm: a test framework for autonomous driving simulations. In: FASE 2021. LNCS, vol. 12649, pp. 172\u2013195. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-71500-7_9"},{"key":"5_CR32","doi-asserted-by":"crossref","unstructured":"Marini, F., Walczak, B.: Particle swarm optimization (PSO). A tutorial. Chemom. Intell. Lab. Syst. 149, 153\u2013165 (2015)","DOI":"10.1016\/j.chemolab.2015.08.020"},{"key":"5_CR33","doi-asserted-by":"crossref","unstructured":"Queiroz, R., Berger, T., Czarnecki, K.: Geoscenario: an open dsl for autonomous driving scenario representation. In: 2019 IEEE Intelligent Vehicles Symposium (IV), pp. 287\u2013294. IEEE (2019)","DOI":"10.1109\/IVS.2019.8814107"},{"key":"5_CR34","doi-asserted-by":"publisher","first-page":"87456","DOI":"10.1109\/ACCESS.2020.2993730","volume":"8","author":"S Riedmaier","year":"2020","unstructured":"Riedmaier, S., Ponn, T., Ludwig, D., Schick, B., Diermeyer, F.: Survey on scenario-based safety assessment of automated vehicles. IEEE Access 8, 87456\u201387477 (2020)","journal-title":"IEEE Access"},{"key":"5_CR35","doi-asserted-by":"crossref","unstructured":"Rodionova, A., Lindemann, L., Morari, M., Pappas, G.J.: Combined left and right temporal robustness for control under STL specifications. IEEE Control Syst. Lett. (2022)","DOI":"10.1109\/LCSYS.2022.3209928"},{"key":"5_CR36","doi-asserted-by":"crossref","unstructured":"Rong, G., et\u00a0al.: LGSVL simulator: a high fidelity simulator for autonomous driving. In: 2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC), pp.\u00a01\u20136. IEEE (2020)","DOI":"10.1109\/ITSC45102.2020.9294422"},{"key":"5_CR37","doi-asserted-by":"crossref","unstructured":"Sch\u00fctt, B., Braun, T., Otten, S., Sax, E.: SceML: a graphical modeling framework for scenario-based testing of autonomous vehicles. In: Proceedings of the 23rd ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, pp. 114\u2013120 (2020)","DOI":"10.1145\/3365438.3410933"},{"key":"5_CR38","doi-asserted-by":"crossref","unstructured":"Tuncali, C.E., Fainekos, G.: Rapidly-exploring random trees for testing automated vehicles. In: 2019 IEEE Intelligent Transportation Systems Conference (ITSC), pp. 661\u2013666. IEEE (2019)","DOI":"10.1109\/ITSC.2019.8917375"},{"key":"5_CR39","doi-asserted-by":"publisher","unstructured":"Vin, E., et al.: 3D environment modeling for falsification and beyond with scenic 3.0. In: Enea, C., Lal, A. (eds.) Computer Aided Verification. CAV 2023. LNCS, vol. 13964, pp. 253\u2013265. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-37706-8_13","DOI":"10.1007\/978-3-031-37706-8_13"},{"key":"5_CR40","unstructured":"Zhang, L., Peng, Z., Li, Q., Zhou, B.: Cat: closed-loop adversarial training for safe end-to-end driving. In: Conference on Robot Learning, pp. 2357\u20132372. PMLR (2023)"},{"key":"5_CR41","unstructured":"Zhong, Z., Tang, Y., Zhou, Y., Neves, V.D.O., Liu, Y., Ray, B.: A survey on scenario-based testing for automated driving systems in high-fidelity simulation. arXiv preprint arXiv:2112.00964 (2021)"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-74234-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,11]],"date-time":"2024-10-11T10:02:34Z","timestamp":1728640954000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-74234-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,12]]},"ISBN":["9783031742330","9783031742347"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-74234-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,10,12]]},"assertion":[{"value":"12 October 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RV","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Runtime Verification","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Instanbul","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"T\u00fcrkiye","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 October 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 October 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rv2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/yeni.cmpe.bogazici.edu.tr\/rv24\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}