Learning Probabilistic Termination Proofs

von Abate, Alessandro
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 2 (2021)

Neural Abstractions

von Abate, Alessandro
Veröffentlicht in NeurIPS (36. : 2022 : New Orleans, La.; Online) 36th Conference on Neural Information Processing Systems (NeurIPS 2022 ; Volume 34 of 50 (2023)

How Many Bits Does it Take to Quantize Your Neural Network?

von Giacobbe, Mirco
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2020)

SHIELDING ATARI GAMES WITH BOUNDED PRESCIENCE

von Giacobbe, Mirco
Veröffentlicht in AAMAS (20. : 2021 : Online) 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2021) ; Volume 3 of 3 (2021)

AI verification : First International Symposium, SAIV 2024, Montréal, QC, Canada, July 22-23, 2024 : proceedings

Veröffentlicht 2024