Research papers · Posted 2026.10.11 · Preprint
Verifying Autoware Controller Node by Combining Model Verification and Runtime Monitoring
Verifying Autoware Controller Node by Combining Model Verification and Runtime Monitoring
Overview
The authors model Autoware trajectory control as a hybrid system and prove safety and liveness properties. Runtime monitoring checks compatibility between the verified abstraction and implementation behavior during numerical simulation.
Publication and version information
This expanded manuscript remains a preprint. The author-reported acceptance or publication relates to a shorter earlier version; source wording is retained below.
Author-supplied source information
Author-supplied information on arXiv.
34 pages, 9 figures, 2 tables. Extended version of a paper accepted at SEFM 2026
Version: v1