Articoli con mandati relativi all'accesso pubblico - Mateo PerezUlteriori informazioni
Disponibili pubblicamente: 19
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
Mandati: National Natural Science Foundation of China, UK Engineering and Physical …
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
Mandati: National Natural Science Foundation of China, UK Engineering and Physical …
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
Mandati: US National Science Foundation, UK Engineering and Physical Sciences …
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
Mandati: 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
Mandati: US National Science Foundation, National Natural Science Foundation of China …
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
Mandati: US National Science Foundation, UK Engineering and Physical Sciences …
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
Mandati: US National Science Foundation, US Department of Defense
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
Mandati: US National Science Foundation, European Commission
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
Mandati: US National Science Foundation, UK Engineering and Physical Sciences …
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
Mandati: US National Science Foundation, UK Engineering and Physical Sciences …
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
Mandati: US National Science Foundation, European Commission
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
Mandati: US National Science Foundation, European Commission
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
Mandati: US National Science Foundation, UK Engineering and Physical Sciences …
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
Mandati: National Natural Science Foundation of China, UK Engineering and Physical …
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
Mandati: UK Engineering and Physical Sciences Research Council
Omega-Regular Reward Machines
EM Hahn, M Perez, S Schewe, F Somenzi, A Trivedi, D Wojtczak
ECAI 2023, 972-979, 2023
Mandati: US National Science Foundation, UK Engineering and Physical Sciences …
Alternating good-for-MDPs automata
EM Hahn, M Perez, S Schewe, F Somenzi, A Trivedi, D Wojtczak
International Symposium on Automated Technology for Verification and …, 2022
Mandati: US National Science Foundation, UK Engineering and Physical Sciences …
Omega-Regular Decision Processes
EM Hahn, M Perez, S Schewe, F Somenzi, A Trivedi, D Wojtczak
Proceedings of the AAAI Conference on Artificial Intelligence 38 (19), 21125 …, 2024
Mandati: UK Engineering and Physical Sciences Research Council, European Commission
Reinforcement Learning with Guarantees that Hold for Ever
EM Hahn, M Perez, S Schewe, F Somenzi, A Trivedi, D Wojtczak
International Conference on Formal Methods for Industrial Critical Systems, 3-7, 2022
Mandati: US National Science Foundation, UK Engineering and Physical Sciences …
Le informazioni sulla pubblicazione e sul finanziamento vengono stabilite automaticamente da un software