Home
People
Research
Publications
Tools
Teaching
Outreach
Contact
Light
Dark
Automatic
Robert A. Thacker
Latest
Automatic abstraction for verification of cyber-physical systems
A new verification method for embedded systems
Implicit Methods for Timed Circuit Synthesis
Cite
×