Search for tag: "bisimulations"

ECE/CS 584 CPS Verification: Abstractions Part 2.

Review of forward simulation relations; …

From  Sayan Mitra 16 plays 0