Inproceedings,
Symbolic LTLf Synthesis.
S. Zhu, L. Tabajara, J. Li, G. Pu, and M. Vardi.IJCAI, page 1362-1369. ijcai.org, (2017)
Meta data
- BibTeX key
- conf/ijcai/ZhuTLPV17
- entry type
- inproceedings
- booktitle
- IJCAI
- year
- 2017
- pages
- 1362-1369
- publisher
- ijcai.org
- crossref
- conf/ijcai/2017
- ee
- https://doi.org/10.24963/ijcai.2017/189
- isbn
- 978-0-9992411-0-3
- url
- http://dblp.uni-trier.de/db/conf/ijcai/ijcai2017.html#ZhuTLPV17
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/ijcai/ZhuTLPV17
%A Zhu, Shufang
%A Tabajara, Lucas M.
%A Li, Jianwen
%A Pu, Geguang
%A Vardi, Moshe Y.
%B IJCAI
%D 2017
%E Sierra, Carles
%I ijcai.org
%K dblp
%P 1362-1369
%T Symbolic LTLf Synthesis.
%U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2017.html#ZhuTLPV17
%@ 978-0-9992411-0-3
@inproceedings{conf/ijcai/ZhuTLPV17,
added-at = {2023-06-26T00:00:00.000+0200},
author = {Zhu, Shufang and Tabajara, Lucas M. and Li, Jianwen and Pu, Geguang and Vardi, Moshe Y.},
biburl = {https://www.bibsonomy.org/bibtex/24214b671cdc17d5e1cb987354e1e8c2a/dblp},
booktitle = {IJCAI},
crossref = {conf/ijcai/2017},
editor = {Sierra, Carles},
ee = {https://doi.org/10.24963/ijcai.2017/189},
interhash = {cb0c2f51863103b459442786268595d8},
intrahash = {4214b671cdc17d5e1cb987354e1e8c2a},
isbn = {978-0-9992411-0-3},
keywords = {dblp},
pages = {1362-1369},
publisher = {ijcai.org},
timestamp = {2024-04-10T11:29:47.000+0200},
title = {Symbolic LTLf Synthesis.},
url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2017.html#ZhuTLPV17},
year = 2017
}