acm sigbed
|
emsoft
|
participants
Houssam Abbas
Program Committees:
2018
,
2019
, and
2020
.
EMSOFT 2022: 22nd International Conference on Embedded Software
Differentiable Inference of Temporal Logic Formulas
Nicole Fronda
and
Houssam Abbas
10.1109/TCAD.2022.3197506
https://arxiv.org/abs/2208.05440