Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development

Saved in:
Bibliographic Details
Published inTools and Algorithms for the Construction and Analysis of Systems Vol. 14571
Format Book Chapter
LanguageEnglish
Published Switzerland Springer International Publishing AG 2024
Online AccessGet full text
ISBN9783031572487
3031572483
DOI10.1007/978-3-031-57249-4_3

Cover

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
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.1460054
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
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3LS8MwGA_bvIgH3_gmB28jsjR9xYNQ5wtFQXSwW2nS1IljAzc9-Nf7pUm2rnrRSymhLaG_Nt8j3_f7IXRMOReByjjhUR4SX0pBuMgpiULJKctiQUv9lPuH8Kbn3_aDfqNxVqla-piKE_n1a1_Jf1CFMcBVd8n-AdnZQ2EAzgFfOALCcKw5v4tpVgPweDw0BMvJ8GUMMf7AcCuUrqTW4XTMsOaaCvlIlaXcfS1l9eyk_ZQVqp18THWrgy6OvXh__bQt0Vo1bdjuDpR8KxsbHbWiFT7SSuOm5bFSh1TNKXh-Lafgcoq1rGQlMZZcL8ShTGtFRJ5vbadbWP3AyKv8WKarlRlwK9H3cuKnbG6V3E58WBsrTe_leZfpLcA4ilOehqyJmlEctNBSkjzedWc5Nq0NDxGibulxE2SGdGk-4RkTlSEbrs3nh4Uu3Y7nNbSiW1Gw7hGBea2jhhptoFUnxIHturyJehY-rOHDc_iwhe8Ul-BhBx7OsAMPW_CwAQ9XwNtCvavL5-4NsXoZRMBCOiWiAPOlApXHHQmOsJIQ2uY8o1zl4MQFYQbeZgGj1C88yYuCxeA-5r7XyVmsYqrYNmqNxiO1gzAEkaHsiKAoMnCoQ08ICBw03ZhQVMiA7qK2ey9puatvS4mleSGTdAGevT9dvY-W59_kAWrB36IOwfObiiML8DcxrVll
linkProvider Springer Nature
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://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Febookcentral.proquest.com%2Fcovers%2F31281878-l.jpg