Document is current

Any future updates will be listed below

Runtime verification of electronic stability control system in automated vehicles with STL3 formalism

Crossref DOI link: https://doi.org/10.1007/s00607-024-01375-x

Published Online: 2024-12-19

Published Print: 2025-01

Update policy: https://doi.org/10.1007/springer_crossmark_policy

About CrossMark