Aniruddha R. Joshi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2023–2026
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | IJCAR | Program Synthesis for Non-linear Real Arithmetic: Going Beyond Realizability. | S. Akshay, Supratik Chakraborty, R. Govind, Aniruddha R. Joshi |
| 2025 | ATVA | Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models. | Aniruddha R. Joshi, Supratik Chakraborty, S. Akshay, Shetal Shah, Hazem Torfah, Sanjit A. Seshia |
| 2023 | CAV | A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation. | S. Akshay, Paul Gastin, R. Govind, Aniruddha R. Joshi, B. Srivathsan |
| 2023 | RV | Learning Monitor Ensembles for Operational Design Domains. | Hazem Torfah, Aniruddha R. Joshi, Shetal Shah, S. Akshay, Supratik Chakraborty, Sanjit A. Seshia |