liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Automatically proving the correctness of vehicle coordination
Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, Faculty of Science & Engineering.ORCID iD: 0000-0003-1916-3398
2018 (English)In: ICT Express, ISSN 2405-9595, Vol. 4, no 1, p. 51-54Article in journal (Refereed) Published
Abstract [en]

In the next generation of road-based transportation systems, where vehicles exchange information and coordinate their actions, a major challenge will be to ensure that the interaction rules are safe and lead to progress. In this paper we address the problem of automatically verifying the correctness of such distributed vehicular coordination protocols. We propose a novel modeling approach for communicating mobile entities based on the concept of satisfiability modulo theories (SMT). We apply this method to an intersection collision avoidance protocol and show how the method can be used to investigate the settings under which such a protocol achieves safety and progress.

Place, publisher, year, edition, pages
Elsevier, 2018. Vol. 4, no 1, p. 51-54
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:liu:diva-162657DOI: 10.1016/j.icte.2018.01.013OAI: oai:DiVA.org:liu-162657DiVA, id: diva2:1377936
Available from: 2019-12-13 Created: 2019-12-13 Last updated: 2020-01-22

Open Access in DiVA

fulltext(544 kB)6 downloads
File information
File name FULLTEXT01.pdfFile size 544 kBChecksum SHA-512
40fc64d00568c9b8e9c49e5ccf24e43f5f0d0e1eee098bcf62e15eeacb140ba9779a5c9837eb805fef8f4d4d200b39c55d75f9a23a3a5dc88271963db747e841
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Authority records BETA

Asplund, Mikael

Search in DiVA

By author/editor
Asplund, Mikael
By organisation
Software and SystemsFaculty of Science & Engineering
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 6 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 17 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf