Abstraction-based Safety Verification and Control of Cooperative Vehicles at Road Intersections

Colombo, Alessandro
2019

File in questo prodotto:
File Dimensione Formato  
Abstraction-based Safety Verification and Control of Cooperative Vehicles at Road Intersections [Ahn20a].pdf

accesso aperto

: Post-Print (DRAFT o Author’s Accepted Manuscript-AAM)
Dimensione 3.43 MB
Formato Adobe PDF
3.43 MB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11311/1142835
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 1
social impact