40 citations · 84 across the 14 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
Propagation of~Interval Belief Structures and~Imprecise Copulas for~Neural Network Verification
Francesc Pifarre-Esquerda, Eric Goubault, Sylvie Putot
Quantitative verification of neural networks requires reasoning about probabilities under substantial uncertainty in both input distributions and their dependence structure. In rea…
cs.AI2021
Reinforcement Learning with Formal Performance Metrics for Quadcopter Attitude Control under Non-nominal Contexts
Nicola Bernini, Mikhail Bessa, Rémi Delmas +5
We explore the reinforcement learning approach to designing controllers by extensively discussing the case of a quadcopter attitude controller. We provide all details allowing to r…