![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Ashutosh Trivedi 0001
Person information
- affiliation: University of Colorado Boulder, CO, USA
Other persons with the same name
- Ashutosh Trivedi 0002
— Spext, Bangalore, India
- Ashutosh Trivedi 0003
— Delhi Technological University, Department of Civil Engineering, India (and 1 more)
- Ashutosh Trivedi 0004
— Ontario Tech University, Oshawa, ON, Canada (and 1 more)
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j7]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): 17 (2024) - [c91]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Omega-Regular Decision Processes. AAAI 2024: 21125-21133 - [c90]Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez:
Assume-Guarantee Reinforcement Learning. AAAI 2024: 21223-21231 - [c89]Alireza Nadali, Vishnu Murali, Ashutosh Trivedi, Majid Zamani:
Neural Closure Certificates. AAAI 2024: 21446-21453 - [c88]Mateo Perez, Fabio Somenzi, Ashutosh Trivedi:
A PAC Learning Algorithm for LTL and Omega-Regular Objectives in MDPs. AAAI 2024: 21510-21517 - [c87]Taylor Dohmen
, Mateo Perez
, Fabio Somenzi
, Ashutosh Trivedi
:
Regular Reinforcement Learning. CAV (3) 2024: 184-208 - [c86]Vishnu Murali
, Ashutosh Trivedi
, Majid Zamani
:
Closure Certificates. HSCC 2024: 10:1-10:11 - [c85]Verya Monjezi
, Ashish Kumar
, Gang Tan
, Ashutosh Trivedi
, Saeid Tizpaz-Niari
:
Causal Graph Fuzzing for Fair ML Sofware Development. ICSE Companion 2024: 402-403 - [c84]Salvador Robles Herrera
, Verya Monjezi
, Vladik Kreinovich
, Ashutosh Trivedi
, Saeid Tizpaz-Niari
:
Predicting Fairness of ML Software Configurations. PROMISE 2024: 56-65 - [i62]Richard Roberson, Gowtham Kaki, Ashutosh Trivedi:
Analyzing the Effectiveness of Large Language Models on Text-to-SQL Synthesis. CoRR abs/2401.12379 (2024) - [i61]Ashutosh Gupta, John Komp, Abhay Singh Rajput, Shankaranarayanan Krishna, Ashutosh Trivedi, Namrita Varshney:
Integrating Explanations in Learning LTL Specifications from Demonstrations. CoRR abs/2404.02872 (2024) - [i60]Salvador Robles Herrera, Verya Monjezi, Vladik Kreinovich, Ashutosh Trivedi, Saeid Tizpaz-Niari:
Predicting Fairness of ML Software Configuration. CoRR abs/2404.19100 (2024) - [i59]Alireza Nadali, Ashutosh Trivedi, Majid Zamani:
Transfer of Safety Controllers Through Learning Deep Inverse Dynamics Model. CoRR abs/2405.13735 (2024) - 2023
- [j6]Ernst Moritz Hahn
, Mateo Perez
, Sven Schewe
, Fabio Somenzi
, Ashutosh Trivedi
, Dominik Wojtczak
:
Multi-objective ω-Regular Reinforcement Learning. Formal Aspects Comput. 35(2): 12:1-12:24 (2023) - [c83]Zack McKevitt, Ashutosh Trivedi, Tamara Silbergleit Lehman:
SpecCheck: A Tool for Systematic Identification of Vulnerable Transient Execution in gem5. PACT 2023: 265-278 - [c82]Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna, Ashutosh Trivedi:
Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements. AAAI 2023: 14792-14800 - [c81]Amin Falah, Shibashis Guha, Ashutosh Trivedi:
Reinforcement Learning for Omega-Regular Specifications on Continuous-Time MDP. ICAPS 2023: 578-586 - [c80]Taylor Dohmen, Ashutosh Trivedi:
Reinforcement Learning with Depreciating Assets. AAMAS 2023: 2628-2630 - [c79]Mohammad Afzal, Sankalp Gambhir, Ashutosh Gupta, S. Krishna, Ashutosh Trivedi, Alvaro Velasquez:
LTL-Based Non-Markovian Inverse Reinforcement Learning. AAMAS 2023: 2857-2859 - [c78]Rajeev Alur
, Osbert Bastani
, Kishor Jothimurugan
, Mateo Perez
, Fabio Somenzi
, Ashutosh Trivedi
:
Policy Synthesis and Reinforcement Learning for Discounted LTL. CAV (1) 2023: 415-435 - [c77]Alireza Nadali, Ashutosh Trivedi, Majid Zamani:
Transfer Learning for Barrier Certificates. CDC 2023: 8000-8005 - [c76]Ernst Moritz Hahn
, Mateo Perez
, Sven Schewe
, Fabio Somenzi
, Ashutosh Trivedi
, Dominik Wojtczak
:
Omega-Regular Reward Machines. ECAI 2023: 972-979 - [c75]Stanley Bak
, Taylor Dohmen
, K. Subramani, Ashutosh Trivedi
, Alvaro Velasquez, Piotr Wojciechowski:
The Octatope Abstract Domain for Verification of Neural Networks. FM 2023: 454-472 - [c74]Saeid Tizpaz-Niari, Verya Monjezi
, Morgan Wagner, Shiva Darian
, Krystia Reed, Ashutosh Trivedi:
Metamorphic Testing and Debugging of Tax Preparation Software. ICSE (SEIS) 2023: 138-149 - [c73]Verya Monjezi
, Ashutosh Trivedi, Gang Tan, Saeid Tizpaz-Niari:
Information-Theoretic Testing and Debugging of Fairness Defects in Deep Neural Networks. ICSE 2023: 1571-1582 - [c72]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: 527-545 - [i58]Taylor Dohmen
, Ashutosh Trivedi:
Reinforcement Learning with Depreciating Assets. CoRR abs/2302.14176 (2023) - [i57]Amin Falah, Shibashis Guha, Ashutosh Trivedi:
Reinforcement Learning for Omega-Regular Specifications on Continuous-Time MDP. CoRR abs/2303.09528 (2023) - [i56]Verya Monjezi
, Ashutosh Trivedi, Gang Tan, Saeid Tizpaz-Niari:
Information-Theoretic Testing and Debugging of Fairness Defects in Deep Neural Networks. CoRR abs/2304.04199 (2023) - [i55]Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi:
Policy Synthesis and Reinforcement Learning for Discounted LTL. CoRR abs/2305.17115 (2023) - [i54]Vishnu Murali, Ashutosh Trivedi, Majid Zamani:
Closure Certificates. CoRR abs/2305.17519 (2023) - [i53]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Omega-Regular Reward Machines. CoRR abs/2308.07469 (2023) - [i52]Mateo Perez, Fabio Somenzi, Ashutosh Trivedi:
A PAC Learning Algorithm for LTL and Omega-regular Objectives in MDPs. CoRR abs/2310.12248 (2023) - [i51]Vishnu Murali, Ashutosh Trivedi, Majid Zamani:
Co-Buchi Barrier Certificates for Discrete-time Dynamical Systems. CoRR abs/2311.07695 (2023) - [i50]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 abs/2311.11979 (2023) - [i49]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Omega-Regular Decision Processes. CoRR abs/2312.08602 (2023) - [i48]Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez:
Assume-Guarantee Reinforcement Learning. CoRR abs/2312.09938 (2023) - 2022
- [j5]Siyuan Liu
, Ashutosh Trivedi, Xiang Yin, Majid Zamani:
Secure-by-construction synthesis of cyber-physical systems. Annu. Rev. Control. 53: 30-50 (2022) - [j4]Vishnu Murali
, Ashutosh Trivedi
, Majid Zamani
:
A Scenario Approach for Synthesizing k-Inductive Barrier Certificates. IEEE Control. Syst. Lett. 6: 3247-3252 (2022) - [c71]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: 574-582 - [c70]Noah Topper, George K. Atia, Ashutosh Trivedi, Alvaro Velasquez:
Active Grammatical Inference for Non-Markovian Planning. ICAPS 2022: 647-651 - [c69]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: 732-741 - [c68]Alvaro Velasquez, Ismail Alkhouri, Andre Beckus, Ashutosh Trivedi, George K. Atia:
Controller Synthesis for Omega-Regular and Steady-State Specifications. AAMAS 2022: 1310-1318 - [c67]Ernst Moritz Hahn
, Mateo Perez
, Sven Schewe
, Fabio Somenzi
, Ashutosh Trivedi
, Dominik Wojtczak
:
An Impossibility Result in Automata-Theoretic Reinforcement Learning. ATVA 2022: 42-57 - [c66]Ernst Moritz Hahn
, Mateo Perez
, Sven Schewe
, Fabio Somenzi
, Ashutosh Trivedi
, Dominik Wojtczak
:
Alternating Good-for-MDPs Automata. ATVA 2022: 303-319 - [c65]Vrunda Dave, Shankara Narayanan Krishna, Vishnu Murali, Ashutosh Trivedi:
Optimal Repair for Omega-Regular Properties. ATVA 2022: 354-370 - [c64]Ernst Moritz Hahn
, Mateo Perez
, Sven Schewe
, Fabio Somenzi
, Ashutosh Trivedi
, Dominik Wojtczak
:
Reinforcement Learning with Guarantees that Hold for Ever. FMICS 2022: 3-7 - [c63]Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani:
k-Inductive Barrier Certificates for Stochastic Systems. HSCC 2022: 12:1-12:11 - [c62]Saeid Tizpaz-Niari, Ashish Kumar, Gang Tan, Ashutosh Trivedi:
Fairness-aware Configuration of Machine Learning Libraries. ICSE 2022: 909-920 - [c61]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Recursive Reinforcement Learning. NeurIPS 2022 - [i47]Saeid Tizpaz-Niari, Ashish Kumar, Gang Tan, Ashutosh Trivedi:
Fairness-aware Configuration of Machine Learning Libraries. CoRR abs/2202.06196 (2022) - [i46]Siyuan Liu, Ashutosh Trivedi, Xiang Yin, Majid Zamani:
Secure-by-Construction Synthesis of Cyber-Physical Systems. CoRR abs/2202.06677 (2022) - [i45]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Alternating Good-for-MDP Automata. CoRR abs/2205.03243 (2022) - [i44]Saeid Tizpaz-Niari, Morgan Wagner, Shiva Darian, Krystia Reed, Ashutosh Trivedi:
Metamorphic Testing and Debugging of Tax Preparation Software. CoRR abs/2205.04998 (2022) - [i43]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Recursive Reinforcement Learning. CoRR abs/2206.11430 (2022) - [i42]Vrunda Dave, Shankara Narayanan Krishna, Vishnu Murali, Ashutosh Trivedi:
Optimal Repair For Omega-regular Properties. CoRR abs/2207.13416 (2022) - [i41]Abolfazl Lavaei, Mateo Perez, Milad Kazemi, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani:
Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems. CoRR abs/2208.03485 (2022) - [i40]Rajeev Alur, Taylor Dohmen
, Ashutosh Trivedi:
Composing Copyless Streaming String Transducers. CoRR abs/2209.05448 (2022) - 2021
- [j3]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): 641-654 (2021) - [c60]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: 651-673 - [c59]Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani:
Safety Verification of Dynamical Systems via k-Inductive Barrier Certificates. CDC 2021: 1314-1320 - [c58]Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani:
Formal verification of hyperproperties for control systems. CAADCPS@CPSIoTWeek 2021: 29-30 - [c57]Vrunda Dave, Taylor Dohmen
, Shankara Narayanan Krishna, Ashutosh Trivedi:
Regular Model Checking with Regular Relations. FCT 2021: 190-203 - [c56]Ernst Moritz Hahn
, Mateo Perez
, Sven Schewe
, Fabio Somenzi
, Ashutosh Trivedi
, Dominik Wojtczak
:
Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives. FM 2021: 142-159 - [c55]Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna, Ashutosh Trivedi:
Event-Triggered and Time-Triggered Duration Calculus for Model-Free Reinforcement Learning. RTSS 2021: 240-252 - [c54]Tianhan Lu, Bor-Yuh Evan Chang, Ashutosh Trivedi:
Selectively-Amortized Resource Bounding. SAS 2021: 286-307 - [i39]Taylor Dohmen, Ashutosh Trivedi:
Discounting the Past in Stochastic Games. CoRR abs/2102.06985 (2021) - [i38]Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani:
Formal Verification of Control Systems against Hyperproperties via Barrier Certificates. CoRR abs/2105.05493 (2021) - [i37]Alvaro Velasquez, Ashutosh Trivedi, Ismail Alkhouri, Andre Beckus, George K. Atia:
Controller Synthesis for Omega-Regular and Steady-State Specifications. CoRR abs/2106.02951 (2021) - [i36]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Model-free Reinforcement Learning for Branching Markov Decision Processes. CoRR abs/2106.06777 (2021) - [i35]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Mungojerrie: Reinforcement Learning of Linear-Time Objectives. CoRR abs/2106.09161 (2021) - [i34]Alvaro Velasquez, Andre Beckus, Taylor Dohmen, Ashutosh Trivedi, Noah Topper, George K. Atia:
Learning Probabilistic Reward Machines from Non-Markovian Stochastic Reward Processes. CoRR abs/2107.04633 (2021) - [i33]Tianhan Lu, Bor-Yuh Evan Chang, Ashutosh Trivedi:
Selectively-Amortized Resource Bounding. CoRR abs/2108.08263 (2021) - 2020
- [c53]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: 108-124 - [c52]Emmanuel Filiot, Nicolas Mazzocchi
, Jean-François Raskin, Sriram Sankaranarayanan, Ashutosh Trivedi:
Weighted Transducers for Robustness Verification. CONCUR 2020: 17:1-17:21 - [c51]Ernst Moritz Hahn
, Mateo Perez
, Sven Schewe
, Fabio Somenzi
, Ashutosh Trivedi
, Dominik Wojtczak
:
Model-Free Reinforcement Learning for Stochastic Parity Games. CONCUR 2020: 21:1-21:16 - [c50]Abolfazl Lavaei, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani:
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning. ICCPS 2020: 98-107 - [c49]Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi:
Detecting and understanding real-world differential performance bugs in machine learning libraries. ISSTA 2020: 189-199 - [c48]Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi:
Data-Driven Debugging for Functional Side Channels. NDSS 2020 - [c47]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: 306-323 - [i32]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Reward Shaping for Reinforcement Learning with Omega-Regular Objectives. CoRR abs/2001.05977 (2020) - [i31]Abolfazl Lavaei, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani:
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning. CoRR abs/2003.00712 (2020) - [i30]Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi:
Detecting and Understanding Real-World Differential Performance Bugs in Machine Learning Libraries. CoRR abs/2006.01991 (2020)
2010 – 2019
- 2019
- [c46]Fabio Somenzi, Ashutosh Trivedi:
Reinforcement Learning and Formal Requirements. NSV@CAV 2019: 26-41 - [c45]Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi:
Quantitative Mitigation of Timing Side Channels. CAV (1) 2019: 140-160 - [c44]Devendra Bhave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi:
On Timed Scope-Bounded Context-Sensitive Languages. DLT 2019: 168-181 - [c43]Shibashis Guha, Ashutosh Trivedi:
Expected Reachability-Price Games. FORMATS 2019: 282-300 - [c42]Saeid Tizpaz-Niari, Pavol Cerný, Sriram Sankaranarayanan, Ashutosh Trivedi:
Efficient Detection and Quantification of Timing Leaks with Neural Networks. RV 2019: 329-348 - [c41]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: 16-18 - [c40]Ernst Moritz Hahn
, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
:
Omega-Regular Objectives in Model-Free Reinforcement Learning. TACAS (1) 2019: 395-412 - [c39]Tianhan Lu, Pavol Cerný, Bor-Yuh Evan Chang, Ashutosh Trivedi:
Type-Directed Bounding of Collections in Reactive Programs. VMCAI 2019: 275-296 - [i29]Devendra Bhave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi:
On Timed Scope-bounded Context-sensitive Languages. CoRR abs/1905.11125 (2019) - [i28]Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi:
Quantitative Mitigation of Timing Side Channels. CoRR abs/1906.08957 (2019) - [i27]Saeid Tizpaz-Niari, Pavol Cerný, Sriram Sankaranarayanan, Ashutosh Trivedi:
Efficient Detection and Quantification of Timing Leaks with Neural Networks. CoRR abs/1907.10159 (2019) - [i26]Ernst Moritz Hahn, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi, Sven Schewe, Dominik Wojtczak:
Good-for-MDPs Automata. CoRR abs/1909.05081 (2019) - [i25]Vrunda Dave, Taylor Dohmen, Shankara Narayanan Krishna, Ashutosh Trivedi:
MSO-Definable Regular Model Checking. CoRR abs/1910.09072 (2019) - 2018
- [c38]Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang
, Ashutosh Trivedi:
Differential Performance Debugging With Discriminant Regression Trees. AAAI 2018: 2468-2475 - [c37]Fabio Somenzi, Behrouz Touri, Ashutosh Trivedi:
Global Almost-Sure Reachability in Stochastic Constant-Rate Multi-Mode Systems. HSCC 2018: 11-20 - [i24]Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi:
Data-Driven Debugging for Functional Side Channels. CoRR abs/1808.10502 (2018) - [i23]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Omega-Regular Objectives in Model-Free Reinforcement Learning. CoRR abs/1810.00950 (2018) - [i22]Tianhan Lu, Pavol Cerný, Bor-Yuh Evan Chang, Ashutosh Trivedi:
Type-directed Bounding of Collections in Reactive Programs. CoRR abs/1810.10443 (2018) - 2017
- [j2]Rajeev Alur, Vojtech Forejt
, Salar Moarref, Ashutosh Trivedi:
Schedulability of Bounded-Rate Multimode Systems. ACM Trans. Embed. Comput. Syst. 16(3): 85:1-85:27 (2017) - [c36]Shankara Narayanan Krishna, Aviral Kumar, Fabio Somenzi, Behrouz Touri, Ashutosh Trivedi:
The Reach-Avoid Problem for Constant-Rate Multi-mode Systems. ATVA 2017: 463-479 - [c35]Ram Das Diwakaran, Sriram Sankaranarayanan, Ashutosh Trivedi:
Analyzing neighborhoods of falsifying traces in cyber-physical systems. ICCPS 2017: 109-119 - [c34]Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Ashutosh Trivedi:
Discriminating Traces with Time. TACAS (2) 2017: 21-37 - [i21]Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Ashutosh Trivedi:
Discriminating Traces with Time. CoRR abs/1702.07103 (2017) - [i20]Shankara Narayanan Krishna, Aviral Kumar, Fabio Somenzi, Behrouz Touri, Ashutosh Trivedi:
The Reach-Avoid Problem for Constant-Rate Multi-Mode Systems. CoRR abs/1707.04151 (2017) - [i19]Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Ashutosh Trivedi:
Differential Performance Debugging with Discriminant Regression Trees. CoRR abs/1711.04076 (2017) - 2016
- [j1]Vojtech Forejt, Marta Kwiatkowska, Gethin Norman
, Ashutosh Trivedi:
Expected reachability-time games. Theor. Comput. Sci. 631: 139-160 (2016) - [c33]Devendra Bhave, Vrunda Dave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi:
A Perfect Class of Context-Sensitive Timed Languages. DLT 2016: 38-50 - [c32]Vrunda Dave, Shankara Narayanan Krishna, Ashutosh Trivedi:
FO-Definable Transformations of Infinite Strings. FSTTCS 2016: 12:1-12:14 - [c31]Shibashis Guha, Marcin Jurdzinski
, Shankara Narayanan Krishna, Ashutosh Trivedi:
Mean-Payoff Games on Timed Automata. FSTTCS 2016: 44:1-44:14 - [c30]Devendra Bhave, Vrunda Dave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi:
A Logical Characterization for Dense-Time Visibly Pushdown Automata. LATA 2016: 89-101 - [c29]S. Akshay, Patricia Bouyer, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi:
Stochastic Timed Games Revisited. MFCS 2016: 8:1-8:14 - [c28]Anshul Gupta, Sven Schewe
, Ashutosh Trivedi, Sai Krishna Deepak Maram
, Bharath Kumar Padarthi:
Incentive Stackelberg Mean-Payoff Games. SEFM 2016: 304-320 - [c27]Devendra Bhave, Shankara Narayanan Krishna, Ashutosh Trivedi:
On Nonlinear Prices in Timed Automata. V2CPS@IFM 2016: 65-78 - [e1]Mehdi Kargahi, Ashutosh Trivedi:
Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems, V2CPS@IFM 2016, Reykjavík, Iceland, June 4-5, 2016. EPTCS 232, 2016 [contents] - [i18]Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi:
Expected Reachability-Time Games. CoRR abs/1604.04435 (2016) - [i17]Vrunda Dave, Shankara Narayanan Krishna, Ashutosh Trivedi:
FO-definable transformations of infinite strings. CoRR abs/1607.04910 (2016) - [i16]S. Akshay, Patricia Bouyer, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi:
Stochastic Timed Games Revisited. CoRR abs/1607.05671 (2016) - [i15]Shibashis Guha, Marcin Jurdzinski, Shankara Narayanan Krishna, Ashutosh Trivedi:
Mean-Payoff Games on Timed Automata. CoRR abs/1607.08480 (2016) - 2015
- [c26]Shankara Narayanan Krishna, Ganesh Khandu Narwane, S. Ramesh, Ashutosh Trivedi
:
Compositional modeling and analysis of automotive feature product lines. DAC 2015: 57:1-57:6 - [c25]Ajith K. John, Shetal Shah, Supratik Chakraborty, Ashutosh Trivedi, S. Akshay:
Skolem Functions for Factored Formulas. FMCAD 2015: 73-80 - [c24]Shibashis Guha, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi:
Revisiting Robustness in Priced Timed Games. FSTTCS 2015: 261-277 - [c23]Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
:
What's decidable about recursive hybrid automata? HSCC 2015: 31-40 - [c22]Devendra Bhave, Sagar Jha, Shankara Narayanan Krishna, Sven Schewe
, Ashutosh Trivedi
:
Bounded-rate multi-mode systems based motion planning. HSCC 2015: 41-50 - [c21]Sven Schewe
, Ashutosh Trivedi
, Thomas Varghese:
Symmetric Strategy Improvement. ICALP (2) 2015: 388-400 - [c20]Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
:
Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable. LATA 2015: 237-248 - [c19]Ankush Das, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
, Dominik Wojtczak
:
On Pure Nash Equilibria in Stochastic Games. TAMC 2015: 359-371 - [c18]Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi:
Reachability Games on Recursive Hybrid Automata. TIME 2015: 150-159 - [i14]Sven Schewe, Ashutosh Trivedi, Thomas Varghese:
Symmetric Strategy Improvement. CoRR abs/1501.06484 (2015) - [i13]Shankara Narayanan Krishna, Ashutosh Trivedi:
Hybrid Automata for Formal Modeling and Verification of Cyber-Physical Systems. CoRR abs/1503.04928 (2015) - [i12]Shibashis Guha, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi:
Revisiting Robustness in Priced Timed Games. CoRR abs/1507.05787 (2015) - [i11]Ajith K. John, Shetal Shah, Supratik Chakraborty, Ashutosh Trivedi, S. Akshay:
Skolem Functions for Factored Formulas. CoRR abs/1508.05497 (2015) - [i10]Anshul Gupta, Sai Krishna Deepak Maram, Bharath Kumar Padarthi, Sven Schewe, Ashutosh Trivedi:
Incentive Stackelberg Mean-payoff Games. CoRR abs/1511.00188 (2015) - 2014
- [c17]Thomas Brihaye, Gilles Geeraerts, Shankara Narayanan Krishna, Lakshmi Manasa, Benjamin Monmege
, Ashutosh Trivedi
:
Adding Negative Prices to Priced Timed Games. CONCUR 2014: 560-575 - [c16]Shankara Narayanan Krishna, Umang Mathur
, Ashutosh Trivedi:
Weak Singular Hybrid Automata. FORMATS 2014: 161-175 - [c15]Emmanuel Filiot
, Shankara Narayanan Krishna, Ashutosh Trivedi
:
First-order Definable String Transformations. FSTTCS 2014: 147-159 - [c14]Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
:
Improved Undecidability Results for Reachability Games on Recursive Timed Automata. GandALF 2014: 245-259 - [i9]Thomas Brihaye, Gilles Geeraerts, Shankara Narayanan Krishna, Lakshmi Manasa, Benjamin Monmege, Ashutosh Trivedi:
Adding Negative Prices to Priced Timed Games. CoRR abs/1404.5894 (2014) - [i8]Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi:
On The Reachability Problem for Recursive Hybrid Automata with One and Two Players. CoRR abs/1406.7289 (2014) - [i7]Emmanuel Filiot, Shankara Narayanan Krishna, Ashutosh Trivedi:
First-order definable string transformations. CoRR abs/1406.7824 (2014) - [i6]Devendra Bhave, Sagar Jha, Shankara Narayanan Krishna, Sven Schewe, Ashutosh Trivedi:
Bounded-Rate Multi-Mode Systems Based Motion Planning. CoRR abs/1412.3670 (2014) - 2013
- [c13]Rajeev Alur, Vojtech Forejt, Salar Moarref, Ashutosh Trivedi
:
Safe schedulability of bounded-rate multi-mode systems. HSCC 2013: 243-252 - [c12]Rajeev Alur, Antoine Durand-Gasselin, Ashutosh Trivedi
:
From Monadic Second-Order Definable String Transformations to Transducers. LICS 2013: 458-467 - [i5]Rajeev Alur, Vojtech Forejt, Salar Moarref, Ashutosh Trivedi:
Safe Schedulability of Bounded-Rate Multi-Mode Systems. CoRR abs/1302.0745 (2013) - [i4]Shankara Narayanan Krishna, Umang Mathur, Ashutosh Trivedi:
Weak Singular Hybrid Automata. CoRR abs/1311.3826 (2013) - 2012
- [c11]Taolue Chen
, Vojtech Forejt, Marta Z. Kwiatkowska, Aistis Simaitis, Ashutosh Trivedi
, Michael Ummels:
Playing Stochastic Games Precisely. CONCUR 2012: 348-363 - [c10]Rajeev Alur, Ashutosh Trivedi
, Dominik Wojtczak
:
Optimal scheduling for constant-rate multi-mode systems. HSCC 2012: 75-84 - [c9]Rajeev Alur, Emmanuel Filiot
, Ashutosh Trivedi
:
Regular Transformations of Infinite Strings. LICS 2012: 65-74 - 2011
- [c8]Rajeev Alur, Ashutosh Trivedi
:
Relating average and discounted costs for quantitative analysis of timed systems. EMSOFT 2011: 165-174 - 2010
- [c7]Ashutosh Trivedi
, Dominik Wojtczak
:
Recursive Timed Automata. ATVA 2010: 306-324 - [c6]Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman
, Ashutosh Trivedi
:
Expected Reachability-Time Games. FORMATS 2010: 122-136 - [c5]Ashutosh Trivedi
, Dominik Wojtczak
:
Timed Branching Processes. QEST 2010: 219-228 - [i3]Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi:
Quantitative Games on Probabilistic Timed Automata. CoRR abs/1001.1933 (2010)
2000 – 2009
- 2009
- [b1]Ashutosh Trivedi:
Competative optimisation on timed automata. University of Warwick, Coventry, UK, 2009 - [c4]Marcin Jurdzinski
, Marta Z. Kwiatkowska, Gethin Norman
, Ashutosh Trivedi
:
Concavely-Priced Probabilistic Timed Automata. CONCUR 2009: 415-430 - [i2]Marcin Jurdzinski, Ashutosh Trivedi:
Reachability-time games on timed automata. CoRR abs/0907.3414 (2009) - [i1]Marcin Jurdzinski, Ashutosh Trivedi:
Average-Time Games on Timed Automata. CoRR abs/0910.2891 (2009) - 2008
- [c3]Marcin Jurdzinski
, Ashutosh Trivedi
:
Concavely-Priced Timed Automata. FORMATS 2008: 48-62 - [c2]Marcin Jurdzinski, Ashutosh Trivedi:
Average-Time Games. FSTTCS 2008: 340-351 - 2007
- [c1]Marcin Jurdzinski, Ashutosh Trivedi:
Reachability-Time Games on Timed Automata. ICALP 2007: 838-849
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint