Inferring unknown constraints is a challenging and crucial problem in ma...
In multi-agent dynamic games, the Nash equilibrium state trajectory of e...
As a unique biometric that can be perceived at a distance, gait has broa...
Crowd Counting has important applications in public safety and pandemic
...
In this paper, we consider the infinite-horizon reach-avoid zero-sum gam...
In this paper, we study certifying the robustness of ReLU neural network...
In this paper, we consider the problem of certifying the robustness of n...