Cinzia Bernardeschi

affiliation not provided to SSRN

Learn more about SSRN Profiles

SCHOLARLY PAPERS

1

DOWNLOADS

28

TOTAL CITATIONS

0

Feedback

Scholarly Papers (1)

Sort by:

Actions:

View:
Selected
Original List
All Versions Hide All Versions
All Abstracts Hide All Abstracts

(Rank)

1.

Neural Networks in Closed-Loop Systems: Verification Using Interval Arithmetic and Formal Prover

Number of pages: 29 Posted: 30 May 2024

Federico Rossi, Cinzia Bernardeschi and Marco Cococcioni

University of Pisa, affiliation not provided to SSRN and University of Pisa

Downloads 28 (1,372,601)

Abstract:

Feedback

All content on this site: Copyright © 2026 Elsevier Inc., its licensors, and contributors. All rights are reserved, including those for text and data mining, AI training, and similar technologies. For all open access content, the relevant licensing terms apply.

We use cookies to help provide and enhance our service and tailor content.

To learn more, visit .