Xiaojuan Cai (SJTU)

Title: The Reachability/Coverability Problems of VAS - a survey 

Abstract: We survey 40 years (1976 - 2015) of research on
reachabliity/coverability of VAS and its variants. We collect
results on the decidability proofs and complexity lower/upper
bounds. We also investigate the proof techniques that lead to some
of these important results.

This survey is based on the discussions in weekly seminars of
BASICS lab.