Matches in SemOpenAlex for { <https://semopenalex.org/work/W4383860265> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W4383860265 abstract "We present a major new version of Scenic, a probabilistic programming language for writing formal models of the environments of cyber-physical systems. Scenic has been successfully used for the design and analysis of CPS in a variety of domains, but earlier versions are limited to environments which are essentially two-dimensional. In this paper, we extend Scenic with native support for 3D geometry, introducing new syntax which provides expressive ways to describe 3D configurations while preserving the simplicity and readability of the language. We replace Scenic's simplistic representation of objects as boxes with precise modeling of complex shapes, including a ray tracing-based visibility system that accounts for object occlusion. We also extend the language to support arbitrary temporal requirements expressed in LTL, and build an extensible Scenic parser generated from a formal grammar of the language. Finally, we illustrate the new application domains these features enable with case studies that would have been impossible to accurately model in Scenic 2." @default.
- W4383860265 created "2023-07-11" @default.
- W4383860265 creator A5016475359 @default.
- W4383860265 creator A5044250428 @default.
- W4383860265 creator A5048781214 @default.
- W4383860265 creator A5062980852 @default.
- W4383860265 creator A5064230639 @default.
- W4383860265 creator A5076798051 @default.
- W4383860265 creator A5078165161 @default.
- W4383860265 creator A5084296935 @default.
- W4383860265 creator A5088660554 @default.
- W4383860265 creator A5092441994 @default.
- W4383860265 date "2023-07-06" @default.
- W4383860265 modified "2023-09-25" @default.
- W4383860265 title "3D Environment Modeling for Falsification and Beyond with Scenic 3.0" @default.
- W4383860265 doi "https://doi.org/10.48550/arxiv.2307.03325" @default.
- W4383860265 hasPublicationYear "2023" @default.
- W4383860265 type Work @default.
- W4383860265 citedByCount "0" @default.
- W4383860265 crossrefType "posted-content" @default.
- W4383860265 hasAuthorship W4383860265A5016475359 @default.
- W4383860265 hasAuthorship W4383860265A5044250428 @default.
- W4383860265 hasAuthorship W4383860265A5048781214 @default.
- W4383860265 hasAuthorship W4383860265A5062980852 @default.
- W4383860265 hasAuthorship W4383860265A5064230639 @default.
- W4383860265 hasAuthorship W4383860265A5076798051 @default.
- W4383860265 hasAuthorship W4383860265A5078165161 @default.
- W4383860265 hasAuthorship W4383860265A5084296935 @default.
- W4383860265 hasAuthorship W4383860265A5088660554 @default.
- W4383860265 hasAuthorship W4383860265A5092441994 @default.
- W4383860265 hasBestOaLocation W43838602651 @default.
- W4383860265 hasConcept C107457646 @default.
- W4383860265 hasConcept C111472728 @default.
- W4383860265 hasConcept C123403432 @default.
- W4383860265 hasConcept C136197465 @default.
- W4383860265 hasConcept C138885662 @default.
- W4383860265 hasConcept C153294291 @default.
- W4383860265 hasConcept C154945302 @default.
- W4383860265 hasConcept C171553443 @default.
- W4383860265 hasConcept C17744445 @default.
- W4383860265 hasConcept C186644900 @default.
- W4383860265 hasConcept C199360897 @default.
- W4383860265 hasConcept C199539241 @default.
- W4383860265 hasConcept C205649164 @default.
- W4383860265 hasConcept C26022165 @default.
- W4383860265 hasConcept C2776359362 @default.
- W4383860265 hasConcept C2776372474 @default.
- W4383860265 hasConcept C2778143727 @default.
- W4383860265 hasConcept C2780719617 @default.
- W4383860265 hasConcept C41008148 @default.
- W4383860265 hasConcept C41895202 @default.
- W4383860265 hasConcept C53893814 @default.
- W4383860265 hasConcept C60048249 @default.
- W4383860265 hasConcept C94625758 @default.
- W4383860265 hasConceptScore W4383860265C107457646 @default.
- W4383860265 hasConceptScore W4383860265C111472728 @default.
- W4383860265 hasConceptScore W4383860265C123403432 @default.
- W4383860265 hasConceptScore W4383860265C136197465 @default.
- W4383860265 hasConceptScore W4383860265C138885662 @default.
- W4383860265 hasConceptScore W4383860265C153294291 @default.
- W4383860265 hasConceptScore W4383860265C154945302 @default.
- W4383860265 hasConceptScore W4383860265C171553443 @default.
- W4383860265 hasConceptScore W4383860265C17744445 @default.
- W4383860265 hasConceptScore W4383860265C186644900 @default.
- W4383860265 hasConceptScore W4383860265C199360897 @default.
- W4383860265 hasConceptScore W4383860265C199539241 @default.
- W4383860265 hasConceptScore W4383860265C205649164 @default.
- W4383860265 hasConceptScore W4383860265C26022165 @default.
- W4383860265 hasConceptScore W4383860265C2776359362 @default.
- W4383860265 hasConceptScore W4383860265C2776372474 @default.
- W4383860265 hasConceptScore W4383860265C2778143727 @default.
- W4383860265 hasConceptScore W4383860265C2780719617 @default.
- W4383860265 hasConceptScore W4383860265C41008148 @default.
- W4383860265 hasConceptScore W4383860265C41895202 @default.
- W4383860265 hasConceptScore W4383860265C53893814 @default.
- W4383860265 hasConceptScore W4383860265C60048249 @default.
- W4383860265 hasConceptScore W4383860265C94625758 @default.
- W4383860265 hasLocation W43838602651 @default.
- W4383860265 hasOpenAccess W4383860265 @default.
- W4383860265 hasPrimaryLocation W43838602651 @default.
- W4383860265 hasRelatedWork W105650620 @default.
- W4383860265 hasRelatedWork W1537895043 @default.
- W4383860265 hasRelatedWork W1998962249 @default.
- W4383860265 hasRelatedWork W2064069225 @default.
- W4383860265 hasRelatedWork W2129327713 @default.
- W4383860265 hasRelatedWork W2355288082 @default.
- W4383860265 hasRelatedWork W2649212745 @default.
- W4383860265 hasRelatedWork W2940558261 @default.
- W4383860265 hasRelatedWork W3013856176 @default.
- W4383860265 hasRelatedWork W3147354785 @default.
- W4383860265 isParatext "false" @default.
- W4383860265 isRetracted "false" @default.
- W4383860265 workType "article" @default.