ECE/CS 584 CPS Verification: Abstractions Part 2.
Review of forward simulation relations; Reachability of rational time automata, multi-rate automata, rectangular hybrid automata
From Sayan Mitra | 11 11 plays | 0
Contact Technology Services to report an issue, offer feedback, or request assistance.
|Illinois Media Space, © 2022 Board of Trustees of the University of Illinois|