- Rossi, F., Bernardeschi, C., Cococcioni, M., & Palmieri, M. (2024, May). Towards Formal Verification of Neural Networks in Cyber-Physical Systems. In NASA Formal Methods Symposium (pp. 207-222). Cham: Springer Nature Switzerland.
- Federico Rossi, Cinzia Bernardeschi, Marco Cococcioni, Neural networks in closed-loop systems: Verification using interval arithmetic and formal prover, Engineering Applications of Artificial Intelligence, Volume 137, Part B, 2024, 109238, ISSN 0952-1976, https://doi.org/10.1016/j.engappai.2024.109238
- C. Bernardeschi, M. Cococcioni, M. Palmieri and F. Rossi, "Training Neural Networks in Cyber-Physical Systems using Design Space Exploration and Co-Simulation," 2023 International Conference on Electrical, Communication and Computer Engineering (ICECCE), Dubai, United Arab Emirates, 2023, pp. 1-6, doi: 10.1109/ICECCE61019.2023.10442825.
- Bernardeschi, C., Lettieri, G., Rossi, F. (2025). Statistical Model Checking of Cooperative Autonomous Driving Systems. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems. ISoLA 2024. Lecture Notes in Computer Science, vol 15220. Springer, Cham. https://doi.org/10.1007/978-3-031-75107-3_19
Pinned Loading
Repositories
Showing 4 of 4 repositories
- torchverif Public
unipi-dii-mlverif/torchverif’s past year of commit activity - unifmu-docker Public
unipi-dii-mlverif/unifmu-docker’s past year of commit activity - example_digital-twin_incubator Public Forked from INTO-CPS-Association/example_digital-twin_incubator
unipi-dii-mlverif/example_digital-twin_incubator’s past year of commit activity
