Efficient Construction of Neural Networks Lyapunov Functions with Domain of Attraction Maximization Topics: Machine Learning in Control Applications; Neural Networks Based Control Systems; Optimization Algorithms In Proceedings of the 17th International Conference on Informatics in Control, Automation and Robotics ICINCO - Volume 1, 174-180, 2020