Ashutosh Trivedi
Ashutosh Trivedi
Assistant Professor of Computer Science at the University of Colorado at Boulder
Verified email at colorado.edu - Homepage
Title
Cited by
Cited by
Year
Recursive timed automata
A Trivedi, D Wojtczak
International Symposium on Automated Technology for Verification andá…, 2010
562010
Reachability-time games on timed automata
M Jurdziński, A Trivedi
Automata, Languages and Programming, 838-849, 2007
482007
Regular transformations of infinite strings
R Alur, E Filiot, A Trivedi
2012 27th Annual IEEE Symposium on Logic in Computer Science, 65-74, 2012
392012
Omega-regular objectives in model-free reinforcement learning
EM Hahn, M Perez, S Schewe, F Somenzi, A Trivedi, D Wojtczak
International Conference on Tools and Algorithms for the Construction andá…, 2019
342019
First-order definable string transformations
E Filiot, SN Krishna, A Trivedi
arXiv preprint arXiv:1406.7824, 2014
282014
Concavely-priced probabilistic timed automata
M Jurdziński, M Kwiatkowska, G Norman, A Trivedi
International Conference on Concurrency Theory, 415-430, 2009
272009
Optimal scheduling for constant-rate multi-mode systems
R Alur, A Trivedi, D Wojtczak
Proceedings of the 15th ACM international conference on Hybrid Systemsá…, 2012
232012
Concavely-priced timed automata
M Jurdziński, A Trivedi
International Conference on Formal Modeling and Analysis of Timed Systems, 48-62, 2008
202008
Skolem functions for factored formulas
AK John, S Shah, S Chakraborty, A Trivedi, S Akshay
2015 Formal Methods in Computer-Aided Design (FMCAD), 73-80, 2015
182015
Playing stochastic games precisely
T Chen, V Forejt, M Kwiatkowska, A Simaitis, A Trivedi, M Ummels
International Conference on Concurrency Theory, 348-363, 2012
182012
Adding negative prices to priced timed games
T Brihaye, G Geeraerts, SN Krishna, L Manasa, B Monmege, A Trivedi
International Conference on Concurrency Theory, 560-575, 2014
172014
Hybrid automata for formal modeling and verification of cyber-physical systems
SN Krishna, A Trivedi
arXiv preprint arXiv:1503.04928, 2015
152015
Safe schedulability of bounded-rate multi-mode systems
R Alur, V Forejt, S Moarref, A Trivedi
Proceedings of the 16th international conference on Hybrid systemsá…, 2013
152013
Symmetric strategy improvement
S Schewe, A Trivedi, T Varghese
International Colloquium on Automata, Languages, and Programming, 388-400, 2015
132015
From monadic second-order definable string transformations to transducers
R Alur, A Durand-Gasselin, A Trivedi
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 458-467, 2013
132013
Expected reachability-time games
V Forejt, M Kwiatkowska, G Norman, A Trivedi
Formal Modeling and Analysis of Timed Systems, 122-136, 2010
132010
Competative optimisation on timed automata
A Trivedi
University of Warwick, 2009
132009
Compositional strategy synthesis for stochastic games with multiple objectives
N Basset, M Kwiatkowska, C Wiltsche
Information and Computation 261, 536-587, 2018
112018
A logical characterization for dense-time visibly pushdown automata
D Bhave, V Dave, SN Krishna, R Phawade, A Trivedi
Language and Automata Theory and Applications, 89-101, 2016
102016
Average-time games
M Jurdzinski, A Trivedi
IARCS Annual Conference on Foundations of Software Technology andá…, 2008
102008
The system can't perform the operation now. Try again later.
Articles 1–20