Articles with public access mandates - Ashutosh TrivediLearn more
Not available anywhere: 1
Safety verification of dynamical systems via k-inductive barrier certificates
M Anand, V Murali, A Trivedi, M Zamani
2021 60th IEEE Conference on Decision and Control (CDC), 1314-1320, 2021
Mandates: US National Science Foundation, German Research Foundation
Available somewhere: 51
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
Mandates: National Natural Science Foundation of China, UK Engineering and Physical …
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
Mandates: European Commission
Secure-by-construction synthesis of cyber-physical systems
S Liu, A Trivedi, X Yin, M Zamani
Annual Reviews in Control 53, 30-50, 2022
Mandates: US National Science Foundation, National Natural Science Foundation of China …
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
Mandates: US National Science Foundation
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
Mandates: National Natural Science Foundation of China, UK Engineering and Physical …
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
Mandates: US National Science Foundation
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
Mandates: US National Science Foundation, US Department of Defense
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
Mandates: US National Science Foundation, UK Engineering and Physical Sciences …
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
Mandates: National Fund for Scientific Research, Belgium
Playing stochastic games precisely
T Chen, V Forejt, M Kwiatkowska, A Simaitis, A Trivedi, M Ummels
CONCUR 2012–Concurrency Theory: 23rd International Conference, CONCUR 2012 …, 2012
Mandates: German Research Foundation
Analyzing neighborhoods of falsifying traces in cyber-physical systems
RD Diwakaran, S Sankaranarayanan, A Trivedi
Proceedings of the 8th International Conference on Cyber-Physical Systems …, 2017
Mandates: US National Science Foundation, US Department of Defense
Differential performance debugging with discriminant regression trees
S Tizpaz-Niari, P Cerny, BYE Chang, A Trivedi
Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018
Mandates: US Department of Defense
Quantitative mitigation of timing side channels
S Tizpaz-Niari, P Černý, A Trivedi
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
Mandates: US Department of Defense
Translating omega-regular specifications to average objectives for model-free reinforcement learning
M Kazemi, M Perez, F Somenzi, S Soudjani, A Trivedi, A Velasquez
Proc. of the 21st International Conference on Autonomous Agents and …, 2022
Mandates: US National Science Foundation, UK Engineering and Physical Sciences …
Model-free reinforcement learning for stochastic parity games
EM Hahn, M Perez, S Schewe, F Somenzi, A Trivedi, D Wojtczak
31st International Conference on Concurrency Theory, CONCUR 2020, 21, 2020
Mandates: US National Science Foundation, National Natural Science Foundation of China …
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
Mandates: US National Science Foundation, US Department of Defense
Model-free reinforcement learning for lexicographic omega-regular objectives
EM Hahn, M Perez, S Schewe, F Somenzi, A Trivedi, D Wojtczak
International symposium on formal methods, 142-159, 2021
Mandates: US National Science Foundation, UK Engineering and Physical Sciences …
Discriminating traces with time
S Tizpaz-Niari, P Černý, BYE Chang, S Sankaranarayanan, A Trivedi
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
Mandates: US Department of Defense
Policy synthesis and reinforcement learning for discounted LTL
R Alur, O Bastani, K Jothimurugan, M Perez, F Somenzi, A Trivedi
International Conference on Computer Aided Verification, 415-435, 2023
Mandates: US National Science Foundation, US Department of Defense
Publication and funding information is determined automatically by a computer program