no code implementations • 20 Feb 2023 • Pepijn Cox, Mario Coutino, Giuseppe Papari, Ahmad Mouri Sardarabadi, Laura Anitori
The proposed framework can be used by radar practitioners and researchers for applying run-time-verification to adaptive, re-configurable radar systems.