The SGSM framework: Enabling the specification and monitor synthesis of safe driving properties through scene graphs.
Saved in:
| Title: | The SGSM framework: Enabling the specification and monitor synthesis of safe driving properties through scene graphs. |
|---|---|
| Authors: | Woodlief, Trey1, adw8dm@virginia.edu, Toledo, Felipe1, ft8bn@virginia.edu, Elbaum, Sebastian1, selbaum@virginia.edu, Dwyer, Matthew B.1, matthewbdwyer@virginia.edu |
| Source: | Science of Computer Programming; May2025, Vol. 242, pN.PAG-N.PAG, 1p |
| Database: | Applied Science & Technology Source |
| FullText | Text: Availability: 0 |
|---|---|
| Header | DbId: aci DbLabel: Applied Science & Technology Source An: 183083038 AccessLevel: 2 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: The SGSM framework: Enabling the specification and monitor synthesis of safe driving properties through scene graphs. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AU" term="%22Woodlief%2C+Trey%22">Woodlief, Trey</searchLink><relatesTo>1</relatesTo>, <i>adw8dm@virginia.edu</i><br /><searchLink fieldCode="AU" term="%22Toledo%2C+Felipe%22">Toledo, Felipe</searchLink><relatesTo>1</relatesTo>, <i>ft8bn@virginia.edu</i><br /><searchLink fieldCode="AU" term="%22Elbaum%2C+Sebastian%22">Elbaum, Sebastian</searchLink><relatesTo>1</relatesTo>, <i>selbaum@virginia.edu</i><br /><searchLink fieldCode="AU" term="%22Dwyer%2C+Matthew+B%2E%22">Dwyer, Matthew B.</searchLink><relatesTo>1</relatesTo>, <i>matthewbdwyer@virginia.edu</i> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Science+of+Computer+Programming%22">Science of Computer Programming</searchLink>; May2025, Vol. 242, pN.PAG-N.PAG, 1p |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=aci&AN=183083038 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1016/j.scico.2024.103252 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 1 StartPage: N.PAG Titles: – TitleFull: The SGSM framework: Enabling the specification and monitor synthesis of safe driving properties through scene graphs. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Woodlief, Trey – PersonEntity: Name: NameFull: Toledo, Felipe – PersonEntity: Name: NameFull: Elbaum, Sebastian – PersonEntity: Name: NameFull: Dwyer, Matthew B. IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 05 Text: May2025 Type: published Y: 2025 Identifiers: – Type: issn-print Value: 01676423 Numbering: – Type: volume Value: 242 Titles: – TitleFull: Science of Computer Programming Type: main |
| ResultId | 1 |