Published in: LIPIcs, Volume 229, 49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)
Léo Exibard, Emmanuel Filiot, and Ayrat Khalimov. A Generic Solution to Register-Bounded Synthesis with an Application to Discrete Orders. In 49th International Colloquium on Automata, Languages, and Programming (ICALP 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 229, pp. 122:1-122:19, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2022)
@InProceedings{exibard_et_al:LIPIcs.ICALP.2022.122, author = {Exibard, L\'{e}o and Filiot, Emmanuel and Khalimov, Ayrat}, title = {{A Generic Solution to Register-Bounded Synthesis with an Application to Discrete Orders}}, booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)}, pages = {122:1--122:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-235-8}, ISSN = {1868-8969}, year = {2022}, volume = {229}, editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.122}, URN = {urn:nbn:de:0030-drops-164634}, doi = {10.4230/LIPIcs.ICALP.2022.122}, annote = {Keywords: Synthesis, Register Automata, Transducers, Ordered Data Domains} }
Published in: LIPIcs, Volume 187, 38th International Symposium on Theoretical Aspects of Computer Science (STACS 2021)
Léo Exibard, Emmanuel Filiot, and Ayrat Khalimov. Church Synthesis on Register Automata over Linearly Ordered Data Domains. In 38th International Symposium on Theoretical Aspects of Computer Science (STACS 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 187, pp. 28:1-28:16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2021)
@InProceedings{exibard_et_al:LIPIcs.STACS.2021.28, author = {Exibard, L\'{e}o and Filiot, Emmanuel and Khalimov, Ayrat}, title = {{Church Synthesis on Register Automata over Linearly Ordered Data Domains}}, booktitle = {38th International Symposium on Theoretical Aspects of Computer Science (STACS 2021)}, pages = {28:1--28:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-180-1}, ISSN = {1868-8969}, year = {2021}, volume = {187}, editor = {Bl\"{a}ser, Markus and Monmege, Benjamin}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2021.28}, URN = {urn:nbn:de:0030-drops-136735}, doi = {10.4230/LIPIcs.STACS.2021.28}, annote = {Keywords: Synthesis, Church Game, Register Automata, Transducers, Ordered Data Words} }
Published in: LIPIcs, Volume 140, 30th International Conference on Concurrency Theory (CONCUR 2019)
Léo Exibard, Emmanuel Filiot, and Pierre-Alain Reynier. Synthesis of Data Word Transducers. In 30th International Conference on Concurrency Theory (CONCUR 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 140, pp. 24:1-24:15, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2019)
@InProceedings{exibard_et_al:LIPIcs.CONCUR.2019.24, author = {Exibard, L\'{e}o and Filiot, Emmanuel and Reynier, Pierre-Alain}, title = {{Synthesis of Data Word Transducers}}, booktitle = {30th International Conference on Concurrency Theory (CONCUR 2019)}, pages = {24:1--24:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-121-4}, ISSN = {1868-8969}, year = {2019}, volume = {140}, editor = {Fokkink, Wan and van Glabbeek, Rob}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.24}, URN = {urn:nbn:de:0030-drops-109269}, doi = {10.4230/LIPIcs.CONCUR.2019.24}, annote = {Keywords: Register Automata, Synthesis, Data words, Transducers} }
Published in: LIPIcs, Volume 117, 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018)
Léo Exibard, Emmanuel Filiot, and Ismaël Jecker. The Complexity of Transducer Synthesis from Multi-Sequential Specifications. In 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 117, pp. 46:1-46:16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2018)
@InProceedings{exibard_et_al:LIPIcs.MFCS.2018.46, author = {Exibard, L\'{e}o and Filiot, Emmanuel and Jecker, Isma\"{e}l}, title = {{The Complexity of Transducer Synthesis from Multi-Sequential Specifications}}, booktitle = {43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018)}, pages = {46:1--46:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-086-6}, ISSN = {1868-8969}, year = {2018}, volume = {117}, editor = {Potapov, Igor and Spirakis, Paul and Worrell, James}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2018.46}, URN = {urn:nbn:de:0030-drops-96286}, doi = {10.4230/LIPIcs.MFCS.2018.46}, annote = {Keywords: Transducers, Multi-Sequentiality, Synthesis} }
Feedback for Dagstuhl Publishing