verifying cyber-physical systems

Book published

The book is now published! Available from Amazon, Barnes and Noble, and Penguin.

Previous

Course wiki at Illinois

Launched wiki page for the Fall 2019 offering of the CPS verification course at University of Illinois at Urbana-Champaign. This...
Next

Sevaral updates

The kindle version of the book is now available from [amazon]()! Available from [Amazon](https://tinyurl.com/cpsbookindle). This site is also updated with...

This project is maintained by sayanmitracode