Login / Signup
Reduced Conservatism Proof of the Balanced MIMO Gain and Phase Margins.
David Seiferth
Rubens Junqueira Magalhães Afonso
Florian Holzapfel
Matthias Heller
Published in:
CDC (2020)
Keyphrases
</>
significantly reduced
machine learning
genetic algorithm
theorem prover
learning phase
mimo systems
data sets
theorem proving
proof theory
mathematical proofs