Follow
Aditi Kabra
Title
Cited by
Cited by
Year
Verified Train Controllers for the Federal Railroad Administration Train Kinematics Model: Balancing Competing Brake and Track Forces
A Kabra, S Mitsch, A Platzer
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2022
112022
Geometry types for graphics programming
D Geisler, I Yoon, A Kabra, H He, Y Sanders, A Sampson
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-25, 2020
82020
Online verification of commutativity
A Kabra, D Geisler, A Sampson
Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for …, 2020
12020
CESAR: Control Envelope Synthesis via Angelic Refinements
A Kabra, J Laurent, S Mitsch, A Platzer
International Conference on Tools and Algorithms for the Construction and …, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–4