Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Sayan Mitra
Invariant Synthesis for Verification of Parameterized Cyber-Physical Systems With Applications to Aerospace Systems
Proving Atomicity: An Assertional Approach
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Periodically Controlled Hybrid Systems: Application to an Autonomous Vehicle
