Ashutosh Trivedi

ORCID

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 119

Top Venues

University of Warwick, Coventry, UK (PHD)

Education History

University of Warwick, Coventry, UK

PHD

Publications

Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez
Assume-Guarantee Reinforcement Learning. AAAI (2024)
Mateo Perez, Fabio Somenzi, Ashutosh Trivedi
A PAC Learning Algorithm for LTL and Omega-Regular Objectives in MDPs. AAAI (2024)
Alvaro Velasquez, Ismail Alkhouri, Andre Beckus, Ashutosh Trivedi, George K. Atia
Controller synthesis for linear temporal logic and steady-state specifications. Auton. Agents Multi Agent Syst. 38 (1) (2024)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Omega-Regular Decision Processes. AAAI (2024)
Vishnu Murali, Ashutosh Trivedi, Majid Zamani
Closure Certificates. HSCC (2024)
Alireza Nadali, Ashutosh Trivedi, Majid Zamani
Transfer of Safety Controllers Through Learning Deep Inverse Dynamics Model. CoRR (2024)
Salvador Robles Herrera, Verya Monjezi, Vladik Kreinovich, Ashutosh Trivedi, Saeid Tizpaz-Niari
Predicting Fairness of ML Software Configuration. CoRR (2024)
Salvador Robles Herrera, Verya Monjezi, Vladik Kreinovich, Ashutosh Trivedi, Saeid Tizpaz-Niari
Predicting Fairness of ML Software Configurations. PROMISE (2024)
Verya Monjezi, Ashish Kumar, Gang Tan, Ashutosh Trivedi, Saeid Tizpaz-Niari
Causal Graph Fuzzing for Fair ML Sofware Development. ICSE Companion (2024)
Ashutosh Gupta, John Komp, Abhay Singh Rajput, Shankaranarayanan Krishna, Ashutosh Trivedi, Namrita Varshney
Integrating Explanations in Learning LTL Specifications from Demonstrations. CoRR (2024)
Richard Roberson, Gowtham Kaki, Ashutosh Trivedi
Analyzing the Effectiveness of Large Language Models on Text-to-SQL Synthesis. CoRR (2024)
Alireza Nadali, Vishnu Murali, Ashutosh Trivedi, Majid Zamani
Neural Closure Certificates. AAAI (2024)
Taylor Dohmen, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi
Regular Reinforcement Learning. CAV (3) (2024)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Multi-objective ω-Regular Reinforcement Learning. Formal Aspects Comput. 35 (2) (2023)
Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi
Policy Synthesis and Reinforcement Learning for Discounted LTL. CAV (1) (2023)
Taylor Dohmen, Ashutosh Trivedi
Reinforcement Learning with Depreciating Assets. CoRR (2023)
Mohammad Afzal, Sankalp Gambhir, Ashutosh Gupta, Krishna S, Ashutosh Trivedi, Alvaro Velasquez
LTL-Based Non-Markovian Inverse Reinforcement Learning. AAMAS (2023)
Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna, Ashutosh Trivedi
Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements. AAAI (2023)
Vishnu Murali, Ashutosh Trivedi, Majid Zamani
Closure Certificates. CoRR (2023)
Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi
Policy Synthesis and Reinforcement Learning for Discounted LTL. CoRR (2023)
Dananjay Srinivas, Rohan Das, Saeid Tizpaz-Niari, Ashutosh Trivedi, Maria Leonor Pacheco
On the Potential and Limitations of Few-Shot In-Context Learning to Generate Metamorphic Specifications for Tax Preparation Software. CoRR (2023)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Omega-Regular Decision Processes. CoRR (2023)
Amin Falah, Shibashis Guha, Ashutosh Trivedi
Reinforcement Learning for Omega-Regular Specifications on Continuous-Time MDP. CoRR (2023)
Mateo Perez, Fabio Somenzi, Ashutosh Trivedi
A PAC Learning Algorithm for LTL and Omega-regular Objectives in MDPs. CoRR (2023)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning. TACAS (1) (2023)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Omega-Regular Reward Machines. ECAI (2023)
Alireza Nadali, Ashutosh Trivedi, Majid Zamani
Transfer Learning for Barrier Certificates. CDC (2023)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Omega-Regular Reward Machines. CoRR (2023)
Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez
Assume-Guarantee Reinforcement Learning. CoRR (2023)
Verya Monjezi, Ashutosh Trivedi, Gang Tan, Saeid Tizpaz-Niari
Information-Theoretic Testing and Debugging of Fairness Defects in Deep Neural Networks. ICSE (2023)
Verya Monjezi, Ashutosh Trivedi, Gang Tan, Saeid Tizpaz-Niari
Information-Theoretic Testing and Debugging of Fairness Defects in Deep Neural Networks. CoRR (2023)
Taylor Dohmen, Ashutosh Trivedi
Reinforcement Learning with Depreciating Assets. AAMAS (2023)
Saeid Tizpaz-Niari, Verya Monjezi, Morgan Wagner, Shiva Darian, Krystia Reed, Ashutosh Trivedi
Metamorphic Testing and Debugging of Tax Preparation Software. ICSE (SEIS) (2023)
Vishnu Murali, Ashutosh Trivedi, Majid Zamani
Co-Buchi Barrier Certificates for Discrete-time Dynamical Systems. CoRR (2023)
Amin Falah, Shibashis Guha, Ashutosh Trivedi
Reinforcement Learning for Omega-Regular Specifications on Continuous-Time MDP. ICAPS (2023)
Stanley Bak, Taylor Dohmen, K. Subramani, Ashutosh Trivedi, Alvaro Velasquez, Piotr Wojciechowski
The Octatope Abstract Domain for Verification of Neural Networks. FM (2023)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Alternating Good-for-MDP Automata. CoRR (2022)
Vrunda Dave, Shankara Narayanan Krishna, Vishnu Murali, Ashutosh Trivedi
Optimal Repair for Omega-Regular Properties. ATVA (2022)
Taylor Dohmen, Noah Topper, George K. Atia, Andre Beckus, Ashutosh Trivedi, Alvaro Velasquez
Inferring Probabilistic Reward Machines from Non-Markovian Reward Signals for Reinforcement Learning. ICAPS (2022)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Recursive Reinforcement Learning. CoRR (2022)
Saeid Tizpaz-Niari, Ashish Kumar, Gang Tan, Ashutosh Trivedi
Fairness-aware Configuration of Machine Learning Libraries. ICSE (2022)
Vrunda Dave, Shankara Narayanan Krishna, Vishnu Murali, Ashutosh Trivedi
Optimal Repair For Omega-regular Properties. CoRR (2022)
Saeid Tizpaz-Niari, Morgan Wagner, Shiva Darian, Krystia Reed, Ashutosh Trivedi
Metamorphic Testing and Debugging of Tax Preparation Software. CoRR (2022)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
An Impossibility Result in Automata-Theoretic Reinforcement Learning. ATVA (2022)
Abolfazl Lavaei, Mateo Perez, Milad Kazemi, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani
Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems. CoRR (2022)
Vishnu Murali, Ashutosh Trivedi, Majid Zamani
A Scenario Approach for Synthesizing k-Inductive Barrier Certificates. IEEE Control. Syst. Lett. 6 (2022)
Saeid Tizpaz-Niari, Ashish Kumar, Gang Tan, Ashutosh Trivedi
Fairness-aware Configuration of Machine Learning Libraries. CoRR (2022)
Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani
k-Inductive Barrier Certificates for Stochastic Systems. HSCC (2022)
Siyuan Liu, Ashutosh Trivedi, Xiang Yin, Majid Zamani
Secure-by-construction synthesis of cyber-physical systems. Annu. Rev. Control. 53 (2022)
Rajeev Alur, Taylor Dohmen, Ashutosh Trivedi
Composing Copyless Streaming String Transducers. CoRR (2022)
Siyuan Liu, Ashutosh Trivedi, Xiang Yin, Majid Zamani
Secure-by-Construction Synthesis of Cyber-Physical Systems. CoRR (2022)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Reinforcement Learning with Guarantees that Hold for Ever. FMICS (2022)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Recursive Reinforcement Learning. NeurIPS (2022)
Alvaro Velasquez, Ismail Alkhouri, Andre Beckus, Ashutosh Trivedi, George K. Atia
Controller Synthesis for Omega-Regular and Steady-State Specifications. AAMAS (2022)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Alternating Good-for-MDPs Automata. ATVA (2022)
Noah Topper, George K. Atia, Ashutosh Trivedi, Alvaro Velasquez
Active Grammatical Inference for Non-Markovian Planning. ICAPS (2022)
Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez
Translating Omega-Regular Specifications to Average Objectives for Model-Free Reinforcement Learning. AAMAS (2022)
Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani
Safety Verification of Dynamical Systems via k-Inductive Barrier Certificates. CDC (2021)
Tianhan Lu, Bor-Yuh Evan Chang, Ashutosh Trivedi
Selectively-Amortized Resource Bounding. SAS (2021)
Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani
Formal verification of hyperproperties for control systems. CAADCPS@CPSIoTWeek (2021)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives. FM (2021)
Alvaro Velasquez, Andre Beckus, Taylor Dohmen, Ashutosh Trivedi, Noah Topper, George K. Atia
Learning Probabilistic Reward Machines from Non-Markovian Stochastic Reward Processes. CoRR (2021)
Vrunda Dave, Taylor Dohmen, Shankara Narayanan Krishna, Ashutosh Trivedi
Regular Model Checking with Regular Relations. FCT (2021)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Model-free Reinforcement Learning for Branching Markov Decision Processes. CoRR (2021)
Taylor Dohmen, Ashutosh Trivedi
Discounting the Past in Stochastic Games. CoRR (2021)
Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani
Formal Verification of Control Systems against Hyperproperties via Barrier Certificates. CoRR (2021)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Mungojerrie: Reinforcement Learning of Linear-Time Objectives. CoRR (2021)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Model-Free Reinforcement Learning for Branching Markov Decision Processes. CAV (2) (2021)
Kalyani Dole, Ashutosh Gupta, John Komp, Shankara Narayanan Krishna, Ashutosh Trivedi
Event-Triggered and Time-Triggered Duration Calculus for Model-Free Reinforcement Learning. RTSS (2021)
Tianhan Lu, Bor-Yuh Evan Chang, Ashutosh Trivedi
Selectively-Amortized Resource Bounding. CoRR (2021)
Alvaro Velasquez, Ashutosh Trivedi, Ismail Alkhouri, Andre Beckus, George K. Atia
Controller Synthesis for Omega-Regular and Steady-State Specifications. CoRR (2021)
Saeid Tizpaz-Niari, Pavol Cerný, Sriram Sankaranarayanan, Ashutosh Trivedi
Quantitative estimation of side-channel leaks with neural networks. Int. J. Softw. Tools Technol. Transf. 23 (4) (2021)
Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi
Detecting and Understanding Real-World Differential Performance Bugs in Machine Learning Libraries. CoRR (2020)
Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi
Data-Driven Debugging for Functional Side Channels. NDSS (2020)
Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin, Sriram Sankaranarayanan, Ashutosh Trivedi
Weighted Transducers for Robustness Verification. CONCUR (2020)
Abolfazl Lavaei, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning. ICCPS (2020)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Reward Shaping for Reinforcement Learning with Omega-Regular Objectives. CoRR (2020)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives. ATVA (2020)
Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi
Detecting and understanding real-world differential performance bugs in machine learning libraries. ISSTA (2020)
Abolfazl Lavaei, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning. CoRR (2020)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Model-Free Reinforcement Learning for Stochastic Parity Games. CONCUR (2020)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning. TACAS (1) (2020)
Ernst Moritz Hahn, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi, Sven Schewe, Dominik Wojtczak
Good-for-MDPs Automata. CoRR (2019)
Tianhan Lu, Pavol Cerný, Bor-Yuh Evan Chang, Ashutosh Trivedi
Type-Directed Bounding of Collections in Reactive Programs. VMCAI (2019)
Shibashis Guha, Ashutosh Trivedi
Expected Reachability-Price Games. FORMATS (2019)
Vrunda Dave, Taylor Dohmen, Shankara Narayanan Krishna, Ashutosh Trivedi
MSO-Definable Regular Model Checking. CoRR (2019)
Fabio Somenzi, Ashutosh Trivedi
Reinforcement Learning and Formal Requirements. NSV@CAV (2019)
Saeid Tizpaz-Niari, Pavol Cerný, Sriram Sankaranarayanan, Ashutosh Trivedi
Efficient Detection and Quantification of Timing Leaks with Neural Networks. RV (2019)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Omega-Regular Objectives in Model-Free Reinforcement Learning. TACAS (1) (2019)
Devendra Bhave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi
On Timed Scope-Bounded Context-Sensitive Languages. DLT (2019)
Saeid Tizpaz-Niari, Pavol Cerný, Sriram Sankaranarayanan, Ashutosh Trivedi
Efficient Detection and Quantification of Timing Leaks with Neural Networks. CoRR (2019)
Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi
Quantitative Mitigation of Timing Side Channels. CAV (1) (2019)
Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi
Quantitative Mitigation of Timing Side Channels. CoRR (2019)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Limit reachability for model-free reinforcement learning of ω-regular objectives. SNR (2019)
Devendra Bhave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi
On Timed Scope-bounded Context-sensitive Languages. CoRR (2019)
Tianhan Lu, Pavol Cerný, Bor-Yuh Evan Chang, Ashutosh Trivedi
Type-directed Bounding of Collections in Reactive Programs. CoRR (2018)
Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi
Data-Driven Debugging for Functional Side Channels. CoRR (2018)
Fabio Somenzi, Behrouz Touri, Ashutosh Trivedi
Global Almost-Sure Reachability in Stochastic Constant-Rate Multi-Mode Systems. HSCC (2018)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Omega-Regular Objectives in Model-Free Reinforcement Learning. CoRR (2018)
Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Ashutosh Trivedi
Differential Performance Debugging With Discriminant Regression Trees. AAAI (2018)

Ashutosh Trivedi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ashutosh Trivedi