Follow
Learning fixed-complexity polyhedral Lyapunov functions from counterexamples. (arXiv:2204.06693v1 [math.OC]) http://arxiv.org/abs/2204.06693
Learning fixed-complexity polyhedral Lyapunov functions from counterexamples. (arXiv:2204.06693v1 [math.OC]) http://arxiv.org/abs/2204.06693