{"id":"https://openalex.org/W4384471265","doi":"https://doi.org/10.1007/978-3-031-37706-8_13","title":"3D Environment Modeling for\u00a0Falsification and\u00a0Beyond with\u00a0Scenic\u00a03.0","display_name":"3D Environment Modeling for\u00a0Falsification and\u00a0Beyond with\u00a0Scenic\u00a03.0","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4384471265","doi":"https://doi.org/10.1007/978-3-031-37706-8_13"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-37706-8_13","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-37706-8_13","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-37706-8_13.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-37706-8_13.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5044250428","display_name":"Eric Vin","orcid":"https://orcid.org/0000-0002-3089-1129"},"institutions":[{"id":"https://openalex.org/I185103710","display_name":"University of California, Santa Cruz","ror":"https://ror.org/03s65by71","country_code":"US","type":"education","lineage":["https://openalex.org/I185103710"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Eric Vin","raw_affiliation_strings":["University of California, Santa Cruz, USA"],"affiliations":[{"raw_affiliation_string":"University of California, Santa Cruz, USA","institution_ids":["https://openalex.org/I185103710"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048781214","display_name":"Shun Kashiwa","orcid":"https://orcid.org/0009-0001-3665-0182"},"institutions":[{"id":"https://openalex.org/I185103710","display_name":"University of California, Santa Cruz","ror":"https://ror.org/03s65by71","country_code":"US","type":"education","lineage":["https://openalex.org/I185103710"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shun Kashiwa","raw_affiliation_strings":["University of California, Santa Cruz, USA"],"affiliations":[{"raw_affiliation_string":"University of California, Santa Cruz, USA","institution_ids":["https://openalex.org/I185103710"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5092480238","display_name":"Matthew Rhea","orcid":null},"institutions":[{"id":"https://openalex.org/I2799809257","display_name":"American Sentinel University","ror":"https://ror.org/059p0a776","country_code":"US","type":"education","lineage":["https://openalex.org/I2799809257"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Matthew Rhea","raw_affiliation_strings":["SentinelOne, Mountain View, USA"],"affiliations":[{"raw_affiliation_string":"SentinelOne, Mountain View, USA","institution_ids":["https://openalex.org/I2799809257"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076798051","display_name":"Daniel J. Fremont","orcid":"https://orcid.org/0000-0002-9992-9965"},"institutions":[{"id":"https://openalex.org/I185103710","display_name":"University of California, Santa Cruz","ror":"https://ror.org/03s65by71","country_code":"US","type":"education","lineage":["https://openalex.org/I185103710"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Daniel J. Fremont","raw_affiliation_strings":["University of California, Santa Cruz, USA"],"affiliations":[{"raw_affiliation_string":"University of California, Santa Cruz, USA","institution_ids":["https://openalex.org/I185103710"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100728159","display_name":"Edward Kim","orcid":"https://orcid.org/0000-0001-5345-3781"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Edward Kim","raw_affiliation_strings":["University of California, Berkeley, USA"],"affiliations":[{"raw_affiliation_string":"University of California, Berkeley, USA","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084296935","display_name":"Tommaso Dreossi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tommaso Dreossi","raw_affiliation_strings":["insitro, San Francisco, USA"],"affiliations":[{"raw_affiliation_string":"insitro, San Francisco, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101510201","display_name":"Shromona Ghosh","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shromona Ghosh","raw_affiliation_strings":["Waymo LLC, Mountain View, USA"],"affiliations":[{"raw_affiliation_string":"Waymo LLC, Mountain View, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078165161","display_name":"Xiangyu Yue","orcid":"https://orcid.org/0000-0002-6887-2046"},"institutions":[{"id":"https://openalex.org/I177725633","display_name":"Chinese University of Hong Kong","ror":"https://ror.org/00t33hh48","country_code":"CN","type":"education","lineage":["https://openalex.org/I177725633"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiangyu Yue","raw_affiliation_strings":["The Chinese University of Hong Kong, Hong Kong, China"],"affiliations":[{"raw_affiliation_string":"The Chinese University of Hong Kong, Hong Kong, China","institution_ids":["https://openalex.org/I177725633"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088660554","display_name":"Alberto Sangiovanni\u2010Vincentelli","orcid":"https://orcid.org/0000-0003-1298-8389"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alberto L. Sangiovanni-Vincentelli","raw_affiliation_strings":["University of California, Berkeley, USA"],"affiliations":[{"raw_affiliation_string":"University of California, Berkeley, USA","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5064230639","display_name":"Sanjit A. Seshia","orcid":"https://orcid.org/0000-0001-6190-8707"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sanjit A. Seshia","raw_affiliation_strings":["University of California, Berkeley, USA"],"affiliations":[{"raw_affiliation_string":"University of California, Berkeley, USA","institution_ids":["https://openalex.org/I95457486"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":10,"corresponding_author_ids":["https://openalex.org/A5044250428"],"corresponding_institution_ids":["https://openalex.org/I185103710"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":12.004,"has_fulltext":true,"cited_by_count":13,"citation_normalized_percentile":{"value":0.99426934,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"253","last_page":"265"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9959999918937683,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9940000176429749,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8796561360359192},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.627404510974884},{"id":"https://openalex.org/keywords/readability","display_name":"Readability","score":0.5885593891143799},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.5548690557479858},{"id":"https://openalex.org/keywords/parsing","display_name":"Parsing","score":0.54375159740448},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.5146644711494446},{"id":"https://openalex.org/keywords/grammar","display_name":"Grammar","score":0.4916301369667053},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.48957952857017517},{"id":"https://openalex.org/keywords/visibility","display_name":"Visibility","score":0.46328631043434143},{"id":"https://openalex.org/keywords/formal-grammar","display_name":"Formal grammar","score":0.460452139377594},{"id":"https://openalex.org/keywords/simplicity","display_name":"Simplicity","score":0.43014922738075256},{"id":"https://openalex.org/keywords/rule-based-machine-translation","display_name":"Rule-based machine translation","score":0.36933284997940063},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.33815181255340576},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.333368182182312},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.11982300877571106}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8796561360359192},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.627404510974884},{"id":"https://openalex.org/C2778143727","wikidata":"https://www.wikidata.org/wiki/Q1820650","display_name":"Readability","level":2,"score":0.5885593891143799},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.5548690557479858},{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.54375159740448},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.5146644711494446},{"id":"https://openalex.org/C26022165","wikidata":"https://www.wikidata.org/wiki/Q8091","display_name":"Grammar","level":2,"score":0.4916301369667053},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.48957952857017517},{"id":"https://openalex.org/C123403432","wikidata":"https://www.wikidata.org/wiki/Q654068","display_name":"Visibility","level":2,"score":0.46328631043434143},{"id":"https://openalex.org/C171553443","wikidata":"https://www.wikidata.org/wiki/Q373045","display_name":"Formal grammar","level":3,"score":0.460452139377594},{"id":"https://openalex.org/C2776372474","wikidata":"https://www.wikidata.org/wiki/Q508291","display_name":"Simplicity","level":2,"score":0.43014922738075256},{"id":"https://openalex.org/C53893814","wikidata":"https://www.wikidata.org/wiki/Q7378909","display_name":"Rule-based machine translation","level":2,"score":0.36933284997940063},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.33815181255340576},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.333368182182312},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.11982300877571106},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-031-37706-8_13","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-37706-8_13","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-37706-8_13.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:escholarship.org:ark:/13030/qt6zq520n7","is_oa":true,"landing_page_url":"https://escholarship.org/uc/item/6zq520n7","pdf_url":"https://escholarship.org/content/qt6zq520n7/qt6zq520n7.pdf","source":{"id":"https://openalex.org/S4306400115","display_name":"eScholarship (California Digital Library)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2801248553","host_organization_name":"California Digital Library","host_organization_lineage":["https://openalex.org/I2801248553"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-37706-8_13","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-37706-8_13","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-37706-8_13.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[{"score":0.7900000214576721,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"awards":[{"id":"https://openalex.org/G4183124897","display_name":null,"funder_award_id":"1545126","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4713059963","display_name":null,"funder_award_id":"FA8750","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G4734721929","display_name":null,"funder_award_id":"1545126 (VeHICaL)","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6507447573","display_name":null,"funder_award_id":"several","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7645478512","display_name":null,"funder_award_id":"FA8750-20-C-0156","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G8335575951","display_name":null,"funder_award_id":"FA8750-16-C0043","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G973968141","display_name":null,"funder_award_id":"1837132","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4384471265.pdf"},"referenced_works_count":22,"referenced_works":["https://openalex.org/W1506101803","https://openalex.org/W1509343160","https://openalex.org/W1547304883","https://openalex.org/W1975880855","https://openalex.org/W2014824949","https://openalex.org/W2018045485","https://openalex.org/W2023808162","https://openalex.org/W2117088012","https://openalex.org/W2155941727","https://openalex.org/W2162559028","https://openalex.org/W2808775391","https://openalex.org/W2810181048","https://openalex.org/W2952402617","https://openalex.org/W2965660219","https://openalex.org/W3046712683","https://openalex.org/W3098394944","https://openalex.org/W3115511661","https://openalex.org/W3125969836","https://openalex.org/W3205563523","https://openalex.org/W4210496774","https://openalex.org/W4283812260","https://openalex.org/W4286225000"],"related_works":["https://openalex.org/W2118045671","https://openalex.org/W2032082745","https://openalex.org/W1985452018","https://openalex.org/W2064822019","https://openalex.org/W123468065","https://openalex.org/W2163571267","https://openalex.org/W2094508561","https://openalex.org/W2395103808","https://openalex.org/W2040159755","https://openalex.org/W2107193634"],"abstract_inverted_index":{"Abstract":[0],"We":[1,83,109],"present":[2],"a":[3,9,36,99,130],"major":[4],"new":[5,64,140],"version":[6],"of":[7,17,20,33,38,80,88,95,133],"Scenic,":[8],"probabilistic":[10],"programming":[11],"language":[12,113],"for":[13,28,60,106],"writing":[14],"formal":[15,131],"models":[16],"the":[18,29,76,81,112,134,139],"environments":[19,46],"cyber-physical":[21],"systems.":[22],"Scenic":[23,56,126,158],"has":[24],"been":[25,152],"successfully":[26],"used":[27],"design":[30],"and":[31,78,122],"analysis":[32],"CPS":[34],"in":[35,120,157],"variety":[37],"domains,":[39],"but":[40],"earlier":[41],"versions":[42],"are":[43,48],"limited":[44],"to":[45,70,114,154],"that":[47,66,104,149],"essentially":[49],"two-dimensional.":[50],"In":[51],"this":[52],"paper,":[53],"we":[54,137],"extend":[55,111],"with":[57,92,146],"native":[58],"support":[59,115],"3D":[61,72],"geometry,":[62],"introducing":[63],"syntax":[65],"provides":[67],"expressive":[68],"ways":[69],"describe":[71],"configurations":[73],"while":[74],"preserving":[75],"simplicity":[77],"readability":[79],"language.":[82,135],"replace":[84],"Scenic\u2019s":[85],"simplistic":[86],"representation":[87],"objects":[89],"as":[90],"boxes":[91],"precise":[93],"modeling":[94],"complex":[96],"shapes,":[97],"including":[98],"ray":[100],"tracing-based":[101],"visibility":[102],"system":[103],"accounts":[105],"object":[107],"occlusion.":[108],"also":[110],"arbitrary":[116],"temporal":[117],"requirements":[118],"expressed":[119],"LTL,":[121],"build":[123],"an":[124],"extensible":[125],"parser":[127],"generated":[128],"from":[129],"grammar":[132],"Finally,":[136],"illustrate":[138],"application":[141],"domains":[142],"these":[143],"features":[144],"enable":[145],"case":[147],"studies":[148],"would":[150],"have":[151],"impossible":[153],"accurately":[155],"model":[156],"2.":[159]},"counts_by_year":[{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":7},{"year":2023,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}