Inproceedings,
Learning Interpretable Temporal Properties from Positive Examples Only.
R. Roy, J. Gaglione, N. Baharisangari, D. Neider, Z. Xu, and U. Topcu.AAAI, page 6507-6515. AAAI Press, (2023)
Meta data
- BibTeX key
- conf/aaai/0002GBN0T23
- entry type
- inproceedings
- booktitle
- AAAI
- year
- 2023
- pages
- 6507-6515
- publisher
- AAAI Press
- crossref
- conf/aaai/2023
- ee
- https://doi.org/10.1609/aaai.v37i5.25800
- isbn
- 978-1-57735-880-0
- url
- http://dblp.uni-trier.de/db/conf/aaai/aaai2023.html#0002GBN0T23
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/aaai/0002GBN0T23
%A Roy, Rajarshi
%A Gaglione, Jean-Raphaël
%A Baharisangari, Nasim
%A Neider, Daniel
%A Xu, Zhe
%A Topcu, Ufuk
%B AAAI
%D 2023
%E Williams, Brian
%E Chen, Yiling
%E Neville, Jennifer
%I AAAI Press
%K dblp
%P 6507-6515
%T Learning Interpretable Temporal Properties from Positive Examples Only.
%U http://dblp.uni-trier.de/db/conf/aaai/aaai2023.html#0002GBN0T23
%@ 978-1-57735-880-0
@inproceedings{conf/aaai/0002GBN0T23,
added-at = {2023-09-04T00:00:00.000+0200},
author = {Roy, Rajarshi and Gaglione, Jean-Raphaël and Baharisangari, Nasim and Neider, Daniel and Xu, Zhe and Topcu, Ufuk},
biburl = {https://www.bibsonomy.org/bibtex/2343b656126cb35a108200a3cdbcc0a5d/dblp},
booktitle = {AAAI},
crossref = {conf/aaai/2023},
editor = {Williams, Brian and Chen, Yiling and Neville, Jennifer},
ee = {https://doi.org/10.1609/aaai.v37i5.25800},
interhash = {99ff8f325bd90eb369b99731a6a6f888},
intrahash = {343b656126cb35a108200a3cdbcc0a5d},
isbn = {978-1-57735-880-0},
keywords = {dblp},
pages = {6507-6515},
publisher = {AAAI Press},
timestamp = {2024-04-09T18:07:47.000+0200},
title = {Learning Interpretable Temporal Properties from Positive Examples Only.},
url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2023.html#0002GBN0T23},
year = 2023
}