Ashutosh Trivedi

Most-cited papers

1. Omega-Regular Objectives in Model-Free Reinforcement Learning

   E. M. Hahn, Mateo Perez, S. Schewe, F. Somenzi +2 more

   2018International Conference on Tools and Algorithms for Construction and Analysis of Systems173 citations Open access

   Semantic Scholar

   Save

2. Fairness-aware Configuration of Machine Learning Libraries

   Saeid Tizpaz-Niari, Ashish Kumar, Gang Tan, Ashutosh Trivedi

   2022International Conference on Software Engineering71 citations Open access

   Semantic Scholar

   Save

3. Secure-by-Construction Synthesis of Cyber-Physical Systems

   Siyuan Liu, Ashutosh Trivedi, Xiang Yin, Majid Zamani

   2022Annual Reviews in Control61 citations Open access

   Semantic Scholar

   Save

4. Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning

   Abolfazl Lavaei, F. Somenzi, S. Soudjani, Ashutosh Trivedi +1 more

   2020International Conference on Cyber-Physical Systems59 citations Open access

   Semantic Scholar

   Save

5. Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning

   E. M. Hahn, Mateo Perez, S. Schewe, F. Somenzi +2 more

   2019International Conference on Tools and Algorithms for Construction and Analysis of Systems42 citations Open access

   Semantic Scholar

   Save

6. Information-Theoretic Testing and Debugging of Fairness Defects in Deep Neural Networks

   Verya Monjezi, Ashutosh Trivedi, Gang Tan, Saeid Tizpaz-Niari

   2023International Conference on Software Engineering40 citations Open access

   Semantic Scholar

   Save

7. First-order Definable String Transformations

   Emmanuel Filiot, S. Krishna, Ashutosh Trivedi

   2014Foundations of Software Technology and Theoretical Computer Science32 citations

   Semantic Scholar

   Save

8. Skolem functions for factored formulas

   Ajith K. John, Shetal Shah, Supratik Chakraborty, Ashutosh Trivedi +1 more

   2015Formal Methods in Computer-Aided Design29 citations Open access

   Semantic Scholar

   Save

9. Detecting and understanding real-world differential performance bugs in machine learning libraries

   Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi

   2020International Symposium on Software Testing and Analysis27 citations Open access

   Semantic Scholar

   Save

10. Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives

    E. M. Hahn, Mateo Perez, S. Schewe, F. Somenzi +2 more

    2020Automated Technology for Verification and Analysis26 citations Open access

    Semantic Scholar

    Save

11. Inferring Probabilistic Reward Machines from Non-Markovian Reward Signals for Reinforcement Learning

    Taylor Dohmen, Noah Topper, George K. Atia, Andre Beckus +2 more

    2021International Conference on Automated Planning and Scheduling24 citations Open access

    Semantic Scholar

    Save

12. k-Inductive Barrier Certificates for Stochastic Systems

    Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani

    2022International Conference on Hybrid Systems: Computation and Control23 citations Open access

    Semantic Scholar

    Save

13. Policy Synthesis and Reinforcement Learning for Discounted LTL

    R. Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez +2 more

    2023International Conference on Computer Aided Verification22 citations Open access

    Semantic Scholar

    Save

14. Adding Negative Prices to Priced Timed Games

    Thomas Brihaye, Gilles Geeraerts, S. Krishna, L. Manasa +2 more

    2014International Conference on Concurrency Theory22 citations Open access

    Semantic Scholar

    Save

15. Analyzing Neighborhoods of Falsifying Traces in Cyber-Physical Systems

    Ram Das Diwakaran, S. Sankaranarayanan, Ashutosh Trivedi

    2017International Conference on Cyber-Physical Systems20 citations Open access

    Semantic Scholar

    Save

16. Quantitative Mitigation of Timing Side Channels

    Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi

    2019International Conference on Computer Aided Verification18 citations Open access

    Semantic Scholar

    Save

17. Differential Performance Debugging with Discriminant Regression Trees

    Saeid Tizpaz-Niari, Pavol Cerný, B. E. Chang, Ashutosh Trivedi

    2017AAAI Conference on Artificial Intelligence18 citations Open access

    Semantic Scholar

    Save

