Bai Xue - Author | Cureus Journals

Bai Xue, Ph.D.

Primary Journal - Cureus Journal of Computer Science

Create your FREE profile now!

Join the discussion with researchers around the globe - sign up for your free Cureus account today.

About

Reviewer Keywords

reach-avoid dynamical systems polynomial systems inner approximation sum-of-squares semi-definite programming barrier certificates reach-avoid set verification problem initial state

Reviewer Categories

Remote Work and Collaboration Tools Green Computing and Sustainability Requirements Engineering Web knowledge management, web agents, advanced hypermedia