{"version.version":"0.0.7","version.cm_url":"https://github.com/ceurws/ceur-spt","spt.html_url":"/Vol-3883/paper4_RCRA2.html","spt.description":null,"spt.id":"Vol-3883/paper4_RCRA2","spt.wikidataid":null,"spt.title":"Automata-based LTL_f Satisfiability Checking via ASP","spt.pdfUrl":"https://ceur-ws.org/Vol-3883/paper4_RCRA2.pdf","spt.volume":{"number":3883,"acronym":"AI4CC-IPS-RCRA-SPIRIT 2024","wikidataid":"Q131677329","title":"Proceedings of the International Workshop on Artificial Intelligence for Climate Change, Italian Workshop on Planning and Scheduling, RCRA Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (AI4CC-IPS-RCRA-SPIRIT 2024)","description":"Proceedings of AI4CC-IPS-RCRA-SPIRIT 2024 workshop","url":"http://ceur-ws.org/Vol-3883/","date":"2024-12-24","dblp":null,"k10plus":null,"urn":"urn:nbn:de:0074-3883-1"},"spt.session":null,"cvb.id":"Vol-3883/paper4_RCRA2","cvb.title":"Automata-based LTL_f Satisfiability Checking via ASP","cvb.type":null,"cvb.position":null,"cvb.pagesFrom":null,"cvb.pagesTo":null,"cvb.authors":"Andrea Cuteri,Giuseppe Mazzotta,Rafael Peñaloza,Francesco Ricca","cvb.vol_number":"3883","cvb.pdf_name":"paper4_RCRA2.pdf","cvb.pages":null,"cvb.fail":null,"dblp.dblp_publication_id":"https://dblp.org/rec/conf/rcra/CuteriMPR24","dblp.dblp_proceeding_id":"https://dblp.org/rec/conf/rcra/2024","dblp.volume_number":3883,"dblp.title":"Automata-based LTL_f Satisfiability Checking via ASP.","dblp.authors":[{"dblp_author_id":"https://dblp.org/pid/277/2609","label":"Giuseppe Mazzotta","wikidata_id":null,"orcid_id":"0000-0003-0125-0477","gnd_id":null},{"dblp_author_id":"https://dblp.org/pid/350/6681","label":"Andrea Cuteri","wikidata_id":null,"orcid_id":null,"gnd_id":null},{"dblp_author_id":"https://dblp.org/pid/56/3960","label":"Rafael Peñaloza","wikidata_id":"Q57517599","orcid_id":"0000-0002-2693-5790","gnd_id":"139758488"},{"dblp_author_id":"https://dblp.org/pid/r/FrancescoRicca","label":"Francesco Ricca","wikidata_id":null,"orcid_id":"0000-0001-8218-3178","gnd_id":null}],"dblp.pdf_id":"Vol-3883/paper4_RCRA2"}