Inproceedings,
Two-Stage Technique for LTLf Synthesis Under LTL Assumptions.
G. Giacomo, A. Stasio, M. Vardi, and S. Zhu.KR, page 304-314. (2020)
Meta data
- BibTeX key
- conf/kr/GiacomoSVZ20
- entry type
- inproceedings
- booktitle
- KR
- year
- 2020
- pages
- 304-314
- crossref
- conf/kr/2020
- ee
- https://doi.org/10.24963/kr.2020/31
- isbn
- 978-0-9992411-7-2
- url
- http://dblp.uni-trier.de/db/conf/kr/kr2020.html#GiacomoSVZ20
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/kr/GiacomoSVZ20
%A Giacomo, Giuseppe De
%A Stasio, Antonio Di
%A Vardi, Moshe Y.
%A Zhu, Shufang
%B KR
%D 2020
%E Calvanese, Diego
%E Erdem, Esra
%E Thielscher, Michael
%K dblp
%P 304-314
%T Two-Stage Technique for LTLf Synthesis Under LTL Assumptions.
%U http://dblp.uni-trier.de/db/conf/kr/kr2020.html#GiacomoSVZ20
%@ 978-0-9992411-7-2
@inproceedings{conf/kr/GiacomoSVZ20,
added-at = {2021-10-14T00:00:00.000+0200},
author = {Giacomo, Giuseppe De and Stasio, Antonio Di and Vardi, Moshe Y. and Zhu, Shufang},
biburl = {https://www.bibsonomy.org/bibtex/26ab4256634822d07b6c13c6b09bc4e49/dblp},
booktitle = {KR},
crossref = {conf/kr/2020},
editor = {Calvanese, Diego and Erdem, Esra and Thielscher, Michael},
ee = {https://doi.org/10.24963/kr.2020/31},
interhash = {4690ad044d07320c6a60bf368df0b750},
intrahash = {6ab4256634822d07b6c13c6b09bc4e49},
isbn = {978-0-9992411-7-2},
keywords = {dblp},
pages = {304-314},
timestamp = {2024-04-10T13:33:57.000+0200},
title = {Two-Stage Technique for LTLf Synthesis Under LTL Assumptions.},
url = {http://dblp.uni-trier.de/db/conf/kr/kr2020.html#GiacomoSVZ20},
year = 2020
}