Ashutosh Trivedi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
61
Venues
29
Active years
2007–2026
Best venue rank
A*
Where they publish
- BCONCUR6 papers
- A*AAAI6 papers
- BATVA6 papers
- A*ICSE5 papers
- A*CAV5 papers
- ATACAS4 papers
- AECAI2 papers
- BFM2 papers
- CDLT2 papers
- CLATA2 papers
- A*ICALP2 papers
- A*LICS2 papers
- A*ACL1 paper
- A*IJCAI1 paper
- CFMICS1 paper
- BFCT1 paper
- ARTSS1 paper
- BSAS1 paper
- AISSTA1 paper
- A*NDSS1 paper
- BRV1 paper
- BVMCAI1 paper
- BMFCS1 paper
- BSEFM1 paper
- A*DAC1 paper
- BFMCAD1 paper
- CTAMC1 paper
- CTIME1 paper
- Journal PublishedEMSOFT1 paper
Papers
61 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CONCUR | Asymmetrically Discounted Stochastic Games. | Sarvin Bahmani, Soumyajit Paul, Sven Schewe, Shadi Tasdighi Kalat, Ashutosh Trivedi |
| 2025 | ACL | Explaining Puzzle Solutions in Natural Language: An Exploratory Study on 6x6 Sudoku. | Anirudh Maiya, Razan Alghamdi, Maria Leonor Pacheco, Ashutosh Trivedi, Fabio Somenzi |
| 2025 | IJCAI | Continuous-Time Reward Machines. | Amin Falah, Shibashis Guha, Ashutosh Trivedi |
| 2025 | ICSE | Fairness Testing Through Extreme Value Theory. | Verya Monjezi, Ashutosh Trivedi, Vladik Kreinovich, Saeid Tizpaz-Niari |
| 2024 | AAAI | Omega-Regular Decision Processes. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2024 | AAAI | Assume-Guarantee Reinforcement Learning. | Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez |
| 2024 | AAAI | Neural Closure Certificates. | Alireza Nadali, Vishnu Murali, Ashutosh Trivedi, Majid Zamani |
| 2024 | AAAI | A PAC Learning Algorithm for LTL and Omega-Regular Objectives in MDPs. | Mateo Perez, Fabio Somenzi, Ashutosh Trivedi |
| 2024 | CAV | Regular Reinforcement Learning. | Taylor Dohmen, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi |
| 2024 | ECAI | Multi-Agent Reinforcement Learning for Alternating-Time Logic. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2024 | ICSE | Causal Graph Fuzzing for Fair ML Sofware Development. | Verya Monjezi, Ashish Kumar, Gang Tan, Ashutosh Trivedi, Saeid Tizpaz-Niari |
| 2023 | AAAI | Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements. | Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna, Ashutosh Trivedi |
| 2023 | CAV | Policy Synthesis and Reinforcement Learning for Discounted LTL. | Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi |
| 2023 | ECAI | Omega-Regular Reward Machines. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2023 | FM | The Octatope Abstract Domain for Verification of Neural Networks. | Stanley Bak, Taylor Dohmen, K. Subramani, Ashutosh Trivedi, Alvaro Velasquez, Piotr Wojciechowski |
| 2023 | ICSE | Information-Theoretic Testing and Debugging of Fairness Defects in Deep Neural Networks. | Verya Monjezi, Ashutosh Trivedi, Gang Tan, Saeid Tizpaz-Niari |
| 2023 | ICSE | Metamorphic Testing and Debugging of Tax Preparation Software. | Saeid Tizpaz-Niari, Verya Monjezi, Morgan Wagner, Shiva Darian, Krystia Reed, Ashutosh Trivedi |
| 2023 | TACAS | Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2022 | ATVA | Optimal Repair for Omega-Regular Properties. | Vrunda Dave, Shankara Narayanan Krishna, Vishnu Murali, Ashutosh Trivedi |
| 2022 | ATVA | An Impossibility Result in Automata-Theoretic Reinforcement Learning. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2022 | ATVA | Alternating Good-for-MDPs Automata. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2022 | FMICS | Reinforcement Learning with Guarantees that Hold for Ever. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2022 | ICSE | Fairness-aware Configuration of Machine Learning Libraries. | Saeid Tizpaz-Niari, Ashish Kumar, Gang Tan, Ashutosh Trivedi |
| 2021 | CAV | Model-Free Reinforcement Learning for Branching Markov Decision Processes. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2021 | FCT | Regular Model Checking with Regular Relations. | Vrunda Dave, Taylor Dohmen, Shankara Narayanan Krishna, Ashutosh Trivedi |
| 2021 | FM | Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2021 | RTSS | Event-Triggered and Time-Triggered Duration Calculus for Model-Free Reinforcement Learning. | Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna, Ashutosh Trivedi |
| 2021 | SAS | Selectively-Amortized Resource Bounding. | Tianhan Lu, Bor-Yuh Evan Chang, Ashutosh Trivedi |
| 2020 | ATVA | Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2020 | CONCUR | Weighted Transducers for Robustness Verification. | Emmanuel Filiot, Nicolas Mazzocchi, Jean-Franois Raskin, Sriram Sankaranarayanan, Ashutosh Trivedi |
| 2020 | CONCUR | Model-Free Reinforcement Learning for Stochastic Parity Games. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2020 | ISSTA | Detecting and understanding real-world differential performance bugs in machine learning libraries. | Saeid Tizpaz-Niari, Pavol Cern, Ashutosh Trivedi |
| 2020 | NDSS | Data-Driven Debugging for Functional Side Channels. | Saeid Tizpaz-Niari, Pavol Cern, Ashutosh Trivedi |
| 2020 | TACAS | Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2019 | CAV | Reinforcement Learning and Formal Requirements. | Fabio Somenzi, Ashutosh Trivedi |
| 2019 | CAV | Quantitative Mitigation of Timing Side Channels. | Saeid Tizpaz-Niari, Pavol Cern, Ashutosh Trivedi |
| 2019 | DLT | On Timed Scope-Bounded Context-Sensitive Languages. | Devendra Bhave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi |
| 2019 | RV | Efficient Detection and Quantification of Timing Leaks with Neural Networks. | Saeid Tizpaz-Niari, Pavol Cern, Sriram Sankaranarayanan, Ashutosh Trivedi |
| 2019 | TACAS | Omega-Regular Objectives in Model-Free Reinforcement Learning. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2019 | VMCAI | Type-Directed Bounding of Collections in Reactive Programs. | Tianhan Lu, Pavol Cern, Bor-Yuh Evan Chang, Ashutosh Trivedi |
| 2018 | AAAI | Differential Performance Debugging With Discriminant Regression Trees. | Saeid Tizpaz-Niari, Pavol Cern, Bor-Yuh Evan Chang, Ashutosh Trivedi |
| 2017 | ATVA | The Reach-Avoid Problem for Constant-Rate Multi-mode Systems. | Shankara Narayanan Krishna, Aviral Kumar, Fabio Somenzi, Behrouz Touri, Ashutosh Trivedi |
| 2017 | TACAS | Discriminating Traces with Time. | Saeid Tizpaz-Niari, Pavol Cern, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Ashutosh Trivedi |
| 2016 | DLT | A Perfect Class of Context-Sensitive Timed Languages. | Devendra Bhave, Vrunda Dave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi |
| 2016 | LATA | A Logical Characterization for Dense-Time Visibly Pushdown Automata. | Devendra Bhave, Vrunda Dave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi |
| 2016 | MFCS | Stochastic Timed Games Revisited. | S. Akshay, Patricia Bouyer, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi |
| 2016 | SEFM | Incentive Stackelberg Mean-Payoff Games. | Anshul Gupta, Sven Schewe, Ashutosh Trivedi, Sai Krishna Deepak Maram, Bharath Kumar Padarthi |
| 2015 | DAC | Compositional modeling and analysis of automotive feature product lines. | Shankara Narayanan Krishna, Ganesh Khandu Narwane, S. Ramesh, Ashutosh Trivedi |
| 2015 | FMCAD | Skolem Functions for Factored Formulas. | Ajith K. John, Shetal Shah, Supratik Chakraborty, Ashutosh Trivedi, S. Akshay |
| 2015 | ICALP | Symmetric Strategy Improvement. | Sven Schewe, Ashutosh Trivedi, Thomas Varghese |
| 2015 | LATA | Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable. | Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi |
| 2015 | TAMC | On Pure Nash Equilibria in Stochastic Games. | Ankush Das, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi, Dominik Wojtczak |
| 2015 | TIME | Reachability Games on Recursive Hybrid Automata. | Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi |
| 2014 | CONCUR | Adding Negative Prices to Priced Timed Games. | Thomas Brihaye, Gilles Geeraerts, Shankara Narayanan Krishna, Lakshmi Manasa, Benjamin Monmege, Ashutosh Trivedi |
| 2013 | LICS | From Monadic Second-Order Definable String Transformations to Transducers. | Rajeev Alur, Antoine Durand-Gasselin, Ashutosh Trivedi |
| 2012 | CONCUR | Playing Stochastic Games Precisely. | Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, Aistis Simaitis, Ashutosh Trivedi, Michael Ummels |
| 2012 | LICS | Regular Transformations of Infinite Strings. | Rajeev Alur, Emmanuel Filiot, Ashutosh Trivedi |
| 2011 | EMSOFT | Relating average and discounted costs for quantitative analysis of timed systems. | Rajeev Alur, Ashutosh Trivedi |
| 2010 | ATVA | Recursive Timed Automata. | Ashutosh Trivedi, Dominik Wojtczak |
| 2009 | CONCUR | Concavely-Priced Probabilistic Timed Automata. | Marcin Jurdzinski, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi |
| 2007 | ICALP | Reachability-Time Games on Timed Automata. | Marcin Jurdzinski, Ashutosh Trivedi |