Andrea Peruffo

1. Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models
   2023/11/16 by Alec Edwards, Andrea Peruffo, Edwards, Alec +3 · 8 citations
   Physics and Astronomy · Computer Science · Engineering · #Model Reduction and Neural Networks #Formal Methods in Verification #Real-time simulation and control systems
2. Data-driven Abstractions with Probabilistic Guarantees for Linear PETC Systems
   2022/03/10 by Andrea Peruffo, Manuel Mazo, Peruffo, Andrea +1 · 1 citation
   Computer Science · Engineering · Materials Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Fault Detection and Control Systems #Formal Languages and Automata Theory (cs.FL) #Lanthanide and Transition Metal Complexes #Petri Nets in System Modeling #Systems and Control (eess.SY) #electronic engineering #information engineering
3. Data-driven Interval MDP for Robust Control Synthesis
   2024/04/12 by Rudi Coppola, Andrea Peruffo, Coppola, Rudi +7 · 2 citations
   Decision Sciences · Engineering · #Simulation Techniques and Applications #Probabilistic and Robust Engineering Design #Advanced Control Systems Optimization
4. A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis
   2023/09/12 by Alec Edwards, Edwards, Alec, Andrea Peruffo +3 · 1 citation
   Computer Science · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Systems and Control (eess.SY) #electronic engineering #information engineering