This is the sourcecode for the live website for the graduate textbook:
Verifying Cyber-Physical Systems: A path to safe autonomy by Sayan Mitra
Publisher: The MIT Press (February 16, 2021)
Language: English
Hardcover: 312 pages
ISBN-10: 0262044803
ISBN-13: 978-0262044806
The website hosts additional problems, slides, lecture notes, and links to courses taught using this book.