Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems.

Maryam Bagheri, Edward A. Lee, Eunsuk Kang, Marjan Sirjani, Ehsan Khamespanah, Ali Movaghar

Browse the full MEMOCODE paper archive.