3 papers
eess.SY2026
SCORE: Statistical Certification of Regions of Attraction via Extreme Value Theory
Pietro Zanotta, Panos Stinis, Ján Drgoňa
Certifying the Region of Attraction (ROA) for high-dimensional nonlinear dynamical systems remains a severe computational bottleneck. Traditional deterministic verification methods…
quant-ph2025
Quantum Orthogonal Separable Physics-Informed Neural Networks
Pietro Zanotta, Ljubomir Budinski, Caglar Aytekin +1
This paper introduces Quantum Orthogonal Separable Physics-Informed Neural Networks (QO-SPINNs), a novel architecture for solving Partial Differential Equations, integrating quantu…
quant-ph2025
On the Potential of Quantum Computing in Classical Program Analysis
Yicheng Guang, Pietro Zanotta, Kai Zhou +2
Classical program analysis techniques, such as abstract interpretation and symbolic execution, are essential for ensuring software correctness, optimizing performance, and enabling…