Formal Verification of Stability Properties of Cyber-physical Systems
| Title | Formal Verification of Stability Properties of Cyber-physical Systems |
| Publication Type | Conference Paper |
| Year of Publication | 2016 |
| Authors | Matthew Chan, Daniel Ricketts, Sorin Lerner,, Gregory Malecha |
| Conference Name | CoqPL'16: The Second International Workshop on Coq for PL |
| Keywords | 1544757 |
| Citation Key | veridrone:CoqPL |