Sophie Gruenbacher
发表
Ramin M. Hasani,
T. Henzinger,
S. Smolka,
2022,
AAAI.
Radu Grosu,
Scott A. Smolka,
Mathias Lechner,
2020,
2020 59th IEEE Conference on Decision and Control (CDC).
Radu Grosu,
Scott A. Smolka,
Mathias Lechner,
2020,
AAAI.
Thomas A. Henzinger,
Radu Grosu,
Daniela Rus,
2021,
ArXiv.
Radu Grosu,
Scott A. Smolka,
Jacek Cyranka,
2019,
ARCH@CPSIoTWeek.