@inproceedings{DBLP:conf/ecai/AguasFC23,
  author       = {Javier Segovia{-}Aguas and
                  Jonathan Ferrer{-}Mestres and
                  Sergio Jim{\'{e}}nez Celorrio},
  editor       = {Kobi Gal and
                  Ann Now{\'{e}} and
                  Grzegorz J. Nalepa and
                  Roy Fairstein and
                  Roxana Radulescu},
  title        = {Synthesis of Procedural Models for Deterministic Transition Systems},
  booktitle    = {{ECAI} 2023 - 26th European Conference on Artificial Intelligence,
                  September 30 - October 4, 2023, Krak{\'{o}}w, Poland - Including 12th
                  Conference on Prestigious Applications of Intelligent Systems {(PAIS}
                  2023)},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {372},
  pages        = {2081--2088},
  publisher    = {{IOS} Press},
  year         = {2023},
  url          = {https://doi.org/10.3233/FAIA230502},
  doi          = {10.3233/FAIA230502},
  timestamp    = {Wed, 15 Jan 2025 15:09:07 +0100},
  biburl       = {https://dblp.org/rec/conf/ecai/AguasFC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"B2nrzCZ646FPTTZGS","bibbaseid":"segoviaaguas-ferrermestres-celorrio-synthesisofproceduralmodelsfordeterministictransitionsystems-2023","author_short":["Segovia-Aguas, J.","Ferrer-Mestres, J.","Celorrio, S. J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Javier"],"propositions":[],"lastnames":["Segovia-Aguas"],"suffixes":[]},{"firstnames":["Jonathan"],"propositions":[],"lastnames":["Ferrer-Mestres"],"suffixes":[]},{"firstnames":["Sergio","Jiménez"],"propositions":[],"lastnames":["Celorrio"],"suffixes":[]}],"editor":[{"firstnames":["Kobi"],"propositions":[],"lastnames":["Gal"],"suffixes":[]},{"firstnames":["Ann"],"propositions":[],"lastnames":["Nowé"],"suffixes":[]},{"firstnames":["Grzegorz","J."],"propositions":[],"lastnames":["Nalepa"],"suffixes":[]},{"firstnames":["Roy"],"propositions":[],"lastnames":["Fairstein"],"suffixes":[]},{"firstnames":["Roxana"],"propositions":[],"lastnames":["Radulescu"],"suffixes":[]}],"title":"Synthesis of Procedural Models for Deterministic Transition Systems","booktitle":"ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023)","series":"Frontiers in Artificial Intelligence and Applications","volume":"372","pages":"2081–2088","publisher":"IOS Press","year":"2023","url":"https://doi.org/10.3233/FAIA230502","doi":"10.3233/FAIA230502","timestamp":"Wed, 15 Jan 2025 15:09:07 +0100","biburl":"https://dblp.org/rec/conf/ecai/AguasFC23.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ecai/AguasFC23,\n author = {Javier Segovia{-}Aguas and\n Jonathan Ferrer{-}Mestres and\n Sergio Jim{\\'{e}}nez Celorrio},\n editor = {Kobi Gal and\n Ann Now{\\'{e}} and\n Grzegorz J. Nalepa and\n Roy Fairstein and\n Roxana Radulescu},\n title = {Synthesis of Procedural Models for Deterministic Transition Systems},\n booktitle = {{ECAI} 2023 - 26th European Conference on Artificial Intelligence,\n September 30 - October 4, 2023, Krak{\\'{o}}w, Poland - Including 12th\n Conference on Prestigious Applications of Intelligent Systems {(PAIS}\n 2023)},\n series = {Frontiers in Artificial Intelligence and Applications},\n volume = {372},\n pages = {2081--2088},\n publisher = {{IOS} Press},\n year = {2023},\n url = {https://doi.org/10.3233/FAIA230502},\n doi = {10.3233/FAIA230502},\n timestamp = {Wed, 15 Jan 2025 15:09:07 +0100},\n biburl = {https://dblp.org/rec/conf/ecai/AguasFC23.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Segovia-Aguas, J.","Ferrer-Mestres, J.","Celorrio, S. J."],"editor_short":["Gal, K.","Nowé, A.","Nalepa, G. J.","Fairstein, R.","Radulescu, R."],"key":"DBLP:conf/ecai/AguasFC23","id":"DBLP:conf/ecai/AguasFC23","bibbaseid":"segoviaaguas-ferrermestres-celorrio-synthesisofproceduralmodelsfordeterministictransitionsystems-2023","role":"author","urls":{"Paper":"https://doi.org/10.3233/FAIA230502"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/180/9171.bib","dataSources":["nszy5CLPbPRiN3a6E"],"keywords":[],"search_terms":["synthesis","procedural","models","deterministic","transition","systems","segovia-aguas","ferrer-mestres","celorrio"],"title":"Synthesis of Procedural Models for Deterministic Transition Systems","year":2023}