Ertai Luo

不確実性のあるシステムでの安全性を高める新しいアプローチが、到達可能性解析を使って実現されるよ。