Cite
Differentiable Inference of Temporal Logic Formulas.
MLA
Fronda, Nicole, and Houssam Abbas. “Differentiable Inference of Temporal Logic Formulas.” IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems, vol. 41, no. 11, Nov. 2022, pp. 4193–204. EBSCOhost, https://doi.org/10.1109/TCAD.2022.3197506.
APA
Fronda, N., & Abbas, H. (2022). Differentiable Inference of Temporal Logic Formulas. IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems, 41(11), 4193–4204. https://doi.org/10.1109/TCAD.2022.3197506
Chicago
Fronda, Nicole, and Houssam Abbas. 2022. “Differentiable Inference of Temporal Logic Formulas.” IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems 41 (11): 4193–4204. doi:10.1109/TCAD.2022.3197506.