Lab members published new books

Two new books on formal methods and reinforcement learning for nonlinear control design have been published by members of the Hybrid Systems Labs! 

1. Formal Methods for Control of Nonlinear Systems
   Yinan Li and Jun Liu
   Chapman and Hall/CRC Press, December 2022

2.Model-Based Reinforcement Learning
Milad Farsi and Jun Liu
       IEEE Press/Wiley, December 2022