A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alessandro Abate, Daniele Ahmed, Alec Edwards, Mirco Giacobbe, Andrea Peruffo. A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks. In Dario Della Monica, Gian Luca Pozzato, Enrico Scala, editors, Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021. Volume 2987 of CEUR Workshop Proceedings, pages 73-75, CEUR-WS.org, 2021. [doi]

This author has not been identified. Look up 'Alessandro Abate' in GoogleThis author has not been identified. Look up 'Daniele Ahmed' in GoogleThis author has not been identified. Look up 'Alec Edwards' in GoogleThis author has not been identified. Look up 'Mirco Giacobbe' in GoogleThis author has not been identified. Look up 'Andrea Peruffo' in Google

runs on WebDSL