Unlike typical AI tools, NotebookLM is designed to help you interact with sources you upload to notebooks. This means the best way to use NotebookLM efficiently is by populating your notebooks with ...

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 ...

Abstract: This paper considers the general problem of transitioning theoretically safe controllers to hardware. Concretely, we explore the application of control barrier functions (CBFs) to ...