Inproceedings,
STLnet: Signal Temporal Logic Enforced Multivariate Recurrent Neural Networks.
M. Ma, J. Gao, L. Feng, and J. Stankovic.NeurIPS, (2020)
Meta data
- BibTeX key
- conf/nips/MaG0S20
- entry type
- inproceedings
- booktitle
- NeurIPS
- year
- 2020
- crossref
- conf/nips/2020
- ee
- https://proceedings.neurips.cc/paper/2020/hash/a7da6ba0505a41b98bd85907244c4c30-Abstract.html
- url
- http://dblp.uni-trier.de/db/conf/nips/neurips2020.html#MaG0S20
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/nips/MaG0S20
%A Ma, Meiyi
%A Gao, Ji
%A Feng, Lu
%A Stankovic, John A.
%B NeurIPS
%D 2020
%E Larochelle, Hugo
%E Ranzato, Marc'Aurelio
%E Hadsell, Raia
%E Balcan, Maria-Florina
%E Lin, Hsuan-Tien
%K dblp
%T STLnet: Signal Temporal Logic Enforced Multivariate Recurrent Neural Networks.
%U http://dblp.uni-trier.de/db/conf/nips/neurips2020.html#MaG0S20
@inproceedings{conf/nips/MaG0S20,
added-at = {2021-01-19T00:00:00.000+0100},
author = {Ma, Meiyi and Gao, Ji and Feng, Lu and Stankovic, John A.},
biburl = {https://www.bibsonomy.org/bibtex/215c3eaeb99df8562259ff87e992a9bde/dblp},
booktitle = {NeurIPS},
crossref = {conf/nips/2020},
editor = {Larochelle, Hugo and Ranzato, Marc'Aurelio and Hadsell, Raia and Balcan, Maria-Florina and Lin, Hsuan-Tien},
ee = {https://proceedings.neurips.cc/paper/2020/hash/a7da6ba0505a41b98bd85907244c4c30-Abstract.html},
interhash = {d15370b1b3739297f3a4419b44351f1d},
intrahash = {15c3eaeb99df8562259ff87e992a9bde},
keywords = {dblp},
timestamp = {2024-04-09T23:16:36.000+0200},
title = {STLnet: Signal Temporal Logic Enforced Multivariate Recurrent Neural Networks.},
url = {http://dblp.uni-trier.de/db/conf/nips/neurips2020.html#MaG0S20},
year = 2020
}