Research output per year
Research output per year
Search results
-
2023
Poster: Convex Scenario Optimisation for ReLU Networks
Peruffo, A. & Mazo, M., 2023, Proceedings of the 26th ACM International Conference on Hybrid Systems, HSCC 2023: Computation and Control, Part of CPS-IoT Week. Association for Computing Machinery (ACM), 2 p. 26Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
Open AccessFile9 Downloads (Pure) -
Systematic Synthesis of Passive Fault-Tolerant Augmented Neural Lyapunov Control Laws for Nonlinear Systems
Grande, D., Fenucci, D., Peruffo, A., Anderlini, E., Phillips, A. B., Thomas, G. & Salavasidis, G., 2023, Proceedings of the 62nd IEEE Conference on Decision and Control (CDC 2023). IEEE, p. 5851-5856 6 p. (Proceedings of the IEEE Conference on Decision and Control).Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
-
2021
Formal Abstraction and Synthesis of Parametric Stochastic Processes
Peruffo, A. & Abate, A., 2021, Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Proceedings. Dima, C. & Shirmohammadi, M. (eds.). Springer, p. 135-153 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12860 LNCS).Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review