E. Polgreen
发表
A. Abate,
S. Haesaert,
E. Polgreen,
2017
.
Sanjit A. Seshia,
Elizabeth Polgreen,
Nikhil Pimpalkhare,
2021,
SAT.
D. Kroening,
A. Abate,
L. Cordeiro,
2019
.
D. Kroening,
A. Abate,
L. Cordeiro,
2018
.
Daniel Kroening,
Elizabeth Polgreen,
Byron Cook,
2020,
2020 Formal Methods in Computer Aided Design (FMCAD).
Sofie Haesaert,
Alessandro Abate,
Elizabeth Polgreen,
2016,
QEST.
Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes
pdf
Sofie Haesaert,
Alessandro Abate,
Elizabeth Polgreen,
2017,
QEST.
Daniel Kroening,
Cristina David,
Alessandro Abate,
2018,
CAV.
D. Kroening,
A. Abate,
L. Cordeiro,
2019,
Acta Informatica.
Daniel Kroening,
Lucas C. Cordeiro,
Cristina David,
2017,
CAV.
E. Polgreen,
Julian Parsert,
2023,
ArXiv.
Daniel Kroening,
Cristina David,
Alessandro Abate,
2019,
Acta Informatica.