Ashutosh Trivedi

196 papers A* 20A 8B 21C 8Misc 1Journal 89Unranked 45

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Average Reward Reinforcement Learning for Omega-Regular and Mean-Payoff Objectives. J. Artif. Intell. Res. Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez
2026	J	`jnl`	Monotonicity as an Architectural Bias for Robust Language Models. CoRR Patrick Cooper, Alireza Nadali, Ashutosh Trivedi, Alvaro Velasquez
2026	J	`jnl`	On the Robustness of Fairness Practices: A Causal Framework for Systematic Evaluation. CoRR Verya Monjezi, Ashish Kumar, Ashutosh Trivedi, Gang Tan, Saeid Tizpaz-Niari
2025	J	`jnl`	An LLM Agentic Approach for Legal-Critical Software: A Case Study for Tax Prep Software. CoRR Sina Gogani-Khiabani, Ashutosh Trivedi, Diptikalyan Saha, Saeid Tizpaz-Niari
2025	J	`jnl`	Average Reward Reinforcement Learning for Omega-Regular and Mean-Payoff Objectives. CoRR Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez
2025	J	`jnl`	BarrierBench : Evaluating Large Language Models for Safety Verification in Dynamical Systems. CoRR Ali Taheri, Alireza Taban, Sadegh Soudjani, Ashutosh Trivedi
2025	A*	`conf`	Continuous-Time Reward Machines. IJCAI Amin Falah, Shibashis Guha, Ashutosh Trivedi
2025	J	`jnl`	Explaining Hitori Puzzles: Neurosymbolic Proof Staging for Sequential Decisions. CoRR Maria Leonor Pacheco, Fabio Somenzi, Dananjay Srinivas, Ashutosh Trivedi
2025	—	`conf`	Explaining Puzzle Solutions in Natural Language: An Exploratory Study on 6x6 Sudoku. ACL (Findings) Anirudh Maiya, Razan Alghamdi, Maria Leonor Pacheco, Ashutosh Trivedi, Fabio Somenzi
2025	J	`jnl`	Explaining Puzzle Solutions in Natural Language: An Exploratory Study on 6x6 Sudoku. CoRR Anirudh Maiya, Razan Alghamdi, Maria Leonor Pacheco, Ashutosh Trivedi, Fabio Somenzi
2025	A*	`conf`	Fairness Testing Through Extreme Value Theory. ICSE Verya Monjezi, Ashutosh Trivedi, Vladik Kreinovich, Saeid Tizpaz-Niari
2025	J	`jnl`	Fairness Testing through Extreme Value Theory. CoRR Verya Monjezi, Ashutosh Trivedi, Vladik Kreinovich, Saeid Tizpaz-Niari
2025	—	`conf`	Objective Improvement Algorithm for Controller Synthesis in Uncertain Environments. CDC Daniele Dell'Erba, Sven Schewe, Ashutosh Trivedi
2025	—	`conf`	On Choice of Loss Functions for Neural Control Barrier Certificates. QEST+FORMATS Alireza Nadali, Ashutosh Trivedi, Majid Zamani
2025	J	`jnl`	Physics-Informed Reward Machines. CoRR Daniel Ajeleye, Ashutosh Trivedi, Majid Zamani
2025	—	`conf`	Stochastic Neural Simulation Relations for Control Transfer. NeuS Alireza Nadali, Ashutosh Trivedi, Majid Zamani
2025	J	`jnl`	Technical Challenges in Maintaining Tax Prep Software with Large Language Models. CoRR Sina Gogani-Khiabani, Varsha Dewangan, Nina Olson, Ashutosh Trivedi, Saeid Tizpaz-Niari
2025	A*	`conf`	Uncovering Discrimination Clusters: Quantifying and Explaining Systematic Fairness Violations. ASE Ranit Debnath Akash, Ashish Kumar, Verya Monjezi, Ashutosh Trivedi, Gang Tan, Saeid Tizpaz-Niari
2025	J	`jnl`	Uncovering Discrimination Clusters: Quantifying and Explaining Systematic Fairness Violations. CoRR Ranit Debnath Akash, Ashish Kumar, Verya Monjezi, Ashutosh Trivedi, Gang Tan, Saeid Tizpaz-Niari
2025	—	`ed.`	Verification, Model Checking, and Abstract Interpretation - 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I VMCAI (1) Shankaranarayanan Krishna, Sriram Sankaranarayanan, Ashutosh Trivedi
2025	—	`ed.`	Verification, Model Checking, and Abstract Interpretation - 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II VMCAI (2) Shankaranarayanan Krishna, Sriram Sankaranarayanan, Ashutosh Trivedi
2024	A*	`conf`	A PAC Learning Algorithm for LTL and Omega-Regular Objectives in MDPs. AAAI Mateo Perez, Fabio Somenzi, Ashutosh Trivedi
2024	J	`jnl`	Analyzing the Effectiveness of Large Language Models on Text-to-SQL Synthesis. CoRR Richard Roberson, Gowtham Kaki, Ashutosh Trivedi
2024	J	`jnl`	Anticipating Oblivious Opponents in Stochastic Games. CoRR Shadi Tasdighi Kalat, Sriram Sankaranarayanan, Ashutosh Trivedi
2024	A*	`conf`	Assume-Guarantee Reinforcement Learning. AAAI Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez
2024	—	`conf`	Barrier Certificates for Weighted Automata-based Specifications. CDC Vishnu Murali, Ashutosh Trivedi, Majid Zamani
2024	—	`conf`	Causal Graph Fuzzing for Fair ML Sofware Development. ICSE Companion Verya Monjezi, Ashish Kumar, Gang Tan, Ashutosh Trivedi, Saeid Tizpaz-Niari
2024	—	`conf`	Closure Certificates. HSCC Vishnu Murali, Ashutosh Trivedi, Majid Zamani
2024	J	`jnl`	Controller synthesis for linear temporal logic and steady-state specifications. Auton. Agents Multi Agent Syst. Alvaro Velasquez, Ismail Alkhouri, Andre Beckus, Ashutosh Trivedi, George K. Atia
2024	C	`conf`	Falsification via Barrier Certificates. ACC Vishnu Murali, Ashutosh Trivedi, Majid Zamani
2024	J	`jnl`	Integrating Explanations in Learning LTL Specifications from Demonstrations. CoRR Ashutosh Gupta, John Komp, Abhay Singh Rajput, Shankaranarayanan Krishna, Ashutosh Trivedi, Namrita Varshney
2024	J	`jnl`	LLMs as Probabilistic Minimally Adequate Teachers for DFA Learning. CoRR Lekai Chen, Ashutosh Trivedi, Alvaro Velasquez
2024	J	`jnl`	Metamorphic Debugging for Accountable Software. CoRR Saeid Tizpaz-Niari, Shiva Darian, Ashutosh Trivedi
2024	A	`conf`	Multi-Agent Reinforcement Learning for Alternating-Time Logic. ECAI Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2024	A*	`conf`	Neural Closure Certificates. AAAI Alireza Nadali, Vishnu Murali, Ashutosh Trivedi, Majid Zamani
2024	A*	`conf`	Omega-Regular Decision Processes. AAAI Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2024	J	`jnl`	Predicting Fairness of ML Software Configuration. CoRR Salvador Robles Herrera, Verya Monjezi, Vladik Kreinovich, Ashutosh Trivedi, Saeid Tizpaz-Niari
2024	—	`conf`	Predicting Fairness of ML Software Configurations. PROMISE Salvador Robles Herrera, Verya Monjezi, Vladik Kreinovich, Ashutosh Trivedi, Saeid Tizpaz-Niari
2024	—	`conf`	Regular Reinforcement Learning. CAV (3) Taylor Dohmen, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi
2024	J	`jnl`	Safety Verification of Discrete-Time Systems via Interpolation-Inspired Barrier Certificates. IEEE Control. Syst. Lett. Mohammed Adib Oumer, Vishnu Murali, Ashutosh Trivedi, Majid Zamani
2024	J	`jnl`	Show, Don't Tell: Learning Reward Machines from Demonstrations for Reinforcement Learning-Based Cardiac Pacemaker Synthesis. CoRR John Komp, Dananjay Srinivas, Maria Leonor Pacheco, Ashutosh Trivedi
2024	J	`jnl`	The hexatope and octatope abstract domains for neural network verification. Formal Methods Syst. Des. Stanley Bak, Taylor Dohmen, K. Subramani, Ashutosh Trivedi, Alvaro Velasquez, Piotr Wojciechowski
2024	J	`jnl`	Transfer Learning for Control Systems via Neural Simulation Relations. CoRR Alireza Nadali, Bingzhuo Zhong, Ashutosh Trivedi, Majid Zamani
2024	—	`conf`	Transfer of Safety Controllers Through Learning Deep Inverse Dynamics Model. ADHS Alireza Nadali, Ashutosh Trivedi, Majid Zamani
2024	J	`jnl`	Transfer of Safety Controllers Through Learning Deep Inverse Dynamics Model. CoRR Alireza Nadali, Ashutosh Trivedi, Majid Zamani
2024	J	`jnl`	Verification of Hyperproperties for Dynamical Systems via Barrier Certificates. IEEE Trans. Autom. Control. Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani
2024	—	`conf`	What is Your Discount Factor? QEST+FORMATS Shadi Tasdighi Kalat, Sriram Sankaranarayanan, Ashutosh Trivedi
2023	J	`jnl`	A PAC Learning Algorithm for LTL and Omega-regular Objectives in MDPs. CoRR Mateo Perez, Fabio Somenzi, Ashutosh Trivedi
2023	J	`jnl`	Assume-Guarantee Reinforcement Learning. CoRR Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez
2023	J	`jnl`	Closure Certificates. CoRR Vishnu Murali, Ashutosh Trivedi, Majid Zamani
2023	J	`jnl`	Co-Buchi Barrier Certificates for Discrete-time Dynamical Systems. CoRR Vishnu Murali, Ashutosh Trivedi, Majid Zamani
2023	A*	`conf`	Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements. AAAI Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna, Ashutosh Trivedi
2023	A*	`conf`	Information-Theoretic Testing and Debugging of Fairness Defects in Deep Neural Networks. ICSE Verya Monjezi, Ashutosh Trivedi, Gang Tan, Saeid Tizpaz-Niari
2023	J	`jnl`	Information-Theoretic Testing and Debugging of Fairness Defects in Deep Neural Networks. CoRR Verya Monjezi, Ashutosh Trivedi, Gang Tan, Saeid Tizpaz-Niari
2023	A	`conf`	LTL-Based Non-Markovian Inverse Reinforcement Learning. AAMAS Mohammad Afzal, Sankalp Gambhir, Ashutosh Gupta, S. Krishna, Ashutosh Trivedi, Alvaro Velasquez
2023	—	`conf`	Metamorphic Testing and Debugging of Tax Preparation Software. ICSE (SEIS) Saeid Tizpaz-Niari, Verya Monjezi, Morgan Wagner, Shiva Darian, Krystia Reed, Ashutosh Trivedi
2023	J	`jnl`	Multi-objective ω-Regular Reinforcement Learning. Formal Aspects Comput. Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2023	—	`conf`	Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning. TACAS (1) Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2023	J	`jnl`	Omega-Regular Decision Processes. CoRR Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2023	A	`conf`	Omega-Regular Reward Machines. ECAI Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2023	J	`jnl`	Omega-Regular Reward Machines. CoRR Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2023	J	`jnl`	On the Potential and Limitations of Few-Shot In-Context Learning to Generate Metamorphic Specifications for Tax Preparation Software. CoRR Dananjay Srinivas, Rohan Das, Saeid Tizpaz-Niari, Ashutosh Trivedi, Maria Leonor Pacheco
2023	—	`conf`	Policy Synthesis and Reinforcement Learning for Discounted LTL. CAV (1) Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi
2023	J	`jnl`	Policy Synthesis and Reinforcement Learning for Discounted LTL. CoRR Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi
2023	A*	`conf`	Reinforcement Learning for Omega-Regular Specifications on Continuous-Time MDP. ICAPS Amin Falah, Shibashis Guha, Ashutosh Trivedi
2023	J	`jnl`	Reinforcement Learning for Omega-Regular Specifications on Continuous-Time MDP. CoRR Amin Falah, Shibashis Guha, Ashutosh Trivedi
2023	A	`conf`	Reinforcement Learning with Depreciating Assets. AAMAS Taylor Dohmen, Ashutosh Trivedi
2023	J	`jnl`	Reinforcement Learning with Depreciating Assets. CoRR Taylor Dohmen, Ashutosh Trivedi
2023	B	`conf`	SpecCheck: A Tool for Systematic Identification of Vulnerable Transient Execution in gem5. PACT Zack McKevitt, Ashutosh Trivedi, Tamara Silbergleit Lehman
2023	B	`conf`	The Octatope Abstract Domain for Verification of Neural Networks. FM Stanley Bak, Taylor Dohmen, K. Subramani, Ashutosh Trivedi, Alvaro Velasquez, Piotr Wojciechowski
2023	—	`conf`	Transfer Learning for Barrier Certificates. CDC Alireza Nadali, Ashutosh Trivedi, Majid Zamani
2022	J	`jnl`	A Scenario Approach for Synthesizing k-Inductive Barrier Certificates. IEEE Control. Syst. Lett. Vishnu Murali, Ashutosh Trivedi, Majid Zamani
2022	A*	`conf`	Active Grammatical Inference for Non-Markovian Planning. ICAPS Noah Topper, George K. Atia, Ashutosh Trivedi, Alvaro Velasquez
2022	J	`jnl`	Alternating Good-for-MDP Automata. CoRR Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2022	B	`conf`	Alternating Good-for-MDPs Automata. ATVA Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2022	B	`conf`	An Impossibility Result in Automata-Theoretic Reinforcement Learning. ATVA Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2022	J	`jnl`	Composing Copyless Streaming String Transducers. CoRR Rajeev Alur, Taylor Dohmen, Ashutosh Trivedi
2022	J	`jnl`	Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems. CoRR Abolfazl Lavaei, Mateo Perez, Milad Kazemi, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani
2022	A	`conf`	Controller Synthesis for Omega-Regular and Steady-State Specifications. AAMAS Alvaro Velasquez, Ismail Alkhouri, Andre Beckus, Ashutosh Trivedi, George K. Atia
2022	A*	`conf`	Fairness-aware Configuration of Machine Learning Libraries. ICSE Saeid Tizpaz-Niari, Ashish Kumar, Gang Tan, Ashutosh Trivedi
2022	J	`jnl`	Fairness-aware Configuration of Machine Learning Libraries. CoRR Saeid Tizpaz-Niari, Ashish Kumar, Gang Tan, Ashutosh Trivedi
2022	A*	`conf`	Inferring Probabilistic Reward Machines from Non-Markovian Reward Signals for Reinforcement Learning. ICAPS Taylor Dohmen, Noah Topper, George K. Atia, Andre Beckus, Ashutosh Trivedi, Alvaro Velasquez
2022	J	`jnl`	Metamorphic Testing and Debugging of Tax Preparation Software. CoRR Saeid Tizpaz-Niari, Morgan Wagner, Shiva Darian, Krystia Reed, Ashutosh Trivedi
2022	J	`jnl`	Optimal Repair For Omega-regular Properties. CoRR Vrunda Dave, Shankara Narayanan Krishna, Vishnu Murali, Ashutosh Trivedi
2022	B	`conf`	Optimal Repair for Omega-Regular Properties. ATVA Vrunda Dave, Shankara Narayanan Krishna, Vishnu Murali, Ashutosh Trivedi
2022	A*	`conf`	Recursive Reinforcement Learning. NeurIPS Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2022	J	`jnl`	Recursive Reinforcement Learning. CoRR Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2022	C	`conf`	Reinforcement Learning with Guarantees that Hold for Ever. FMICS Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2022	J	`jnl`	Secure-by-Construction Synthesis of Cyber-Physical Systems. CoRR Siyuan Liu, Ashutosh Trivedi, Xiang Yin, Majid Zamani
2022	J	`jnl`	Secure-by-construction synthesis of cyber-physical systems. Annu. Rev. Control. Siyuan Liu, Ashutosh Trivedi, Xiang Yin, Majid Zamani
2022	A	`conf`	Translating Omega-Regular Specifications to Average Objectives for Model-Free Reinforcement Learning. AAMAS Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez
2022	—	`conf`	k-Inductive Barrier Certificates for Stochastic Systems. HSCC Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani
2021	J	`jnl`	Controller Synthesis for Omega-Regular and Steady-State Specifications. CoRR Alvaro Velasquez, Ashutosh Trivedi, Ismail Alkhouri, Andre Beckus, George K. Atia
2021	J	`jnl`	Discounting the Past in Stochastic Games. CoRR Taylor Dohmen, Ashutosh Trivedi
2021	A	`conf`	Event-Triggered and Time-Triggered Duration Calculus for Model-Free Reinforcement Learning. RTSS Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna, Ashutosh Trivedi
2021	J	`jnl`	Formal Verification of Control Systems against Hyperproperties via Barrier Certificates. CoRR Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani
2021	—	`conf`	Formal verification of hyperproperties for control systems. CAADCPS@CPSIoTWeek Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani
2021	J	`jnl`	Learning Probabilistic Reward Machines from Non-Markovian Stochastic Reward Processes. CoRR Alvaro Velasquez, Andre Beckus, Taylor Dohmen, Ashutosh Trivedi, Noah Topper, George K. Atia
2021	—	`conf`	Model-Free Reinforcement Learning for Branching Markov Decision Processes. CAV (2) Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2021	B	`conf`	Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives. FM Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2021	J	`jnl`	Model-free Reinforcement Learning for Branching Markov Decision Processes. CoRR Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2021	J	`jnl`	Mungojerrie: Reinforcement Learning of Linear-Time Objectives. CoRR Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2021	J	`jnl`	Quantitative estimation of side-channel leaks with neural networks. Int. J. Softw. Tools Technol. Transf. Saeid Tizpaz-Niari, Pavol Cerný, Sriram Sankaranarayanan, Ashutosh Trivedi
2021	B	`conf`	Regular Model Checking with Regular Relations. FCT Vrunda Dave, Taylor Dohmen, Shankara Narayanan Krishna, Ashutosh Trivedi
2021	—	`conf`	Safety Verification of Dynamical Systems via k-Inductive Barrier Certificates. CDC Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani
2021	B	`conf`	Selectively-Amortized Resource Bounding. SAS Tianhan Lu, Bor-Yuh Evan Chang, Ashutosh Trivedi
2021	J	`jnl`	Selectively-Amortized Resource Bounding. CoRR Tianhan Lu, Bor-Yuh Evan Chang, Ashutosh Trivedi
2020	A*	`conf`	Data-Driven Debugging for Functional Side Channels. NDSS Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi
2020	J	`jnl`	Detecting and Understanding Real-World Differential Performance Bugs in Machine Learning Libraries. CoRR Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi
2020	A	`conf`	Detecting and understanding real-world differential performance bugs in machine learning libraries. ISSTA Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi
2020	B	`conf`	Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives. ATVA Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2020	—	`conf`	Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning. ICCPS Abolfazl Lavaei, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani
2020	J	`jnl`	Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning. CoRR Abolfazl Lavaei, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani
2020	—	`conf`	Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning. TACAS (1) Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2020	B	`conf`	Model-Free Reinforcement Learning for Stochastic Parity Games. CONCUR Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2020	J	`jnl`	Reward Shaping for Reinforcement Learning with Omega-Regular Objectives. CoRR Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2020	B	`conf`	Weighted Transducers for Robustness Verification. CONCUR Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin, Sriram Sankaranarayanan, Ashutosh Trivedi
2019	B	`conf`	Efficient Detection and Quantification of Timing Leaks with Neural Networks. RV Saeid Tizpaz-Niari, Pavol Cerný, Sriram Sankaranarayanan, Ashutosh Trivedi
2019	J	`jnl`	Efficient Detection and Quantification of Timing Leaks with Neural Networks. CoRR Saeid Tizpaz-Niari, Pavol Cerný, Sriram Sankaranarayanan, Ashutosh Trivedi
2019	—	`conf`	Expected Reachability-Price Games. FORMATS Shibashis Guha, Ashutosh Trivedi
2019	J	`jnl`	Good-for-MDPs Automata. CoRR Ernst Moritz Hahn, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi, Sven Schewe, Dominik Wojtczak
2019	—	`conf`	Limit reachability for model-free reinforcement learning of ω-regular objectives. SNR Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2019	J	`jnl`	MSO-Definable Regular Model Checking. CoRR Vrunda Dave, Taylor Dohmen, Shankara Narayanan Krishna, Ashutosh Trivedi
2019	—	`conf`	Omega-Regular Objectives in Model-Free Reinforcement Learning. TACAS (1) Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2019	C	`conf`	On Timed Scope-Bounded Context-Sensitive Languages. DLT Devendra Bhave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi
2019	J	`jnl`	On Timed Scope-bounded Context-sensitive Languages. CoRR Devendra Bhave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi
2019	—	`conf`	Quantitative Mitigation of Timing Side Channels. CAV (1) Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi
2019	J	`jnl`	Quantitative Mitigation of Timing Side Channels. CoRR Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi
2019	—	`conf`	Reinforcement Learning and Formal Requirements. NSV@CAV Fabio Somenzi, Ashutosh Trivedi
2019	B	`conf`	Type-Directed Bounding of Collections in Reactive Programs. VMCAI Tianhan Lu, Pavol Cerný, Bor-Yuh Evan Chang, Ashutosh Trivedi
2018	J	`jnl`	Data-Driven Debugging for Functional Side Channels. CoRR Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi
2018	A*	`conf`	Differential Performance Debugging With Discriminant Regression Trees. AAAI Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Ashutosh Trivedi
2018	—	`conf`	Global Almost-Sure Reachability in Stochastic Constant-Rate Multi-Mode Systems. HSCC Fabio Somenzi, Behrouz Touri, Ashutosh Trivedi
2018	J	`jnl`	Omega-Regular Objectives in Model-Free Reinforcement Learning. CoRR Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2018	J	`jnl`	Type-directed Bounding of Collections in Reactive Programs. CoRR Tianhan Lu, Pavol Cerný, Bor-Yuh Evan Chang, Ashutosh Trivedi
2017	—	`conf`	Analyzing neighborhoods of falsifying traces in cyber-physical systems. ICCPS Ram Das Diwakaran, Sriram Sankaranarayanan, Ashutosh Trivedi
2017	J	`jnl`	Differential Performance Debugging with Discriminant Regression Trees. CoRR Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Ashutosh Trivedi
2017	—	`conf`	Discriminating Traces with Time. TACAS (2) Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Ashutosh Trivedi
2017	J	`jnl`	Discriminating Traces with Time. CoRR Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Ashutosh Trivedi
2017	J	`jnl`	Schedulability of Bounded-Rate Multimode Systems. ACM Trans. Embed. Comput. Syst. Rajeev Alur, Vojtech Forejt, Salar Moarref, Ashutosh Trivedi
2017	J	`jnl`	The Reach-Avoid Problem for Constant-Rate Multi-Mode Systems. CoRR Shankara Narayanan Krishna, Aviral Kumar, Fabio Somenzi, Behrouz Touri, Ashutosh Trivedi
2017	B	`conf`	The Reach-Avoid Problem for Constant-Rate Multi-mode Systems. ATVA Shankara Narayanan Krishna, Aviral Kumar, Fabio Somenzi, Behrouz Touri, Ashutosh Trivedi
2016	C	`conf`	A Logical Characterization for Dense-Time Visibly Pushdown Automata. LATA Devendra Bhave, Vrunda Dave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi
2016	C	`conf`	A Perfect Class of Context-Sensitive Timed Languages. DLT Devendra Bhave, Vrunda Dave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi
2016	J	`jnl`	Expected Reachability-Time Games. CoRR Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi
2016	J	`jnl`	Expected reachability-time games. Theor. Comput. Sci. Vojtech Forejt, Marta Kwiatkowska, Gethin Norman, Ashutosh Trivedi
2016	—	`conf`	FO-Definable Transformations of Infinite Strings. FSTTCS Vrunda Dave, Shankara Narayanan Krishna, Ashutosh Trivedi
2016	J	`jnl`	FO-definable transformations of infinite strings. CoRR Vrunda Dave, Shankara Narayanan Krishna, Ashutosh Trivedi
2016	B	`conf`	Incentive Stackelberg Mean-Payoff Games. SEFM Anshul Gupta, Sven Schewe, Ashutosh Trivedi, Sai Krishna Deepak Maram, Bharath Kumar Padarthi
2016	—	`conf`	Mean-Payoff Games on Timed Automata. FSTTCS Shibashis Guha, Marcin Jurdzinski, Shankara Narayanan Krishna, Ashutosh Trivedi
2016	J	`jnl`	Mean-Payoff Games on Timed Automata. CoRR Shibashis Guha, Marcin Jurdzinski, Shankara Narayanan Krishna, Ashutosh Trivedi
2016	—	`conf`	On Nonlinear Prices in Timed Automata. V2CPS@IFM Devendra Bhave, Shankara Narayanan Krishna, Ashutosh Trivedi
2016	—	`ed.`	Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems, V2CPS@IFM 2016, Reykjavík, Iceland, June 4-5, 2016. V2CPS@IFM Mehdi Kargahi, Ashutosh Trivedi
2016	B	`conf`	Stochastic Timed Games Revisited. MFCS S. Akshay, Patricia Bouyer, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
2016	J	`jnl`	Stochastic Timed Games Revisited. CoRR S. Akshay, Patricia Bouyer, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
2015	—	`conf`	Bounded-rate multi-mode systems based motion planning. HSCC Devendra Bhave, Sagar Jha, Shankara Narayanan Krishna, Sven Schewe, Ashutosh Trivedi
2015	A*	`conf`	Compositional modeling and analysis of automotive feature product lines. DAC Shankara Narayanan Krishna, Ganesh Khandu Narwane, S. Ramesh, Ashutosh Trivedi
2015	J	`jnl`	Hybrid Automata for Formal Modeling and Verification of Cyber-Physical Systems. CoRR Shankara Narayanan Krishna, Ashutosh Trivedi
2015	J	`jnl`	Incentive Stackelberg Mean-payoff Games. CoRR Anshul Gupta, Sai Krishna Deepak Maram, Bharath Kumar Padarthi, Sven Schewe, Ashutosh Trivedi
2015	C	`conf`	On Pure Nash Equilibria in Stochastic Games. TAMC Ankush Das, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi, Dominik Wojtczak
2015	C	`conf`	Reachability Games on Recursive Hybrid Automata. TIME Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
2015	—	`conf`	Revisiting Robustness in Priced Timed Games. FSTTCS Shibashis Guha, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
2015	J	`jnl`	Revisiting Robustness in Priced Timed Games. CoRR Shibashis Guha, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
2015	B	`conf`	Skolem Functions for Factored Formulas. FMCAD Ajith K. John, Shetal Shah, Supratik Chakraborty, Ashutosh Trivedi, S. Akshay
2015	J	`jnl`	Skolem Functions for Factored Formulas. CoRR Ajith K. John, Shetal Shah, Supratik Chakraborty, Ashutosh Trivedi, S. Akshay
2015	—	`conf`	Symmetric Strategy Improvement. ICALP (2) Sven Schewe, Ashutosh Trivedi, Thomas Varghese
2015	J	`jnl`	Symmetric Strategy Improvement. CoRR Sven Schewe, Ashutosh Trivedi, Thomas Varghese
2015	C	`conf`	Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable. LATA Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
2015	—	`conf`	What's decidable about recursive hybrid automata? HSCC Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
2014	B	`conf`	Adding Negative Prices to Priced Timed Games. CONCUR Thomas Brihaye, Gilles Geeraerts, Shankara Narayanan Krishna, Lakshmi Manasa, Benjamin Monmege, Ashutosh Trivedi
2014	J	`jnl`	Adding Negative Prices to Priced Timed Games. CoRR Thomas Brihaye, Gilles Geeraerts, Shankara Narayanan Krishna, Lakshmi Manasa, Benjamin Monmege, Ashutosh Trivedi
2014	J	`jnl`	Bounded-Rate Multi-Mode Systems Based Motion Planning. CoRR Devendra Bhave, Sagar Jha, Shankara Narayanan Krishna, Sven Schewe, Ashutosh Trivedi
2014	—	`conf`	First-order Definable String Transformations. FSTTCS Emmanuel Filiot, Shankara Narayanan Krishna, Ashutosh Trivedi
2014	J	`jnl`	First-order definable string transformations. CoRR Emmanuel Filiot, Shankara Narayanan Krishna, Ashutosh Trivedi
2014	—	`conf`	Improved Undecidability Results for Reachability Games on Recursive Timed Automata. GandALF Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
2014	J	`jnl`	On The Reachability Problem for Recursive Hybrid Automata with One and Two Players. CoRR Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
2014	—	`conf`	Weak Singular Hybrid Automata. FORMATS Shankara Narayanan Krishna, Umang Mathur, Ashutosh Trivedi
2013	A*	`conf`	From Monadic Second-Order Definable String Transformations to Transducers. LICS Rajeev Alur, Antoine Durand-Gasselin, Ashutosh Trivedi
2013	J	`jnl`	Safe Schedulability of Bounded-Rate Multi-Mode Systems CoRR Rajeev Alur, Vojtech Forejt, Salar Moarref, Ashutosh Trivedi
2013	—	`conf`	Safe schedulability of bounded-rate multi-mode systems. HSCC Rajeev Alur, Vojtech Forejt, Salar Moarref, Ashutosh Trivedi
2013	J	`jnl`	Weak Singular Hybrid Automata. CoRR Shankara Narayanan Krishna, Umang Mathur, Ashutosh Trivedi
2012	—	`conf`	Optimal scheduling for constant-rate multi-mode systems. HSCC Rajeev Alur, Ashutosh Trivedi, Dominik Wojtczak
2012	B	`conf`	Playing Stochastic Games Precisely. CONCUR Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, Aistis Simaitis, Ashutosh Trivedi, Michael Ummels
2012	A*	`conf`	Regular Transformations of Infinite Strings. LICS Rajeev Alur, Emmanuel Filiot, Ashutosh Trivedi
2011	Misc	`conf`	Relating average and discounted costs for quantitative analysis of timed systems. EMSOFT Rajeev Alur, Ashutosh Trivedi
2010	—	`conf`	Expected Reachability-Time Games. FORMATS Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi
2010	J	`jnl`	Quantitative Games on Probabilistic Timed Automata CoRR Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi
2010	B	`conf`	Recursive Timed Automata. ATVA Ashutosh Trivedi, Dominik Wojtczak
2010	—	`conf`	Timed Branching Processes. QEST Ashutosh Trivedi, Dominik Wojtczak
2009	J	`jnl`	Average-Time Games on Timed Automata CoRR Marcin Jurdzinski, Ashutosh Trivedi
2009	—	`—`	Competative optimisation on timed automata. Ashutosh Trivedi
2009	B	`conf`	Concavely-Priced Probabilistic Timed Automata. CONCUR Marcin Jurdzinski, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi
2009	J	`jnl`	Reachability-time games on timed automata CoRR Marcin Jurdzinski, Ashutosh Trivedi
2008	—	`conf`	Average-Time Games. FSTTCS Marcin Jurdzinski, Ashutosh Trivedi
2008	—	`conf`	Concavely-Priced Timed Automata. FORMATS Marcin Jurdzinski, Ashutosh Trivedi
2007	A*	`conf`	Reachability-Time Games on Timed Automata. ICALP Marcin Jurdzinski, Ashutosh Trivedi