Ashutosh Trivedi

Identifiers

• name variant Ashutosh Trivedi 0.60 · backfill

Papers (29)

1. KV-Fold: One-Step KV-Cache Recurrence for Long-Context Inference cs.LG · 2026 · author #3
2. Social Welfare under Heterogeneous Time Preferences cs.GT · 2026 · author #5
3. HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications eess.SY · 2026 · author #3
4. Do Thought Streams Matter? Evaluating Reasoning in Gemini Vision-Language Models for Video Scene Understanding cs.CV · 2026 · author #4
5. BarrierBench: Evaluating Large Language Models for Safety Verification in Dynamical Systems cs.AI · 2025 · author #4
6. Explaining Puzzle Solutions in Natural Language: An Exploratory Study on 6x6 Sudoku cs.CL · 2025 · author #4
7. Efficient Detection and Quantification of Timing Leaks with Neural Networks cs.CR · 2019 · author #4
8. Quantitative Mitigation of Timing Side Channels cs.CR · 2019 · author #3
9. On Timed Scope-bounded Context-sensitive Languages cs.FL · 2019 · author #4
10. Type-directed Bounding of Collections in Reactive Programs cs.PL · 2018 · author #4
11. Omega-Regular Objectives in Model-Free Reinforcement Learning cs.LO · 2018 · author #5
12. Differential Performance Debugging with Discriminant Regression Trees cs.AI · 2017 · author #4
13. The Reach-Avoid Problem for Constant-Rate Multi-Mode Systems cs.LO · 2017 · author #5
14. Discriminating Traces with Time cs.PL · 2017 · author #5
15. Almost-Sure Reachability in Stochastic Multi-Mode System math.OC · 2016 · author #3
16. Stochastic Timed Games Revisited cs.LO · 2016 · author #5
17. FO-definable transformations of infinite strings cs.FL · 2016 · author #3
18. Expected Reachability-Time Games cs.LO · 2016 · author #4
19. Incentive Stackelberg Mean-payoff Games cs.GT · 2015 · author #5
20. Skolem Functions for Factored Formulas cs.LO · 2015 · author #4
21. Revisiting Robustness in Priced Timed Games cs.LO · 2015 · author #4
22. Hybrid Automata for Formal Modeling and Verification of Cyber-Physical Systems cs.LO · 2015 · author #2
23. Symmetric Strategy Improvement cs.GT · 2015 · author #2
24. Bounded-Rate Multi-Mode Systems Based Motion Planning cs.LO · 2014 · author #5
25. First-order definable string transformations cs.LO · 2014 · author #3
26. On The Reachability Problem for Recursive Hybrid Automata with One and Two Players cs.LO · 2014 · author #3
27. Weak Singular Hybrid Automata cs.FL · 2013 · author #3
28. Safe Schedulability of Bounded-Rate Multi-Mode Systems cs.LO · 2013 · author #4
29. Quantitative Games on Probabilistic Timed Automata cs.GT · 2010 · author #3

Mentions

• 1406.7824 #3 · backfill · confidence 0.70 Ashutosh Trivedi
• 1406.7289 #3 · backfill · confidence 0.70 Ashutosh Trivedi
• 1311.3826 #3 · backfill · confidence 0.70 Ashutosh Trivedi
• 1302.0745 #4 · backfill · confidence 0.70 Ashutosh Trivedi
• 1001.1933 #3 · backfill · confidence 0.70 Ashutosh Trivedi

Frequent Coauthors

• Shankara Narayanan Krishna 9 shared papers
• Pavol Cerny 5 shared papers
• Sven Schewe 5 shared papers
• Fabio Somenzi 4 shared papers
• Saeid Tizpaz-Niari 4 shared papers
• Bor-Yuh Evan Chang 3 shared papers
• Lakshmi Manasa 3 shared papers
• Behrouz Touri 2 shared papers
• Gethin Norman 2 shared papers
• Marta Kwiatkowska 2 shared papers
• Sriram Sankaranarayanan 2 shared papers
• Ajith K. John 1 shared papers
• Alireza Nadali 1 shared papers
• Alireza Taban 1 shared papers
• Ali Taheri 1 shared papers
• Alvaro Velasquez 1 shared papers
• Amin Falah 1 shared papers
• Anirudh Maiya 1 shared papers
• Anshul Gupta 1 shared papers
• Ashish Choithani 1 shared papers