Aditi Kabra

According to our database, Aditi Kabra authored at least 7 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

LLM-Powered Automatic Theorem Proving and Synthesis for Hybrid Systems and Game.

Aditi Kabra, Jonathan Laurent, Ruben Martins, Stefan Mitsch, André Platzer

CoRR, March, 2026

2025

Hybrid Game Control Envelope Synthesis.

Aditi Kabra, Jonathan Laurent, Stefan Mitsch, André Platzer

CoRR, August, 2025

Can Large Language Models Autoformalize Kinematics?

Aditi Kabra, Jonathan Laurent, Sagar Bharadwaj, Ruben Martins, Stefan Mitsch, André Platzer

Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, 2025

2024

CESAR: Control Envelope Synthesis via Angelic Refinements.

Aditi Kabra, Jonathan Laurent, Stefan Mitsch, André Platzer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2022

Verified Train Controllers for the Federal Railroad Administration Train Kinematics Model: Balancing Competing Brake and Track Forces.

Aditi Kabra, Stefan Mitsch, André Platzer

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

2020

Geometry types for graphics programming.

Dietrich Geisler, Irene Yoon, Aditi Kabra, Horace He, Yinnon Sanders, Adrian Sampson

Proc. ACM Program. Lang., 2020

Online verification of commutativity.

Aditi Kabra, Dietrich Geisler, Adrian Sampson

Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis, 2020