Abstract: This paper presents an approach to design control barrier functions (CBFs) for arbitrary state and input constraints using tools from the reference governor literature. In particular, it is ...

Abstract: Synthesizing ranking functions for loop programs is an important technique for proving termination. Unlike previous deep learning approaches that depend on program execution to obtain ...