18. A PAC Learning Algorithm for LTL and Omega-regular Objectives in MDPs

    Mateo Perez, F. Somenzi, Ashutosh Trivedi

    2023AAAI Conference on Artificial Intelligence15 citations

    Semantic Scholar

    Save

19. Symmetric Strategy Improvement

    S. Schewe, Ashutosh Trivedi, Thomas Varghese

    2015International Colloquium on Automata, Languages and Programming15 citations

    Semantic Scholar

    Save

20. Data-Driven Debugging for Functional Side Channels

    Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi

    2018Network and Distributed System Security Symposium14 citations Open access

    Semantic Scholar

    Save

21. Safe schedulability of bounded-rate multi-mode systems

    R. Alur, Vojtěch Forejt, Salar Moarref, Ashutosh Trivedi

    2013International Conference on Hybrid Systems: Computation and Control14 citations

    Semantic Scholar

    Save

22. Translating Omega-Regular Specifications to Average Objectives for Model-Free Reinforcement Learning

    M. Kazemi, Mateo Perez, F. Somenzi, Sadegh Soudjani +2 more

    2022Adaptive Agents and Multi-Agent Systems13 citations

    Semantic Scholar

    Save

23. Metamorphic Testing and Debugging of Tax Preparation Software

    Saeid Tizpaz-Niari, Verya Monjezi, Morgan Wagner, Shiva Darian +2 more

    20222023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Society (ICSE-SEIS)13 citations Open access

    Semantic Scholar

    Save

24. Safety Verification of Dynamical Systems via k-Inductive Barrier Certificates

    Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani

    2021IEEE Conference on Decision and Control13 citations

    Semantic Scholar

    Save

25. Model-Free Reinforcement Learning for Stochastic Parity Games

    E. M. Hahn, Mateo Perez, S. Schewe, F. Somenzi +2 more

    2020International Conference on Concurrency Theory13 citations

    Semantic Scholar

    Save

26. From Monadic Second-Order Definable String Transformations to Transducers

    R. Alur, Antoine Durand-Gasselin, Ashutosh Trivedi

    20132013 28th Annual ACM/IEEE Symposium on Logic in Computer Science13 citations

    Semantic Scholar

    Save

27. Closure Certificates

    Vishnu Murali, Ashutosh Trivedi, Majid Zamani

    2023International Conference on Hybrid Systems: Computation and Control12 citations Open access

    Semantic Scholar

    Save

28. Mungojerrie: Reinforcement Learning of Linear-Time Objectives

    E. M. Hahn, Mateo Perez, S. Schewe, F. Somenzi +2 more

    2021arXiv.org11 citations

    Semantic Scholar

    Save

29. Modeling the Spread and Control of COVID-19

    Ashutosh Trivedi, Nanda Kishore Sreenivas, Shrisha Rao

    2020medRxiv10 citations Open access

    Semantic Scholar

    Save

30. Discriminating Traces with Time

    Saeid Tizpaz-Niari, Pavol Cerný, B. E. Chang, S. Sankaranarayanan +1 more

    2017International Conference on Tools and Algorithms for Construction and Analysis of Systems10 citations

    Semantic Scholar

    Save

31. A Logical Characterization for Dense-Time Visibly Pushdown Automata

    D. Bhave, V. Dave, S. Krishna, Ramchandra Phawade +1 more

    2016Language and Automata Theory and Applications10 citations

    Semantic Scholar

    Save

32. Learning Probabilistic Reward Machines from Non-Markovian Stochastic Reward Processes

    Alvaro Velasquez, Andre Beckus, Taylor Dohmen, Ashutosh Trivedi +2 more

    2021arXiv.org9 citations

    Semantic Scholar

    Save

33. Weighted Transducers for Robustness Verification

    Emmanuel Filiot, Nicolas Mazzocchi, J. Raskin, S. Sankaranarayanan +1 more

    2020International Conference on Concurrency Theory8 citations

    Semantic Scholar

    Save

