Anna Lukina
发表
Cyrille Jégourel,
Axel Legay,
Ezio Bartocci,
2016,
ISoLA.
A. Tiwari,
S. Smolka,
R. Grosu,
2020
.
Ashish Tiwari,
Ezio Bartocci,
Radu Grosu,
2016,
TACAS.
Radu Grosu,
Scott A. Smolka,
Lukas Esterle,
2017,
ATVA.
Peter James Stuckey,
E. Hébrard,
J. Bailey,
2020,
J. Mach. Learn. Res..
T. Henzinger,
Christian Schilling,
Anna Lukina,
2020,
RV.
Vijay Kumar,
Radu Grosu,
Janos Sztipanovits,
2018,
2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS).
Ashish Tiwari,
Radu Grosu,
Scott A. Smolka,
2019,
SAC.
Anna Lukina,
Anna Lukina,
2017,
IJCAI.
Axel Legay,
Radu Grosu,
Scott A. Smolka,
2019,
Computing and Software Science.