Synthesis of Procedural Models for Deterministic Transition Systems. Javier Segovia-Aguas, J. F. & Jiménez, S. In ECAI, 2023.
Code
Paper bibtex @inproceedings{ecai2023sfj,
author = {Javier Segovia-Aguas, Jonathan Ferrer-Mestres and Sergio Jim{\'e}nez},
booktitle = {{ECAI}},
keywords = {WP5,A-level,Outside-Europe},
title = {Synthesis of Procedural Models for Deterministic Transition Systems},
url_code = {https://github.com/jsego/bfgp-pp},
url_paper = {https://arxiv.org/pdf/2307.14368.pdf},
year = {2023}
}
Downloads: 0
{"_id":"5YAJi6caTWW7uHj7T","bibbaseid":"javiersegoviaaguas-jimnez-synthesisofproceduralmodelsfordeterministictransitionsystems-2023","author_short":["Javier Segovia-Aguas, J. F.","Jiménez, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Javier","Segovia-Aguas"],"firstnames":["Jonathan","Ferrer-Mestres"],"suffixes":[]},{"firstnames":["Sergio"],"propositions":[],"lastnames":["Jiménez"],"suffixes":[]}],"booktitle":"ECAI","keywords":"WP5,A-level,Outside-Europe","title":"Synthesis of Procedural Models for Deterministic Transition Systems","url_code":"https://github.com/jsego/bfgp-pp","url_paper":"https://arxiv.org/pdf/2307.14368.pdf","year":"2023","bibtex":"@inproceedings{ecai2023sfj,\n author = {Javier Segovia-Aguas, Jonathan Ferrer-Mestres and Sergio Jim{\\'e}nez},\n booktitle = {{ECAI}},\n keywords = {WP5,A-level,Outside-Europe},\n title = {Synthesis of Procedural Models for Deterministic Transition Systems},\n url_code = {https://github.com/jsego/bfgp-pp},\n url_paper = {https://arxiv.org/pdf/2307.14368.pdf},\n year = {2023}\n}\n\n","author_short":["Javier Segovia-Aguas, J. F.","Jiménez, S."],"key":"ecai2023sfj","id":"ecai2023sfj","bibbaseid":"javiersegoviaaguas-jimnez-synthesisofproceduralmodelsfordeterministictransitionsystems-2023","role":"author","urls":{" code":"https://github.com/jsego/bfgp-pp"," paper":"https://arxiv.org/pdf/2307.14368.pdf"},"keyword":["WP5","A-level","Outside-Europe"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/whitemech/tailor-publications.github.io/master/tailor.bib","dataSources":["wMCdMNmiucDu2pMmz","5fDj6rXeRevQyZND4","9fesATq77fFWtSPuB","TxReNv8mFMbHT3GnN"],"keywords":["wp5","a-level","outside-europe"],"search_terms":["synthesis","procedural","models","deterministic","transition","systems","javier segovia-aguas","jiménez"],"title":"Synthesis of Procedural Models for Deterministic Transition Systems","year":2023}