1 citations · 1 across the 2 of their papers we have counts for
2 papers
eess.SY2024
How Deduction Systems Can Help You To Verify Stability Properties
Mario Gleirscher, Rehab Massoud, Dieter Hutter +1
Mathematical proofs are a cornerstone of control theory, and it is important to get them right. Deduction systems can help with this by mechanically checking the proofs. However, t…
cs.CC2018★ 1 cited
Fast Witness Counting
Peter Chini, Rehab Massoud, Roland Meyer +1
We study the witness-counting problem: given a set of vectors in the -dimensional vector space over , a target vector , and an integer , count all ways t…