Aditi Kabra

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 5

Top Topics

Control Program

Development Environment

Functional Verification

Computer Vision

Top Venues

Proc. ACM Program. Lang.

Publications

Aditi Kabra, Jonathan Laurent, Stefan Mitsch, André Platzer
CESAR: Control Envelope Synthesis via Angelic Refinements. TACAS (1) (2024)
Aditi Kabra, Jonathan Laurent, Stefan Mitsch, André Platzer
CESAR: Control Envelope Synthesis via Angelic Refinements. CoRR (2023)
Aditi Kabra, Stefan Mitsch, André Platzer
Verified Train Controllers for the Federal Railroad Administration Train Kinematics Model: Balancing Competing Brake and Track Forces. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (11) (2022)
Aditi Kabra, Dietrich Geisler, Adrian Sampson
Online verification of commutativity. TAPAS@SPLASH (2020)
Dietrich Geisler, Irene Yoon, Aditi Kabra, Horace He, Yinnon Sanders, Adrian Sampson
Geometry types for graphics programming. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)