Ma, Meiyi, Gao, Ji, Feng, Lu, and Stankovic, John A. STLnet: Signal Temporal Logic Enforced Multivariate Recurrent Neural Networks. Retrieved from https://par.nsf.gov/biblio/10231392. 34th Conference on Neural Information Processing Systems (NeurIPS 2020) .
Ma, Meiyi, Gao, Ji, Feng, Lu, & Stankovic, John A. STLnet: Signal Temporal Logic Enforced Multivariate Recurrent Neural Networks. 34th Conference on Neural Information Processing Systems (NeurIPS 2020), (). Retrieved from https://par.nsf.gov/biblio/10231392.
Ma, Meiyi, Gao, Ji, Feng, Lu, and Stankovic, John A.
"STLnet: Signal Temporal Logic Enforced Multivariate Recurrent Neural Networks". 34th Conference on Neural Information Processing Systems (NeurIPS 2020) (). Country unknown/Code not available. https://par.nsf.gov/biblio/10231392.
@article{osti_10231392,
place = {Country unknown/Code not available},
title = {STLnet: Signal Temporal Logic Enforced Multivariate Recurrent Neural Networks},
url = {https://par.nsf.gov/biblio/10231392},
abstractNote = {},
journal = {34th Conference on Neural Information Processing Systems (NeurIPS 2020)},
author = {Ma, Meiyi and Gao, Ji and Feng, Lu and Stankovic, John A.},
}
Warning: Leaving National Science Foundation Website
You are now leaving the National Science Foundation website to go to a non-government website.
Website:
NSF takes no responsibility for and exercises no control over the views expressed or the accuracy of
the information contained on this site. Also be aware that NSF's privacy policy does not apply to this site.