CESAR: Control Envelope Synthesis via Angelic Refinements. Aditi Kabra, Jonathan Laurent, Stefan Mitsch, André Platzer. TACAS 2024.

Verified Train Controllers for the Federal Railroad Administration Model: Balancing Competing Brake and Track Forces. Aditi Kabra, Stefan Mitsch, André Platzer. EMSOFT 2022. Best paper finalist.

Geometry Types for Graphics Programming. Dietrich Geisler, Irene Yoon, Aditi Kabra, Horace He, Yinnon Sanders, Adrian Sampson. OOPSLA 2020.

Short Papers

Can Large Language Models Autoformalize Kinematics?. Aditi Kabra, Jonathan Laurent, Sagar Bharadwaj, Ruben Martins, Stefan Mitsch, André Platzer. FMCAD 2025.

Workshop Papers

Online Verification of Commutativity. Aditi Kabra, Dietrich Geisler, Adrian Sampson. TAPAS 2020.