L. M. Tabajara
发表
Moshe Y. Vardi,
G. Pu,
Jianwen Li,
2017
.
Geguang Pu,
Shufang Zhu,
Lucas M. Tabajara,
2020,
Electronic Proceedings in Theoretical Computer Science.
Geguang Pu,
Moshe Y. Vardi,
Jianwen Li,
2017,
IJCAI.
Andrew M. Wells,
Moshe Y. Vardi,
Suguman Bansal,
2023,
ArXiv.
Moshe Y. Vardi,
Yong Li,
Suguman Bansal,
2019,
AAAI.
Luís C. Lamb,
Marcelo O. R. Prates,
Diego Noble,
2013,
HCOMP.
Lucas M. Tabajara,
Moshe Y. Vardi,
L. M. Tabajara,
2021,
ATVA.
Moshe Y. Vardi,
Lucas Martinelli Tabajara,
L. M. Tabajara,
2019,
IJCAI.
Geguang Pu,
Moshe Y. Vardi,
Shufang Zhu,
2017,
IJCAI.
Geguang Pu,
Moshe Y. Vardi,
Jianwen Li,
2017,
Haifa Verification Conference.
Moshe Y. Vardi,
Lucas M. Tabajara,
Dror Fried,
2016,
CAV.
Moshe Y. Vardi,
Gera Weiss,
Suguman Bansal,
2021,
CAV.
L. M. Tabajara,
Yi-Sho Lin,
M. Vardi,
2022,
TACAS.
Giuseppe De Giacomo,
Moshe Y. Vardi,
Shufang Zhu,
2021,
IJCAI.