Safety Verification of Multiple Autonomous Systems by Formal Approach.

Kozo Okano, Toshifusa Sekizawa

Browse the full SAFECOMP paper archive.