1. 2018. Under-approximating reach sets for polynomial continuous systems, author=Xue, Bai and Fränzle, Martin and Zhan, Naijun. In Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week). 51–60.
2. A. Papachristodoulou, J. Anderson, G. Valmorbida, S. Prajna, P. Seiler, P. A. Parrilo, M. M. Peet and D. Jagt. 2021. SOSTOOLS: Sum of squares optimization toolbox for MATLAB.
3. Model Checking Bounded Continuous-time Extended Linear Duration Invariants
4. Numerical verification of affine systems with up to a billion dimensions
5. Irwan Bello Hieu Pham Quoc V Le Mohammad Norouzi and Samy Bengio. 2016. Neural combinatorial optimization with reinforcement learning. arXiv preprint arXiv:1611.09940(2016).