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 | 170 | 2019 |
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 | 39 | 2020 |
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 | 27 | 2020 |
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 | 16 | 2022 |
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 | 13 | 2020 |
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 | 12 | 2021 |
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 | 11 | 2023 |
Reward shaping for reinforcement learning with omega-regular objectives EM Hahn, M Perez, S Schewe, F Somenzi, A Trivedi, D Wojtczak arXiv preprint arXiv:2001.05977, 2020 | 9 | 2020 |
Mungojerrie: Reinforcement learning of linear-time objectives EM Hahn, M Perez, S Schewe, F Somenzi, A Trivedi, D Wojtczak arXiv preprint arXiv:2106.09161, 2021 | 7 | 2021 |
A PAC learning algorithm for LTL and omega-regular objectives in MDPs M Perez, F Somenzi, A Trivedi Proceedings of the AAAI Conference on Artificial Intelligence 38 (19), 21510 …, 2024 | 6 | 2024 |
Mungojerrie: Linear-time 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 …, 2023 | 6 | 2023 |
Compositional reinforcement learning for discrete-time stochastic control systems A Lavaei, M Perez, M Kazemi, F Somenzi, S Soudjani, A Trivedi, ... IEEE Open Journal of Control Systems, 2023 | 5 | 2023 |
Multi-objective ω-regular reinforcement learning EM Hahn, M Perez, S Schewe, F Somenzi, A Trivedi, D Wojtczak Formal Aspects of Computing 35 (2), 1-24, 2023 | 5 | 2023 |
Model-free reinforcement learning for branching markov decision processes EM Hahn, M Perez, S Schewe, F Somenzi, A Trivedi, D Wojtczak International Conference on Computer Aided Verification, 651-673, 2021 | 4 | 2021 |
Recursive reinforcement learning EM Hahn, M Perez, S Schewe, F Somenzi, A Trivedi, D Wojtczak Advances in Neural Information Processing Systems 35, 35519-35532, 2022 | 3 | 2022 |
An impossibility result in automata-theoretic reinforcement learning EM Hahn, M Perez, S Schewe, F Somenzi, A Trivedi, D Wojtczak International Symposium on Automated Technology for Verification and …, 2022 | 3 | 2022 |
Limit reachability for model-free reinforcement learning of ω-regular objectives EM Hahn, M Perez, S Schewe, F Somenzi, A Trivedi, D Wojtczak Proceedings of the Fifth International Workshop on Symbolic-Numeric methods …, 2019 | 2 | 2019 |
Regular Reinforcement Learning T Dohmen, M Perez, F Somenzi, A Trivedi International Conference on Computer Aided Verification, 184-208, 2024 | 1 | 2024 |
Assume-Guarantee Reinforcement Learning M Kazemi, M Perez, F Somenzi, S Soudjani, A Trivedi, A Velasquez Proceedings of the AAAI Conference on Artificial Intelligence 38 (19), 21223 …, 2024 | 1 | 2024 |
Omega-Regular Reward Machines EM Hahn, M Perez, S Schewe, F Somenzi, A Trivedi, D Wojtczak ECAI 2023, 972-979, 2023 | 1 | 2023 |