Ashutosh Trivedi
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Closure certificates Nonlinear Analysis. Hybrid Systems | 2025-12-12 | Paper |
| Closure certificates | 2025-04-25 | Paper |
| Multi-objective -regular reinforcement learning Formal Aspects of Computing | 2025-02-12 | Paper |
| Verification of hyperproperties for dynamical systems via barrier certificates IEEE Transactions on Automatic Control | 2025-01-21 | Paper |
| The hexatope and octatope abstract domains for neural network verification Formal Methods in System Design | 2025-01-13 | Paper |
| k-Inductive Barrier Certificates for Stochastic Systems 25th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
| Quantitative mitigation of timing side channels Computer Aided Verification | 2024-02-16 | Paper |
| Policy synthesis and reinforcement learning for discounted LTL | 2024-02-01 | Paper |
| Omega-Regular Objectives in Model-Free Reinforcement Learning Tools and Algorithms for the Construction and Analysis of Systems | 2023-11-24 | Paper |
| The octatope abstract domain for verification of neural networks Formal Methods | 2023-08-17 | Paper |
| An impossibility result in automata-theoretic reinforcement learning Automated Technology for Verification and Analysis | 2023-06-02 | Paper |
| Alternating good-for-MDPs automata Automated Technology for Verification and Analysis | 2023-06-02 | Paper |
| Alternating good-for-MDPs automata Automated Technology for Verification and Analysis | 2023-06-02 | Paper |
| Optimal repair for omega-regular properties Automated Technology for Verification and Analysis | 2023-06-02 | Paper |
| Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives | 2023-04-21 | Paper |
| Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives 1517.68331 | 2022-12-22 | Paper |
| Good-for-MDPs automata for probabilistic analysis and reinforcement learning Tools and Algorithms for the Construction and Analysis of Systems | 2022-10-13 | Paper |
| The Reach-Avoid Problem for Constant-Rate Multi-mode Systems Automated Technology for Verification and Analysis | 2022-08-12 | Paper |
| scientific article; zbMATH DE number 7559473 (Why is no real title available?) | 2022-07-18 | Paper |
| Model-Free Reinforcement Learning for Stochastic Parity Games | 2022-07-18 | Paper |
| Selectively-amortized resource bounding (available as arXiv preprint) | 2022-06-17 | Paper |
| Regular model checking with regular relations (available as arXiv preprint) | 2022-05-20 | Paper |
| Model-free reinforcement learning for branching Markov decision processes (available as arXiv preprint) | 2022-03-25 | Paper |
| Improved undecidability results for reachability games on recursive timed automata | 2021-06-24 | Paper |
| Improved undecidability results for reachability games on recursive timed automata (available as arXiv preprint) | 2021-06-24 | Paper |
| Discriminating traces with time Tools and Algorithms for the Construction and Analysis of Systems | 2020-08-05 | Paper |
| Expected reachability-price games | 2020-05-05 | Paper |
| Type-directed bounding of collections in reactive programs (available as arXiv preprint) | 2020-01-23 | Paper |
| On timed scope-bounded context-sensitive languages (available as arXiv preprint) | 2019-10-15 | Paper |
| Global Almost-Sure Reachability in Stochastic Constant-Rate Multi-Mode Systems Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) | 2018-12-06 | Paper |
| Incentive Stackelberg mean-payoff games Software Engineering and Formal Methods | 2018-07-06 | Paper |
| scientific article; zbMATH DE number 6862072 (Why is no real title available?) (available as arXiv preprint) | 2018-04-19 | Paper |
| FO-definable transformations of infinite strings (available as arXiv preprint) | 2018-04-19 | Paper |
| Stochastic timed games revisited (available as arXiv preprint) | 2018-03-21 | Paper |
| Revisiting robustness in priced timed games (available as arXiv preprint) | 2017-07-13 | Paper |
| From monadic second-order definable string transformations to transducers 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
| What's decidable about recursive hybrid automata? Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
| Bounded-rate multi-mode systems based motion planning Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
| Optimal scheduling for constant-rate multi-mode systems Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control | 2017-05-16 | Paper |
| Regular transformations of infinite strings 2012 27th Annual IEEE Symposium on Logic in Computer Science | 2017-05-16 | Paper |
| Safe schedulability of bounded-rate multi-mode systems Proceedings of the 16th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
| First-order definable string transformations (available as arXiv preprint) | 2017-04-25 | Paper |
| A perfect class of context-sensitive timed languages Developments in Language Theory | 2016-08-30 | Paper |
| Expected reachability-time games Theoretical Computer Science | 2016-05-02 | Paper |
| A logical characterization for dense-time visibly pushdown automata Language and Automata Theory and Applications | 2016-04-13 | Paper |
| Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable Language and Automata Theory and Applications | 2016-04-08 | Paper |
| Symmetric strategy improvement Automata, Languages, and Programming | 2015-11-04 | Paper |
| On pure Nash equilibria in stochastic games Lecture Notes in Computer Science | 2015-09-30 | Paper |
| Weak singular hybrid automata Lecture Notes in Computer Science | 2015-08-06 | Paper |
| Adding negative prices to priced timed games CONCUR 2014 – Concurrency Theory | 2014-09-15 | Paper |
| Average-time games | 2012-10-19 | Paper |
| Playing stochastic games precisely Lecture Notes in Computer Science | 2012-09-25 | Paper |
| Recursive timed automata Automated Technology for Verification and Analysis | 2010-10-04 | Paper |
| Expected reachability-time games Lecture Notes in Computer Science | 2010-09-10 | Paper |
| Concavely-Priced Probabilistic Timed Automata CONCUR 2009 - Concurrency Theory | 2009-10-22 | Paper |
| Concavely-Priced Timed Automata Lecture Notes in Computer Science | 2008-12-02 | Paper |
| Reachability-Time Games on Timed Automata Automata, Languages and Programming | 2007-11-28 | Paper |
Research outcomes over time
This page was built for person: Ashutosh Trivedi
