Ashutosh Trivedi

Available identifiers

zbMath Open trivedi.ashutoshWikidataQ102112267 ScholiaQ102112267MaRDI QIDQ278756

List of research outcomes

Publication	Date of Publication	Type
k-Inductive Barrier Certificates for Stochastic Systems	2024-02-21	Paper
Quantitative mitigation of timing side channels	2024-02-16	Paper
Omega-Regular Objectives in Model-Free Reinforcement Learning	2023-11-24	Paper
The octatope abstract domain for verification of neural networks	2023-08-17	Paper
An impossibility result in automata-theoretic reinforcement learning	2023-06-02	Paper
Alternating good-for-MDPs automata	2023-06-02	Paper
Optimal repair for omega-regular properties	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	2022-12-22	Paper
Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning	2022-10-13	Paper
The Reach-Avoid Problem for Constant-Rate Multi-mode Systems	2022-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q5089282	2022-07-18	Paper
Model-Free Reinforcement Learning for Stochastic Parity Games	2022-07-18	Paper
Selectively-amortized resource bounding	2022-06-17	Paper
Regular model checking with regular relations	2022-05-20	Paper
Model-free reinforcement learning for branching Markov decision processes	2022-03-25	Paper
https://portal.mardi4nfdi.de/entity/Q4995373	2021-06-24	Paper
Discriminating Traces with Time	2020-08-05	Paper
Expected reachability-price games	2020-05-05	Paper
Type-directed bounding of collections in reactive programs	2020-01-23	Paper
On timed scope-bounded context-sensitive languages	2019-10-15	Paper
Global Almost-Sure Reachability in Stochastic Constant-Rate Multi-Mode Systems	2018-12-06	Paper
Incentive Stackelberg Mean-Payoff Games	2018-07-06	Paper
FO-Definable Transformations of Infinite Strings	2018-04-19	Paper
https://portal.mardi4nfdi.de/entity/Q4636594	2018-04-19	Paper
Stochastic Timed Games Revisited	2018-03-21	Paper
Revisiting Robustness in Priced Timed Games	2017-07-13	Paper
From Monadic Second-Order Definable String Transformations to Transducers	2017-07-03	Paper
What's decidable about recursive hybrid automata?	2017-05-19	Paper
Bounded-rate multi-mode systems based motion planning	2017-05-19	Paper
Optimal scheduling for constant-rate multi-mode systems	2017-05-16	Paper
Regular Transformations of Infinite Strings	2017-05-16	Paper
Safe schedulability of bounded-rate multi-mode systems	2017-05-16	Paper
First-order definable string transformations	2017-04-25	Paper
A Perfect Class of Context-Sensitive Timed Languages	2016-08-30	Paper
Expected reachability-time games	2016-05-02	Paper
A Logical Characterization for Dense-Time Visibly Pushdown Automata	2016-04-13	Paper
Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable	2016-04-08	Paper
Symmetric Strategy Improvement	2015-11-04	Paper
On Pure Nash Equilibria in Stochastic Games	2015-09-30	Paper
Weak Singular Hybrid Automata	2015-08-06	Paper
Adding Negative Prices to Priced Timed Games	2014-09-15	Paper
https://portal.mardi4nfdi.de/entity/Q3165971	2012-10-19	Paper
Playing Stochastic Games Precisely	2012-09-25	Paper
Recursive Timed Automata	2010-10-04	Paper
Expected Reachability-Time Games	2010-09-10	Paper
Concavely-Priced Probabilistic Timed Automata	2009-10-22	Paper
Concavely-Priced Timed Automata	2008-12-02	Paper
Reachability-Time Games on Timed Automata	2007-11-28	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ashutosh Trivedi