Mateo Perez
发表
Sven Schewe,
Ashutosh Trivedi,
Fabio Somenzi,
2020,
ArXiv.
E. M. Hahn,
F. Somenzi,
S. Schewe,
2022,
ArXiv.
E. M. Hahn,
F. Somenzi,
S. Schewe,
2022,
ArXiv.
F. Somenzi,
Majid Zamani,
Abolfazl Lavaei,
2022,
IEEE Open Journal of Control Systems.
E. M. Hahn,
F. Somenzi,
S. Schewe,
2022,
NeurIPS.
Sven Schewe,
Fabio Somenzi,
Dominik Wojtczak,
2020,
CONCUR.
Sven Schewe,
Ashutosh Trivedi,
Fabio Somenzi,
2018,
TACAS.
Sven Schewe,
Ashutosh Trivedi,
Fabio Somenzi,
2021,
FM.
Translating Omega-Regular Specifications to Average Objectives for Model-Free Reinforcement Learning
F. Somenzi,
Mateo Perez,
Ashutosh Trivedi,
2022,
Adaptive Agents and Multi-Agent Systems.
E. M. Hahn,
F. Somenzi,
S. Schewe,
2019,
TACAS.
Sven Schewe,
Fabio Somenzi,
Dominik Wojtczak,
2020,
ATVA.
E. M. Hahn,
F. Somenzi,
S. Schewe,
2023,
Formal Aspects Comput..
F. Somenzi,
Mateo Perez,
Ashutosh Trivedi,
2023,
ArXiv.
Sven Schewe,
Ashutosh Trivedi,
Fabio Somenzi,
2021,
ArXiv.