%0 Conference Paper %1 journals/corr/abs-2008-06790 %A Zhu, Shufang %A Tabajara, Lucas M. %A Pu, Geguang %A Vardi, Moshe Y. %B GandALF %D 2021 %E Ganty, Pierre %E Bresolin, Davide %K dblp %P 117-134 %T On the Power of Automata Minimization in Temporal Synthesis. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs346.html#abs-2008-06790 %V 346

@inproceedings{journals/corr/abs-2008-06790, added-at = {2023-06-26T00:00:00.000+0200}, author = {Zhu, Shufang and Tabajara, Lucas M. and Pu, Geguang and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/2711969455abb62bf3e23a5df95650980/dblp}, booktitle = {GandALF}, crossref = {journals/corr/abs-2109-07798}, editor = {Ganty, Pierre and Bresolin, Davide}, ee = {https://arxiv.org/abs/2008.06790}, interhash = {17878f86980495d4205469af31d57cba}, intrahash = {711969455abb62bf3e23a5df95650980}, keywords = {dblp}, pages = {117-134}, series = {EPTCS}, timestamp = {2024-04-09T09:29:47.000+0200}, title = {On the Power of Automata Minimization in Temporal Synthesis.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs346.html#abs-2008-06790}, volume = 346, year = 2021 }