Ayush Pandey

According to our database, Ayush Pandey authored at least 10 papers between 2020 and 2026.

Collaborative distances:

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

2026

Teach2Learn: Assessing the Learning among CS1 Students on How Well They Can Teach LLM-Simulated Students.

Aizen Baidya, Ayush Pandey

Proceedings of the 57th ACM Technical Symposium on Computer Science Education V.2, 2026

2025

Pacti: Assume-Guarantee Contracts for Efficient Compositional Analysis and Design.

Inigo Incer, Apurva Badithela, Josefine B. Graebener, Piergiuseppe Mallozzi, Ayush Pandey, Nicolas Rouquette, Sheng-Jung Yu, Albert Benveniste, Benoît Caillaud, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

ACM Trans. Cyber Phys. Syst., January, 2025

Parameter Robustness in Data-Driven Estimation of Dynamical Systems.

Ayush Pandey

Proceedings of the 64th IEEE Conference on Decision and Control, 2025

2024

Guaranteeing System-level Properties in Genetic Circuits Subject to Context Effects.

Inigo Incer, Ayush Pandey, Nicholas Nolan, Emma L. Peterman, Kate E. Galloway, Eduardo D. Sontag, Domitilla Del Vecchio

Proceedings of the 63rd IEEE Conference on Decision and Control, 2024

2023

Fast and flexible simulation and parameter estimation for synthetic biology using bioscrape.

Ayush Pandey, William Poole, Anandh Swaminathan, Victoria Hsiao, Richard M. Murray

J. Open Source Softw., March, 2023

Fast and flexible simulation and parameter estimation for synthetic biology using bioscrape.

Ayush Pandey, William Poole, Anandh Swaminathan, Victoria Hsiao, Richard M. Murray

Dataset, February, 2023

Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design.

Inigo Incer, Apurva Badithela, Josefine Graebener, Piergiuseppe Mallozzi, Ayush Pandey, Sheng-Jung Yu, Albert Benveniste, Benoît Caillaud, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

CoRR, 2023

2022

BioCRNpyler: Compiling chemical reaction networks from biomolecular parts in diverse contexts.

William Poole, Ayush Pandey, Andrey Shur, Zoltán A. Tuza, Richard M. Murray

PLoS Comput. Biol., 2022

2021

Robustness Guarantees for Structured Model Reduction of Dynamical Systems.

Ayush Pandey, Richard M. Murray

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020

On a Converse theorem for Finite-time Lyapunov Functions to Estimate Domains of Attraction.

Ayush Pandey, Aaron D. Ames

Proceedings of the 2020 American Control Conference, 2020