Andr'e Platzer
发表
Andr'e Platzer,
2019,
ArXiv.
Brandon Bohrer,
Andr'e Platzer,
Rose Bohrer,
2020,
IJCAR.
Brandon Bohrer,
Andr'e Platzer,
Rose Bohrer,
2020,
FSCD.
Andr'e Platzer,
Noah Abou El Wafa,
2022
.
Yong Kiam Tan,
Andr'e Platzer,
Katherine Cordwell,
2021,
ITP.
Yong Kiam Tan,
Andr'e Platzer,
André Platzer,
2020,
TACAS.
Stefan Mitsch,
Andr'e Platzer,
Katherine Cordwell,
2021,
FM.
Stefan Mitsch,
Yong Kiam Tan,
Andr'e Platzer,
2021,
ArXiv.
Yong Kiam Tan,
Andr'e Platzer,
2021,
ADHS.