New journal and conference paper acceptances

Several papers have been accepted for publication:

Journal Papers:

• A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution — Automatica (accepted)
• Piecewise Stochastic Barrier Functions — Automatica (accepted)

Conference Papers:

• Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation — L4DC 2026 (accepted)
• Certified Neural Approximations of Nonlinear Dynamics — SAIV 2026 (accepted)
• Realistic Adversarial Attacks for Robustness Evaluation of Trajectory Prediction Models via Future State Perturbation — Journal on Autonomous Transportation Systems (accepted)

Thank you to all collaborators and reviewers!