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.

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

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