34. On Pure Nash Equilibria in Stochastic Games

    Ankush Das, S. Krishna, L. Manasa, Ashutosh Trivedi +1 more

    2015Theory and Applications of Models of Computation8 citations

    Semantic Scholar

    Save

35. What's decidable about recursive hybrid automata?

    S. Krishna, L. Manasa, Ashutosh Trivedi

    2015International Conference on Hybrid Systems: Computation and Control8 citations

    Semantic Scholar

    Save

36. Reward Shaping for Reinforcement Learning with Omega-Regular Objectives

    E. M. Hahn, Mateo Perez, S. Schewe, F. Somenzi +2 more

    2020arXiv.org7 citations

    Semantic Scholar

    Save

37. Efficient Detection and Quantification of Timing Leaks with Neural Networks

    Saeid Tizpaz-Niari, Pavol Cerný, S. Sankaranarayanan, Ashutosh Trivedi

    2019Runtime Verification7 citations Open access

    Semantic Scholar

    Save

38. Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning

    E. M. Hahn, Mateo Perez, S. Schewe, F. Somenzi +2 more

    2023International Conference on Tools and Algorithms for Construction and Analysis of Systems6 citations Open access

    Semantic Scholar

    Save

39. Assume-Guarantee Reinforcement Learning

    M. Kazemi, Mateo Perez, F. Somenzi, Sadegh Soudjani +2 more

    2023AAAI Conference on Artificial Intelligence6 citations

    Semantic Scholar

    Save

40. Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems

    Abolfazl Lavaei, Mateo Perez, M. Kazemi, F. Somenzi +3 more

    2022IEEE Open Journal of Control Systems6 citations Open access

    Semantic Scholar

    Save

41. A Scenario Approach for Synthesizing k-Inductive Barrier Certificates

    Vishnu Murali, Ashutosh Trivedi, Majid Zamani

    2022IEEE Control Systems Letters6 citations

    Semantic Scholar

    Save

42. A Perfect Class of Context-Sensitive Timed Languages

    D. Bhave, V. Dave, S. Krishna, Ramchandra Phawade +1 more

    2016International Conference on Developments in Language Theory6 citations

    Semantic Scholar

    Save

43. Bounded-rate multi-mode systems based motion planning

    D. Bhave, Sagar Jha, S. Krishna, S. Schewe +1 more

    2014International Conference on Hybrid Systems: Computation and Control6 citations

    Semantic Scholar

    Save

44. Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements

    Kalyani Dole, Ashutosh Gupta, John Komp, S. Krishna +1 more

    2023AAAI Conference on Artificial Intelligence5 citations Open access

    Semantic Scholar

    Save

45. Formal verification of hyperproperties for control systems

    Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani

    2021CAADCPS@CPSIoTWeek5 citations

    Semantic Scholar

    Save

46. Schedulability of Bounded-Rate Multimode Systems

    R. Alur, Vojtěch Forejt, Salar Moarref, Ashutosh Trivedi

    2017ACM Transactions on Embedded Computing Systems5 citations Open access

    Semantic Scholar

    Save

47. The Reach-Avoid Problem for Constant-Rate Multi-Mode Systems

    S. Krishna, Aviral Kumar, F. Somenzi, B. Touri +1 more

    2017Automated Technology for Verification and Analysis5 citations

    Semantic Scholar

    Save

48. On Nonlinear Prices in Timed Automata

    D. Bhave, S. Krishna, Ashutosh Trivedi

    2016V2CPS@IFM5 citations Open access

    Semantic Scholar

    Save

49. Stochastic Timed Games Revisited

    S. Akshay, P. Bouyer, S. Krishna, L. Manasa +1 more

    2016International Symposium on Mathematical Foundations of Computer Science5 citations

    Semantic Scholar

    Save

50. Compositional modeling and analysis of automotive feature product lines

    S. Krishna, Ganesh Khandu Narwane, S. Ramesh, Ashutosh Trivedi

    2015Design Automation Conference5 citations

    Semantic Scholar

    Save