Xinwei Chai, Tony Ribeiro, Morgan Magnin, Olivier F. Roux, Katsumi Inoue. Static Analysis and Stochastic Search for Reachability Problem. In Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany - August 28th, 2018. Volume 350 of Electronic Notes in Theoretical Computer Science, pages 139-158, Elsevier, 2020. [doi]
Abstract is missing.