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

For decades, software developers have been slipping jokes into their work. One of the most enduring, clever, and geekily satisfying inside jokes has been hiding in plain sight: the recursive acronym.