( en | de | ru )

 

Disambiguation of "Edwards, Alec"

Author of the publication

copydeleteadd this publication to your clipboard
Quantitative Verification With Neural Networks For Probabilistic Programs and Stochastic Systems.

, , , , and . CoRR, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Alec Wodtke

Alec Basson

Céline Alec

Christian Alecke

Jeni Alecu

 

Other publications of authors with the same name

A General Verification Framework for Dynamical and Control Models via Certificate Synthesis., , and . CoRR, (2023)Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models., , and . CoRR, (2023)Neural Abstractions., , and . CoRR, (2023)On the Trade-Off Between Efficiency and Precision of Neural Abstraction., , and . QEST, volume 14287 of Lecture Notes in Computer Science, page 152-171. Springer, (2023)Quantitative Verification with Neural Networks., , , , and . CONCUR, volume 279 of LIPIcs, page 22:1-22:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)FOSSIL: a software tool for the formal synthesis of lyapunov functions and barrier certificates using neural networks., , , , and . HSCC, page 24:1-24:11. ACM, (2021)Stability Analysis of Switched Linear Systems with Neural Lyapunov Functions., , , and . AAAI, page 21010-21018. AAAI Press, (2024)Quantitative Verification With Neural Networks For Probabilistic Programs and Stochastic Systems., , , , and . CoRR, (2023)A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks., , , , and . OVERLAY@GandALF, volume 2987 of CEUR Workshop Proceedings, page 73-75. CEUR-WS.org, (2021)Neural Abstractions., , and . NeurIPS, (2022)