A Symbolic Algorithm for Shortest EG Witness Generation.

Yang Zhao, Xiaoqing Jin, Gianfranco Ciardo

Browse the full TASE paper archive.