


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

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
- [e3]Krishna Shankaranarayanan
, Sriram Sankaranarayanan
, Ashutosh Trivedi
:
Verification, Model Checking, and Abstract Interpretation - 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I. Lecture Notes in Computer Science 15529, Springer 2025, ISBN 978-3-031-82699-3 [contents] - [e2]Krishna Shankaranarayanan
, Sriram Sankaranarayanan
, Ashutosh Trivedi
:
Verification, Model Checking, and Abstract Interpretation - 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II. Lecture Notes in Computer Science 15530, Springer 2025, ISBN 978-3-031-82702-0 [contents] - 2024
- [j10]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) - [j9]Mohammed Adib Oumer
, Vishnu Murali
, Ashutosh Trivedi
, Majid Zamani
:
Safety Verification of Discrete-Time Systems via Interpolation-Inspired Barrier Certificates. IEEE Control. Syst. Lett. 8: 3183-3188 (2024) - [j8]Stanley Bak, Taylor Dohmen, K. Subramani, Ashutosh Trivedi, Alvaro Velasquez, Piotr Wojciechowski:
The hexatope and octatope abstract domains for neural network verification. Formal Methods Syst. Des. 64(1): 178-199 (2024) - [j7]Mahathi Anand
, Vishnu Murali
, Ashutosh Trivedi
, Majid Zamani
:
Verification of Hyperproperties for Dynamical Systems via Barrier Certificates. IEEE Trans. Autom. Control. 69(10): 6920-6934 (2024) - [c94]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Omega-Regular Decision Processes. AAAI 2024: 21125-21133 - [c93]Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez:
Assume-Guarantee Reinforcement Learning. AAAI 2024: 21223-21231 - [c92]Alireza Nadali, Vishnu Murali, Ashutosh Trivedi, Majid Zamani:
Neural Closure Certificates. AAAI 2024: 21446-21453 - [c91]Mateo Perez, Fabio Somenzi, Ashutosh Trivedi:
A PAC Learning Algorithm for LTL and Omega-Regular Objectives in MDPs. AAAI 2024: 21510-21517 - [c90]Vishnu Murali, Ashutosh Trivedi, Majid Zamani:
Falsification via Barrier Certificates. ACC 2024: 4657-4662 - [c89]Taylor Dohmen
, Mateo Perez
, Fabio Somenzi
, Ashutosh Trivedi
:
Regular Reinforcement Learning. CAV (3) 2024: 184-208 - [c88]Ernst Moritz Hahn
, Mateo Perez
, Sven Schewe
, Fabio Somenzi
, Ashutosh Trivedi
, Dominik Wojtczak
:
Multi-Agent Reinforcement Learning for Alternating-Time Logic. ECAI 2024: 1680-1687 - [c87]Vishnu Murali
, Ashutosh Trivedi
, Majid Zamani
:
Closure Certificates. HSCC 2024: 10:1-10:11 - [c86]Verya Monjezi
, Ashish Kumar
, Gang Tan
, Ashutosh Trivedi
, Saeid Tizpaz-Niari
:
Causal Graph Fuzzing for Fair ML Sofware Development. ICSE Companion 2024: 402-403 - [c85]Salvador Robles Herrera
, Verya Monjezi
, Vladik Kreinovich
, Ashutosh Trivedi
, Saeid Tizpaz-Niari
:
Predicting Fairness of ML Software Configurations. PROMISE 2024: 56-65 - [c84]Shadi Tasdighi Kalat, Sriram Sankaranarayanan, Ashutosh Trivedi:
What is Your Discount Factor? QEST+FORMATS 2024: 322-336 - [i67]Richard Roberson, Gowtham Kaki, Ashutosh Trivedi:
Analyzing the Effectiveness of Large Language Models on Text-to-SQL Synthesis. CoRR abs/2401.12379 (2024) - [i66]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) - [i65]Salvador Robles Herrera, Verya Monjezi, Vladik Kreinovich, Ashutosh Trivedi, Saeid Tizpaz-Niari:
Predicting Fairness of ML Software Configuration. CoRR abs/2404.19100 (2024) - [i64]Alireza Nadali, Ashutosh Trivedi, Majid Zamani:
Transfer of Safety Controllers Through Learning Deep Inverse Dynamics Model. CoRR abs/2405.13735 (2024) - [i63]Lekai Chen, Ashutosh Trivedi, Alvaro Velasquez:
LLMs as Probabilistic Minimally Adequate Teachers for DFA Learning. CoRR abs/2408.02999 (2024) - [i62]Shadi Tasdighi Kalat, Sriram Sankaranarayanan, Ashutosh Trivedi:
Anticipating Oblivious Opponents in Stochastic Games. CoRR abs/2409.11671 (2024) - [i61]Saeid Tizpaz-Niari, Shiva Darian, Ashutosh Trivedi:
Metamorphic Debugging for Accountable Software. CoRR abs/2409.16140 (2024) - [i60]John Komp, Dananjay Srinivas, Maria Leonor Pacheco, Ashutosh Trivedi:
Show, Don't Tell: Learning Reward Machines from Demonstrations for Reinforcement Learning-Based Cardiac Pacemaker Synthesis. CoRR abs/2411.01750 (2024) - [i59]Alireza Nadali, Bingzhuo Zhong, Ashutosh Trivedi, Majid Zamani:
Transfer Learning for Control Systems via Neural Simulation Relations. CoRR abs/2412.01783 (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 - [d2]Milad Kazemi Mehrabadi
, Mateo Perez
, Fabio Somenzi
, Sadegh Soudjani
, Ashutosh Trivedi
, Alvaro Velasquez
:
Artifact for "Assume-Guarantee Reinforcement Learning". Zenodo, 2023 - [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 - [d1]Ernst Moritz Hahn
, Mateo Perez
, Sven Schewe
, Fabio Somenzi
, Ashutosh Trivedi
, Dominik Wojtczak
:
Model-free Reinforcement Learning for Branching Markov Decision Processes (Artifact Evaluation for CAV 2021). Zenodo, 2021 - [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