Decidability of the Reachability for a Family of Linear Vector Fields.

Ting Gan, Mingshuai Chen, Liyun Dai, Bican Xia, Naijun Zhan

Browse the full ATVA paper archive.