Login / Signup
Sebastian Mair
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 4
Top Topics
Provably Correct
Formal Methods
Lightweight
Cooperative
Top Venues
CoRR
IEEE Trans. Intell. Veh.
IV
</>
Publications
</>
Di Liu
,
Sebastian Mair
,
Kang Yang
,
Simone Baldi
,
Paolo Frasca
,
Matthias Althoff
Resilience in Platoons of Cooperative Heterogeneous Vehicles: Self-Organization Strategies and Provably-Correct Design.
IEEE Trans. Intell. Veh.
9 (1) (2024)
Sebastian Mair
,
Matthias Althoff
Provably Correct Safety Protocol for Cooperative Platooning.
IV
(2024)
Sebastian Mair
,
Matthias Althoff
Provably-Correct Safety Protocol for Cooperative Platooning.
CoRR
(2023)
Di Liu
,
Sebastian Mair
,
Kang Yang
,
Simone Baldi
,
Paolo Frasca
,
Matthias Althoff
Resilience in Platoons of Cooperative Heterogeneous Vehicles: Self-organization Strategies and Provably-correct Design.
CoRR
(2023)