Active discount factor elicitation via reward modification
Shadi Tasdighi Kalat, Sriram Sankaranarayanan, Ashutosh Trivedi.
Int. J. Softw. Tools Technol. Transf. 28 ( 1 ) : 55-70 (2026)
Publications
Papers and preprints, with bibliographic records from DBLP and links to available manuscripts. Preprints are labeled; matching preprint and published records are listed once. See also Google Scholar, DBLP, and my CV.
No publications match these filters. Try another term or clear the filters.
2026
An LLM Agentic Approach for Legal-Critical Software: A Case Study for Tax Prep Software
Sina Gogani-Khiabani, Ashutosh Trivedi, Diptikalyan Saha, Saeid Tizpaz-Niari.
ICSE, 2026
Asymmetrically Discounted Stochastic Games
Sarvin Bahmani, Soumyajit Paul, Sven Schewe, Shadi Tasdighi Kalat, Ashutosh Trivedi.
CONCUR, 2026
Average Reward Reinforcement Learning for Omega-Regular and Mean-Payoff Objectives
Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez.
J. Artif. Intell. Res. 85 (2026)
BarrierBench : Evaluating Large Language Models for Safety Verification in Dynamical Systems
Ali Taheri, Alireza Taban, Sadegh Soudjani, Ashutosh Trivedi.
L4DC, 2026
HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
Vishnu Murali, Amin Falah, Ashutosh Trivedi, Majid Zamani.
Preprint (arXiv), 2026
KV-Fold: One-Step KV-Cache Recurrence for Long-Context Inference
Alireza Nadali, Patrick Cooper, Ashutosh Trivedi, Alvaro Velasquez.
Unpublished preprint (arXiv), 2026
Monotonicity as an Architectural Bias for Robust Language Models
Patrick Cooper, Alireza Nadali, Ashutosh Trivedi, Alvaro Velasquez.
Preprint (arXiv), 2026
On the Robustness of Fairness Practices: A Causal Framework for Systematic Evaluation
Verya Monjezi, Ashish Kumar, Ashutosh Trivedi, Gang Tan, Saeid Tizpaz-Niari.
ICSE, 2026
Social Welfare under Heterogeneous Time Preferences
Sarvin Bahmani, Soumyajit Paul, Sven Schewe, Shadi Tasdighi Kalat, Ashutosh Trivedi.
IJCAI–ECAI 2026 (to appear)
2025
Continuous-Time Reward Machines
Amin Falah, Shibashis Guha, Ashutosh Trivedi.
IJCAI, 2025
Explaining Hitori Puzzles: Neurosymbolic Proof Staging for Sequential Decisions
Maria Leonor Pacheco, Fabio Somenzi, Dananjay Srinivas, Ashutosh Trivedi.
arXiv, 2025
Explaining Puzzle Solutions in Natural Language: An Exploratory Study on 6x6 Sudoku
Anirudh Maiya, Razan Alghamdi, Maria Leonor Pacheco, Ashutosh Trivedi, Fabio Somenzi.
Findings of ACL, 2025
Fairness Testing through Extreme Value Theory
Verya Monjezi, Ashutosh Trivedi, Vladik Kreinovich, Saeid Tizpaz-Niari.
ICSE, 2025
Objective Improvement Algorithm for Controller Synthesis in Uncertain Environments
Daniele Dell’Erba, Sven Schewe, Ashutosh Trivedi.
CDC, 2025
On Choice of Loss Functions for Neural Control Barrier Certificates
Alireza Nadali, Ashutosh Trivedi, Majid Zamani.
QEST+FORMATS 2025 : 468-486
Physics-Informed Reward Machines
Daniel Ajeleye, Ashutosh Trivedi, Majid Zamani.
Preprint (arXiv), 2025
Stochastic Neural Simulation Relations for Control Transfer
Alireza Nadali, Ashutosh Trivedi, Majid Zamani.
NeuS, 2025
DARPA Disruptive Idea AwardTechnical Challenges in Maintaining Tax Prep Software with Large Language Models
Sina Gogani-Khiabani, Varsha Dewangan, Nina Olson, Ashutosh Trivedi, Saeid Tizpaz-Niari.
Preprint (arXiv), 2025
Uncovering Discrimination Clusters: Quantifying and Explaining Systematic Fairness Violations
Ranit Akash, Ashish Kumar, Verya Monjezi, Ashutosh Trivedi, Gang Tan, Saeid Tizpaz-Niari.
ASE 2025
2024
A PAC Learning Algorithm for LTL and Omega-Regular Objectives in MDPs
Mateo Perez, Fabio Somenzi, Ashutosh Trivedi.
AAAI 2024 : 21510-21517
Analyzing the Effectiveness of Large Language Models on Text-to-SQL Synthesis
Richard Roberson, Gowtham Kaki, Ashutosh Trivedi.
Preprint (arXiv), 2024
Anticipating Oblivious Opponents in Stochastic Games
Shadi Tasdighi Kalat, Sriram Sankaranarayanan, Ashutosh Trivedi.
Preprint (arXiv), 2024
Assume-Guarantee Reinforcement Learning
Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez.
AAAI 2024 : 21223-21231
Barrier Certificates for Weighted Automata-based Specifications
Vishnu Murali, Ashutosh Trivedi, Majid Zamani.
CDC 2024 : 5191-5196
Causal Graph Fuzzing for Fair ML Sofware Development
Verya Monjezi, Ashish Kumar, Gang Tan, Ashutosh Trivedi, Saeid Tizpaz-Niari.
ICSE Companion 2024 : 402-403
Closure Certificates
Vishnu Murali, Ashutosh Trivedi, Majid Zamani.
HSCC 2024
Controller synthesis for linear temporal logic and steady-state specifications
Alvaro Velasquez, Ismail Alkhouri, Andre Beckus, Ashutosh Trivedi, George K. Atia.
Auton. Agents Multi Agent Syst. 38 ( 1 ) : 17 (2024)
Falsification via Barrier Certificates
Vishnu Murali, Ashutosh Trivedi, Majid Zamani.
ACC 2024 : 4657-4662
Integrating Explanations in Learning LTL Specifications from Demonstrations
Ashutosh Gupta, John Komp, Abhay Singh Rajput, Shankaranarayanan Krishna, Ashutosh Trivedi, Namrita Varshney.
Preprint (arXiv), 2024
LLMs as Probabilistic Minimally Adequate Teachers for DFA Learning
Lekai Chen, Ashutosh Trivedi, Alvaro Velasquez.
Preprint (arXiv), 2024
Metamorphic Debugging for Accountable Software
Saeid Tizpaz-Niari, Shiva Darian, Ashutosh Trivedi.
Preprint (arXiv), 2024
Multi-Agent Reinforcement Learning for Alternating-Time Logic
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak.
ECAI 2024 : 1680-1687
Neural Closure Certificates
Alireza Nadali, Vishnu Murali, Ashutosh Trivedi, Majid Zamani.
AAAI 2024 : 21446-21453
Omega-Regular Decision Processes
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak.
AAAI 2024 : 21125-21133
Predicting Fairness of ML Software Configurations
Salvador Robles Herrera, Verya Monjezi, Vladik Kreinovich, Ashutosh Trivedi, Saeid Tizpaz-Niari.
PROMISE 2024 : 56-65
Regular Reinforcement Learning
Taylor Dohmen, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi.
CAV, 2024
CAV Distinguished Paper AwardSafety Verification of Discrete-Time Systems via Interpolation-Inspired Barrier Certificates
Mohammed Adib Oumer, Vishnu Murali, Ashutosh Trivedi, Majid Zamani.
IEEE Control. Syst. Lett. 8 : 3183-3188 (2024)
Show, Don't Tell: Learning Reward Machines from Demonstrations for Reinforcement Learning-Based Cardiac Pacemaker Synthesis
John Komp, Dananjay Srinivas, Maria Leonor Pacheco, Ashutosh Trivedi.
Preprint (arXiv), 2024
The hexatope and octatope abstract domains for neural network verification
Stanley Bak, Taylor Dohmen, K. Subramani, Ashutosh Trivedi, Alvaro Velasquez, Piotr Wojciechowski.
Formal Methods Syst. Des. 64 ( 1 ) : 178-199 (2024)
Transfer Learning for Control Systems via Neural Simulation Relations
Alireza Nadali, Bingzhuo Zhong, Ashutosh Trivedi, Majid Zamani.
Preprint (arXiv), 2024
Transfer of Safety Controllers Through Learning Deep Inverse Dynamics Model
Alireza Nadali, Ashutosh Trivedi, Majid Zamani.
ADHS 2024 : 129-134
Verification of Hyperproperties for Dynamical Systems via Barrier Certificates
Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani.
IEEE Trans. Autom. Control. 69 ( 10 ) : 6920-6934 (2024)
What is Your Discount Factor?
Shadi Tasdighi Kalat, Sriram Sankaranarayanan, Ashutosh Trivedi.
QEST+FORMATS 2024 : 322-336
2023
Co-Buchi Barrier Certificates for Discrete-time Dynamical Systems
Vishnu Murali, Ashutosh Trivedi, Majid Zamani.
Preprint (arXiv), 2023
Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements
Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna, Ashutosh Trivedi.
AAAI 2023 : 14792-14800
Information-Theoretic Testing and Debugging of Fairness Defects in Deep Neural Networks
Verya Monjezi, Ashutosh Trivedi, Gang Tan, Saeid Tizpaz-Niari.
Preprint (arXiv), 2023
LTL-Based Non-Markovian Inverse Reinforcement Learning
Mohammad Afzal, Sankalp Gambhir, Ashutosh Gupta, S. Krishna, Ashutosh Trivedi, Alvaro Velasquez.
AAMAS 2023 : 2857-2859
Metamorphic Testing and Debugging of Tax Preparation Software
Saeid Tizpaz-Niari, Verya Monjezi, Morgan Wagner, Shiva Darian, Krystia Reed, Ashutosh Trivedi.
ICSE-SEIS 2023
Multi-objective ω-Regular Reinforcement Learning
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak.
Formal Aspects Comput. 35 ( 2 ) : 12:1-12:24 (2023)
Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak.
TACAS (1) 2023 : 527-545
Omega-Regular Reward Machines
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak.
ECAI 2023 : 972-979
On the Potential and Limitations of Few-Shot In-Context Learning to Generate Metamorphic Specifications for Tax Preparation Software
Dananjay Srinivas, Rohan Das, Saeid Tizpaz-Niari, Ashutosh Trivedi, Maria Leonor Pacheco.
Preprint (arXiv), 2023
Policy Synthesis and Reinforcement Learning for Discounted LTL
Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi.
CAV (1) 2023 : 415-435
Reinforcement Learning for Omega-Regular Specifications on Continuous-Time MDP
Amin Falah, Shibashis Guha, Ashutosh Trivedi.
ICAPS 2023 : 578-586
Reinforcement Learning with Depreciating Assets
Taylor Dohmen, Ashutosh Trivedi.
AAMAS 2023 : 2628-2630
SpecCheck: A Tool for Systematic Identification of Vulnerable Transient Execution in gem5
Zack McKevitt, Ashutosh Trivedi, Tamara Silbergleit Lehman.
PACT 2023 : 265-278
The Octatope Abstract Domain for Verification of Neural Networks
Stanley Bak, Taylor Dohmen, K. Subramani, Ashutosh Trivedi, Alvaro Velasquez, Piotr Wojciechowski.
FM 2023 : 454-472
Transfer Learning for Barrier Certificates
Alireza Nadali, Ashutosh Trivedi, Majid Zamani.
CDC 2023 : 8000-8005
2022
A Scenario Approach for Synthesizing k-Inductive Barrier Certificates
Vishnu Murali, Ashutosh Trivedi, Majid Zamani.
IEEE Control. Syst. Lett. 6 : 3247-3252 (2022)
Active Grammatical Inference for Non-Markovian Planning
Noah Topper, George K. Atia, Ashutosh Trivedi, Alvaro Velasquez.
ICAPS 2022 : 647-651
Alternating Good-for-MDPs Automata
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak.
ATVA 2022 : 303-319
An Impossibility Result in Automata-Theoretic Reinforcement Learning
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak.
ATVA 2022 : 42-57
Composing Copyless Streaming String Transducers
Rajeev Alur, Taylor Dohmen, Ashutosh Trivedi.
Preprint (arXiv), 2022
Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems
Abolfazl Lavaei, Mateo Perez, Milad Kazemi, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani.
Preprint (arXiv), 2022
Controller Synthesis for Omega-Regular and Steady-State Specifications
Alvaro Velasquez, Ismail Alkhouri, Andre Beckus, Ashutosh Trivedi, George K. Atia.
AAMAS 2022 : 1310-1318
Fairness-aware Configuration of Machine Learning Libraries
Saeid Tizpaz-Niari, Ashish Kumar, Gang (Gary) Tan, Ashutosh Trivedi.
ICSE 2022
Inferring Probabilistic Reward Machines from Non-Markovian Reward Signals for Reinforcement Learning
Taylor Dohmen, Noah Topper, George K. Atia, Andre Beckus, Ashutosh Trivedi, Alvaro Velasquez.
ICAPS 2022 : 574-582
Optimal Repair for Omega-Regular Properties
Vrunda Dave, Shankara Narayanan Krishna, Vishnu Murali, Ashutosh Trivedi.
ATVA 2022 : 354-370
Recursive Reinforcement Learning
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak.
NeurIPS, 2022
Reinforcement Learning with Guarantees that Hold for Ever
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak.
FMICS 2022 : 3-7
Secure-by-construction synthesis of cyber-physical systems
Siyuan Liu, Ashutosh Trivedi, Xiang Yin, Majid Zamani.
Annu. Rev. Control. 53 : 30-50 (2022)
Translating Omega-Regular Specifications to Average Objectives for Model-Free Reinforcement Learning
Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez.
AAMAS 2022 : 732-741
k-Inductive Barrier Certificates for Stochastic Systems
Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani.
HSCC 2022 : 12:1-12:11
2021
Discounting the Past in Stochastic Games
Taylor Dohmen, Ashutosh Trivedi.
Preprint (arXiv), 2021
Event-Triggered and Time-Triggered Duration Calculus for Model-Free Reinforcement Learning
Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna, Ashutosh Trivedi.
RTSS 2021 : 240-252
Formal Verification of Control Systems against Hyperproperties via Barrier Certificates
Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani.
Preprint (arXiv), 2021
Formal verification of hyperproperties for control systems
Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani.
CAADCPS@CPSIoTWeek 2021 : 29-30
Learning Probabilistic Reward Machines from Non-Markovian Stochastic Reward Processes
Alvaro Velasquez, Andre Beckus, Taylor Dohmen, Ashutosh Trivedi, Noah Topper, George K. Atia.
Preprint (arXiv), 2021
Model-Free Reinforcement Learning for Branching Markov Decision Processes
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak.
CAV (2) 2021 : 651-673
Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak.
FM 2021 : 142-159
Mungojerrie: Reinforcement Learning of Linear-Time Objectives
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak.
Preprint (arXiv), 2021
Quantitative estimation of side-channel leaks with neural networks
Saeid Tizpaz-Niari, Pavol Cerný, Sriram Sankaranarayanan, Ashutosh Trivedi.
Int. J. Softw. Tools Technol. Transf. 23 ( 4 ) : 641-654 (2021)
Regular Model Checking with Regular Relations
Vrunda Dave, Taylor Dohmen, Shankara Narayanan Krishna, Ashutosh Trivedi.
FCT 2021 : 190-203
Safety Verification of Dynamical Systems via k-Inductive Barrier Certificates
Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani.
CDC 2021 : 1314-1320
Selectively-Amortized Resource Bounding
Tianhan Lu, Bor-Yuh Evan Chang, Ashutosh Trivedi.
SAS 2021 : 286-307
2020
Data-Driven Debugging for Functional Side Channels
Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi.
NDSS 2020
Detecting and understanding real-world differential performance bugs in machine learning libraries
Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi.
ISSTA 2020 : 189-199
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.
ATVA 2020 : 108-124
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning
Abolfazl Lavaei, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani.
ICCPS 2020 : 98-107
Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak.
TACAS (1) 2020 : 306-323
Model-Free Reinforcement Learning for Stochastic Parity Games
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak.
CONCUR 2020 : 21:1-21:16
Reward Shaping for Reinforcement Learning with Omega-Regular Objectives
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak.
Preprint (arXiv), 2020
Weighted Transducers for Robustness Verification
Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin, Sriram Sankaranarayanan, Ashutosh Trivedi.
CONCUR 2020 : 17:1-17:21
2019
Efficient Detection and Quantification of Timing Leaks with Neural Networks
Saeid Tizpaz-Niari, Pavol Cerný, Sriram Sankaranarayanan, Ashutosh Trivedi.
RV 2019 : 329-348
Expected Reachability-Price Games
Shibashis Guha, Ashutosh Trivedi.
FORMATS 2019 : 282-300
Good-for-MDPs Automata
Ernst Moritz Hahn, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi, Sven Schewe, Dominik Wojtczak.
Preprint (arXiv), 2019
Limit reachability for model-free reinforcement learning of ω-regular objectives
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak.
SNR 2019 : 16-18
MSO-Definable Regular Model Checking
Vrunda Dave, Taylor Dohmen, Shankara Narayanan Krishna, Ashutosh Trivedi.
Preprint (arXiv), 2019
Omega-Regular Objectives in Model-Free Reinforcement Learning
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak.
TACAS, 2019
On Timed Scope-Bounded Context-Sensitive Languages
Devendra Bhave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi.
DLT 2019 : 168-181
Quantitative Mitigation of Timing Side Channels
Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi.
CAV (1) 2019 : 140-160
Reinforcement Learning and Formal Requirements
Fabio Somenzi, Ashutosh Trivedi.
NSV@CAV 2019 : 26-41
Type-Directed Bounding of Collections in Reactive Programs
Tianhan Lu, Pavol Cerný, Bor-Yuh Evan Chang, Ashutosh Trivedi.
VMCAI 2019 : 275-296
2018
Differential Performance Debugging With Discriminant Regression Trees
Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Ashutosh Trivedi.
AAAI 2018 : 2468-2475
Global Almost-Sure Reachability in Stochastic Constant-Rate Multi-Mode Systems
Fabio Somenzi, Behrouz Touri, Ashutosh Trivedi.
HSCC 2018 : 11-20
2017
Analyzing neighborhoods of falsifying traces in cyber-physical systems
Ram Das Diwakaran, Sriram Sankaranarayanan, Ashutosh Trivedi.
ICCPS 2017 : 109-119
Discriminating Traces with Time
Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Ashutosh Trivedi.
TACAS (2) 2017 : 21-37
Schedulability of Bounded-Rate Multimode Systems
Rajeev Alur, Vojtech Forejt, Salar Moarref, Ashutosh Trivedi.
ACM Trans. Embed. Comput. Syst. 16 ( 3 ) : 85:1-85:27 (2017)
The Reach-Avoid Problem for Constant-Rate Multi-mode Systems
Shankara Narayanan Krishna, Aviral Kumar, Fabio Somenzi, Behrouz Touri, Ashutosh Trivedi.
ATVA 2017 : 463-479
2016
A Logical Characterization for Dense-Time Visibly Pushdown Automata
Devendra Bhave, Vrunda Dave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi.
LATA 2016 : 89-101
A Perfect Class of Context-Sensitive Timed Languages
Devendra Bhave, Vrunda Dave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi.
DLT 2016 : 38-50
Expected reachability-time games
Vojtech Forejt, Marta Kwiatkowska, Gethin Norman, Ashutosh Trivedi.
Theor. Comput. Sci. 631 : 139-160 (2016)
FO-Definable Transformations of Infinite Strings
Vrunda Dave, Shankara Narayanan Krishna, Ashutosh Trivedi.
FSTTCS 2016 : 12:1-12:14
Incentive Stackelberg Mean-Payoff Games
Anshul Gupta, Sven Schewe, Ashutosh Trivedi, Sai Krishna Deepak Maram, Bharath Kumar Padarthi.
SEFM 2016 : 304-320
Mean-Payoff Games on Timed Automata
Shibashis Guha, Marcin Jurdzinski, Shankara Narayanan Krishna, Ashutosh Trivedi.
FSTTCS 2016 : 44:1-44:14
On Nonlinear Prices in Timed Automata
Devendra Bhave, Shankara Narayanan Krishna, Ashutosh Trivedi.
V2CPS@IFM 2016 : 65-78
Stochastic Timed Games Revisited
S. Akshay, Patricia Bouyer, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi.
MFCS 2016 : 8:1-8:14
2015
Bounded-rate multi-mode systems based motion planning
Devendra Bhave, Sagar Jha, Shankara Narayanan Krishna, Sven Schewe, Ashutosh Trivedi.
HSCC 2015 : 41-50
Compositional modeling and analysis of automotive feature product lines
Shankara Narayanan Krishna, Ganesh Khandu Narwane, S. Ramesh, Ashutosh Trivedi.
DAC 2015 : 57:1-57:6
Hybrid Automata for Formal Modeling and Verification of Cyber-Physical Systems
Shankara Narayanan Krishna, Ashutosh Trivedi.
Preprint (arXiv), 2015
On Pure Nash Equilibria in Stochastic Games
Ankush Das, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi, Dominik Wojtczak.
TAMC 2015 : 359-371
Reachability Games on Recursive Hybrid Automata
Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi.
TIME 2015 : 150-159
Revisiting Robustness in Priced Timed Games
Shibashis Guha, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi.
FSTTCS 2015 : 261-277
Skolem Functions for Factored Formulas
Ajith K. John, Shetal Shah, Supratik Chakraborty, Ashutosh Trivedi, S. Akshay.
FMCAD 2015 : 73-80
Symmetric Strategy Improvement
Sven Schewe, Ashutosh Trivedi, Thomas Varghese.
ICALP (2) 2015 : 388-400
Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable
Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi.
LATA 2015 : 237-248
What's decidable about recursive hybrid automata?
Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi.
HSCC 2015 : 31-40
2014
Adding Negative Prices to Priced Timed Games
Thomas Brihaye, Gilles Geeraerts, Shankara Narayanan Krishna, Lakshmi Manasa, Benjamin Monmege, Ashutosh Trivedi.
CONCUR 2014 : 560-575
First-order Definable String Transformations
Emmanuel Filiot, Shankara Narayanan Krishna, Ashutosh Trivedi.
FSTTCS 2014 : 147-159
Improved Undecidability Results for Reachability Games on Recursive Timed Automata
Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi.
GandALF 2014 : 245-259
On The Reachability Problem for Recursive Hybrid Automata with One and Two Players
Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi.
Preprint (arXiv), 2014
Weak Singular Hybrid Automata
Shankara Narayanan Krishna, Umang Mathur, Ashutosh Trivedi.
FORMATS 2014 : 161-175
2013
From Monadic Second-Order Definable String Transformations to Transducers
Rajeev Alur, Antoine Durand-Gasselin, Ashutosh Trivedi.
LICS 2013 : 458-467
Safe schedulability of bounded-rate multi-mode systems
Rajeev Alur, Vojtech Forejt, Salar Moarref, Ashutosh Trivedi.
HSCC 2013 : 243-252
2012
Optimal scheduling for constant-rate multi-mode systems
Rajeev Alur, Ashutosh Trivedi, Dominik Wojtczak.
HSCC 2012 : 75-84
Playing Stochastic Games Precisely
Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, Aistis Simaitis, Ashutosh Trivedi, Michael Ummels.
CONCUR 2012 : 348-363
Regular Transformations of Infinite Strings
Rajeev Alur, Emmanuel Filiot, Ashutosh Trivedi.
LICS 2012 : 65-74
2011
Relating average and discounted costs for quantitative analysis of timed systems
Rajeev Alur, Ashutosh Trivedi.
EMSOFT 2011 : 165-174
2010
Expected Reachability-Time Games
Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi.
FORMATS 2010 : 122-136
Quantitative Games on Probabilistic Timed Automata
Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi.
Preprint (arXiv), 2010
Recursive Timed Automata
Ashutosh Trivedi, Dominik Wojtczak.
ATVA 2010 : 306-324
Timed Branching Processes
Ashutosh Trivedi, Dominik Wojtczak.
QEST 2010 : 219-228
2009
Average-Time Games on Timed Automata
Marcin Jurdzinski, Ashutosh Trivedi.
Preprint (arXiv), 2009
Concavely-Priced Probabilistic Timed Automata
Marcin Jurdzinski, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi.
CONCUR 2009 : 415-430
2008
Average-Time Games
Marcin Jurdzinski, Ashutosh Trivedi.
FSTTCS 2008 : 340-351
Concavely-Priced Timed Automata
Marcin Jurdzinski, Ashutosh Trivedi.
FORMATS 2008 : 48-62
2007
Reachability-Time Games on Timed Automata
Marcin Jurdzinski, Ashutosh Trivedi.
ICALP 2007 : 838-849