Anna Lukina
发表
Ashish Tiwari,
Radu Grosu,
Scott A. Smolka,
2018,
ArXiv.
Radu Grosu,
Scott A. Smolka,
Lukas Esterle,
2017,
ATVA.
Anna Lukina,
2019,
AAAI.
Anna Lukina,
Anna Lukina,
2017,
IJCAI.
Cyrille Jégourel,
Axel Legay,
Ezio Bartocci,
2016,
ISoLA.
Vijay Kumar,
Radu Grosu,
Janos Sztipanovits,
2018,
2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS).
Thomas A. Henzinger,
Guy Avni,
Anna Lukina,
2020,
2020 Formal Methods in Computer Aided Design (FMCAD).
James Bailey,
Kotagiri Ramamohanarao,
Christopher Leckie,
2020,
ArXiv.
Vijay Kumar,
Radu Grosu,
Janos Sztipanovits,
2018,
2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS).
Anna Lukina,
2017,
AAAI.
Ashish Tiwari,
Radu Grosu,
Scott A. Smolka,
2018,
2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS).
Anna Lukina,
Thomas A. Henzinger,
Christian Schilling,
2020,
ArXiv.
Ashish Tiwari,
Radu Grosu,
Scott A. Smolka,
2019,
SAC.
Ashish Tiwari,
Ezio Bartocci,
Radu Grosu,
2016,
TACAS.
Thomas A. Henzinger,
Christian Schilling,
Anna Lukina,
2021,
RV.