Search Results for author:
Found 1 papers, 0 papers with code
How Deduction Systems Can Help You To Verify Stability Properties
Mathematical proofs are a cornerstone of control theory, and it is important to get them right.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
