Papachristodoulou, Antonis

4 publications

NeurIPS 2025 Constrained Diffusers for Safe Planning and Control Jichen Zhang, Liqun Zhao, Antonis Papachristodoulou, Jack Umenberger

L4DC 2025 Opt-ODENet: Neural ODE Controller Design with Differentiable Optimization Layers for Safety and Stability Keyan Miao, Liqun Zhao, Han Wang, Konstantinos Gatsis, Antonis Papachristodoulou

L4DC 2021 Exploiting Sparsity for Neural Network Verification Matthew Newton, Antonis Papachristodoulou

L4DC 2021 Tight Sampling and Discarding Bounds for Scenario Programs with an Arbitrary Number of Removed Samples Licio Romao, Kostas Margellos, Antonis Papachristodoulou