Sledovať
Ashutosh Trivedi
Ashutosh Trivedi
Associate Professor, University of Colorado at Boulder
Overená e-mailová adresa na: colorado.edu - Domovská stránka
Názov
Citované v
Citované v
Rok
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
1772019
Reachability-time games on timed automata
M Jurdziński, A Trivedi
Automata, Languages and Programming, 838-849, 2007
642007
Regular transformations of infinite strings
R Alur, E Filiot, A Trivedi
2012 27th Annual IEEE Symposium on Logic in Computer Science, 65-74, 2012
602012
Formal controller synthesis for continuous-space MDPs via model-free reinforcement learning
A Lavaei, F Somenzi, S Soudjani, A Trivedi, M Zamani
2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS …, 2020
572020
Recursive timed automata
A Trivedi, D Wojtczak
International Symposium on Automated Technology for Verification and …, 2010
572010
Information-theoretic testing and debugging of fairness defects in deep neural networks
V Monjezi, A Trivedi, G Tan, S Tizpaz-Niari
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023
522023
Fairness-aware configuration of machine learning libraries
S Tizpaz-Niari, A Kumar, G Tan, A Trivedi
Proceedings of the 44th International Conference on Software Engineering …, 2022
522022
Secure-by-construction synthesis of cyber-physical systems
S Liu, A Trivedi, X Yin, M Zamani
Annual Reviews in Control 53, 30-50, 2022
512022
Good-for-MDPs automata for probabilistic analysis and reinforcement learning
EM Hahn, M Perez, S Schewe, F Somenzi, A Trivedi, D Wojtczak
International Conference on Tools and Algorithms for the Construction and …, 2020
422020
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
382015
First-order definable string transformations
E Filiot, SN Krishna, A Trivedi
arXiv preprint arXiv:1406.7824, 2014
362014
Concavely-priced probabilistic timed automata
M Jurdziński, M Kwiatkowska, G Norman, A Trivedi
CONCUR 2009-Concurrency Theory: 20th International Conference, CONCUR 2009 …, 2009
322009
Detecting and understanding real-world differential performance bugs in machine learning libraries
S Tizpaz-Niari, P Černý, A Trivedi
Proceedings of the 29th ACM SIGSOFT international symposium on software …, 2020
292020
Faithful and effective reward schemes for model-free reinforcement learning of omega-regular objectives
EM Hahn, M Perez, S Schewe, F Somenzi, A Trivedi, D Wojtczak
Automated Technology for Verification and Analysis: 18th International …, 2020
292020
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
292012
Adding negative prices to priced timed games
T Brihaye, G Geeraerts, S Narayanan Krishna, L Manasa, B Monmege, ...
International Conference on Concurrency Theory, 560-575, 2014
252014
Inferring probabilistic reward machines from non-Markovian reward signals for reinforcement learning
T Dohmen, N Topper, G Atia, A Beckus, A Trivedi, A Velasquez
Proceedings of the International Conference on Automated Planning and …, 2022
242022
Hybrid automata for formal modeling and verification of cyber-physical systems
SN Krishna, A Trivedi
arXiv preprint arXiv:1503.04928, 2015
242015
Playing stochastic games precisely
T Chen, V Forejt, M Kwiatkowska, A Simaitis, A Trivedi, M Ummels
International Conference on Concurrency Theory, 348-363, 2012
242012
Concavely-priced timed automata
M Jurdziński, A Trivedi
Formal Modeling and Analysis of Timed Systems: 6th International Conference …, 2008
222008
Systém momentálne nemôže vykonať operáciu. Skúste to neskôr.
Články 1–20