Abstract: We propose a counter-example guided inductive synthesis (CEGIS) scheme for the design of control Lyapunov functions and associated state-feedback controllers for linear systems affected by ...

This is a collection of algorithms related to multiple view camera calibration in computer vision. Please note that the goal of this package is to provide minimal examples to demonstrate the concept ...

Mother Mary wearing a respirator to protect herself from tear gas. Baby Jesus with zip-tied hands, wrapped in a thin blanket that looks like aluminum foil. Masked centurions with sunglasses and green ...