Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAshutosh Trivedi 0001
Person information
- affiliation: University of Colorado Boulder, CO, USA
Other persons with the same name
- Ashutosh Trivedi 0002
![[0000-0003-4976-491X]](https://dblp.dagstuhl.de/img/orcid-mark.12x12.png "0000-0003-4976-491X")
— Spext, Bangalore, India - Ashutosh Trivedi 0003 — Delhi Technological University, Delhi, India
- Ashutosh Trivedi 0004 — Ontario Tech University, Oshawa, ON, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[c75]Taylor Dohmen, Ashutosh Trivedi:
Reinforcement Learning with Depreciating Assets. AAMAS 2023: 2628-2630- [c74]Mohammad Afzal, Sankalp Gambhir, Ashutosh Gupta, Krishna S, Ashutosh Trivedi, Alvaro Velasquez:
LTL-Based Non-Markovian Inverse Reinforcement Learning. AAMAS 2023: 2857-2859 - [c73]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 - [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 - [i50]Taylor Dohmen, Ashutosh Trivedi:
Reinforcement Learning with Depreciating Assets. CoRR abs/2302.14176 (2023) - [i49]Amin Falah, Shibashis Guha, Ashutosh Trivedi:
Reinforcement Learning for Omega-Regular Specifications on Continuous-Time MDP. CoRR abs/2303.09528 (2023) - [i48]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) - 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, Shankara Narayanan 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]