Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development
Saved in:
| Published in: | Tools and Algorithms for the Construction and Analysis of Systems Vol. 14571 |
|---|---|
| Format: | Book Chapter |
| Language: | English |
| Published: |
Switzerland
Springer International Publishing AG
2024
|
| ISBN: | 9783031572487, 3031572483 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| BookMark | eNo1jslOwzAYhI1YBC19Ai5-gYDX2OZWWjapCCTac-TGv2lpahc7Ka9P2E6jb2Y0mgE6CjEAQheUXFJC1JVRuuAF4bSQiglTiIofoAHvjR-mh2jUV_5ZqxM0oIIZpkst1Ska5fxOCOGMMFbSM7SYx0-bXMav1gMed20McRu7jKdpvV-Ht2v8FB00eLKCetMztvgGVna_jgm_NDYESNh16TuZwh6auNtCaM_RsbdNhtGfDtHi7nY-eShmz_ePk_GsWHJq2mLpqeQgwWlSS0mhZtI4Y6kBx4SQpS2l9r1LhWe18Z5rJbgTjDiuQVPgQ8R-d3cpfnSQ2wqWMW7q_kKyTb2yuxZSrjhlmmqlK1OVnH8BM8Fevw |
|---|---|
| ContentType | Book Chapter |
| DBID | FFUUA |
| DOI | 10.1007/978-3-031-57249-4_3 |
| DatabaseName | ProQuest Ebook Central - Book Chapters - Demo use only |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISBN | 3031572491 9783031572494 |
| Editor | Kovács, Laura Finkbeiner, Bernd |
| Editor_xml | – sequence: 1 fullname: Kovács, Laura – sequence: 2 fullname: Finkbeiner, Bernd |
| ExternalDocumentID | EBC31281878_9_63 |
| GroupedDBID | AABBV AACKP AAHEH AAKKN AALJR AAQKC ABEEZ ABHYI ABLGM ADZDO AEDXK AEIVC AEKFX AFIJG AGWHU AIQUZ ALMA_UNASSIGNED_HOLDINGS ALNDD BBABE CZZ EIXGO FFUUA IEZ SBO TPJZQ TSXQS Z7R Z7U Z7X Z7Z Z81 Z83 Z84 Z85 Z88 |
| ID | FETCH-LOGICAL-b319t-bf153e5ed80c551ec259d9a19ed24456a658fec214f2c9ff38743d420d38e81e3 |
| ISBN | 9783031572487 3031572483 |
| ISICitedReferencesCount | 3 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001284179800003&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| IngestDate | Thu May 29 01:15:47 EDT 2025 |
| IsDoiOpenAccess | false |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| LCCallNum | QA75.5-76.95 |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-b319t-bf153e5ed80c551ec259d9a19ed24456a658fec214f2c9ff38743d420d38e81e3 |
| OCLC | 1429286857 |
| OpenAccessLink | https://link.springer.com/content/pdf/10.1007/978-3-031-57249-4_3.pdf |
| PQID | EBC31281878_9_63 |
| ParticipantIDs | proquest_ebookcentralchapters_31281878_9_63 |
| PublicationCentury | 2000 |
| PublicationDate | 2024 |
| PublicationDateYYYYMMDD | 2024-01-01 |
| PublicationDate_xml | – year: 2024 text: 2024 |
| PublicationDecade | 2020 |
| PublicationPlace | Switzerland |
| PublicationPlace_xml | – name: Switzerland |
| PublicationSubtitle | 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II |
| PublicationTitle | Tools and Algorithms for the Construction and Analysis of Systems |
| PublicationYear | 2024 |
| Publisher | Springer International Publishing AG |
| Publisher_xml | – name: Springer International Publishing AG |
| SSID | ssj0003202261 |
| Score | 2.1442208 |
| SourceID | proquest |
| SourceType | Publisher |
| Title | Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development |
| URI | http://ebookcentral.proquest.com/lib/SITE_ID/reader.action?docID=31281878&ppg=63 |
| Volume | 14571 |
| WOSCitedRecordID | wos001284179800003&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV05b9swFCYct0ORIT3RHC04dDMISCIlkdkcxz0Wo0VjIOgi0DyaoIacxI6Rn59HkbRlZcrQRRAISqD4UXwH33sfQl8YZRI0ZU1EoSlhubXwSxUZUZJbq_Ss4JlsyCbKyYRfXoqfvZ6NuTDreVnX_OFB3PxXqKENwHaps8-Ae_NSaIB7AB2uADtcOxrxru_Vo75YzH3V5eH87wIM_ytfcKHRLx05ZywX6_u0KpK0S5fHJdSE1C4Hv6U1g-H9yuU_uIjZ87vrdciTdlRq88Hoyqh_TbZjrLcY2JAc_bjPg2wFJ7UdDRnrOBqio7Hjqmx5y4bfdoxT6ggkyowFgRp3W5Z7zpUne3c7XAMeJe5ZQVhFt6IqHs8XnbZGHo_PRtSdC_KSV6KCLje3xLGLuVP4QLWyh_ZA3e2jF8Mfv6Z_Nr44xyEPlqRL_Yljpr440_YbNhWrfFHizhCfSPJGPbl4jfZdygp2uSQw1DeoZ-q36CASduCwf79D04AodojiLaI4IHqKGzxxxBNLHPHEAU_s8cQtPN-j6dfxxeg7CbwaZAYb7orMLIg5kxvNEwUKs1FgAmshU2E0KHt5IUErtdCaMpspYS3loGZqliWacsNTQz-gfr2ozUeEDVjAZWHS1MK8lkU5S8A-FYmWuUisVMkhGsR5qZrT_xByrPyELKsdxI6e1fsYvdou0xPUhx_IfEIv1Xp1vbz7HDB-BGasa0A |
| linkProvider | ProQuest Ebooks |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=bookitem&rft.title=Tools+and+Algorithms+for+the+Construction+and+Analysis+of+Systems&rft.atitle=Towards+Safe+Autonomous+Driving%3A+Model+Checking+a+Behavior+Planner+during+Development&rft.date=2024-01-01&rft.pub=Springer+International+Publishing+AG&rft.isbn=9783031572487&rft.volume=14571&rft_id=info:doi/10.1007%2F978-3-031-57249-4_3&rft.externalDBID=63&rft.externalDocID=EBC31281878_9_63 |
| thumbnail_s | http://cvtisr.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Febookcentral.proquest.com%2Fcovers%2F31281878-l.jpg |