Projekter pr. år
Fingerprint
Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.
- 1 Lignende profiler
Samarbejde i de sidste fem år
Klik på punkterne for at se detaljerne.
Projekter
- 1 Igangværende
-
ConAn: ConAn: Contrastive Analysis for State-Space Exploration
Torralba, A. (PI (principal investigator))
01/09/2024 → 31/08/2028
Projekter: Projekt › Forskning
Publikationer
-
Boosting optimal symbolic planning: Operator-potential heuristics
Fišer, D., Torralba, Á. & Hoffmann, J., sep. 2024, I: Artificial Intelligence. 334, s. 1-31 31 s., 104174.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil9 Downloads (Pure) -
Computing Planning Centroids and Minimum Covering States Using Symbolic Bidirectional Search
Pozanco, A., Torralba, Á. & Borrajo, D., 30 maj 2024, Proceedings of the 34th International Conference on Automated Planning and Scheduling, ICAPS 2024. Bernardini, S. & Muise, C. (red.). AAAI Press, s. 455-463 9 s. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS, Bind 34).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
1 Citationer (Scopus) -
Gotta Catch ’Em All! Sequence Flaws in CEGAR for Classical Planning
Pozo, M., Torralba, A. & Linares López, C., okt. 2024, 27th European Conference on Artificial Intelligence, 19–24 October 2024, Santiago de Compostela, Spain – Including 13th Conference on Prestigious Applications of Intelligent Systems (PAIS 2024). IOS Press, s. 4287-4294 8 s. (Frontiers in Artificial Intelligence and Applications, Bind 392).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil13 Downloads (Pure) -
Merge-and-Shrink Heuristics for SSPs with Prune Transformations
Klößner, T., Torralba, A., Steinmetz, M. & Sievers, S., 16 okt. 2024, ECAI 2024: 27th European Conference on Artificial Intelligence, 19–24 October 2024, Santiago de Compostela, Spain – Including 13th Conference on Prestigious Applications of Intelligent Systems (PAIS 2024). Endriss, U., Melo, F. S., Bach, K., Bugarin-Diz, A., Alonso-Moral, J. M., Barro, S. & Heintz, F. (red.). IOS Press, s. 1222-1229 8 s. (Frontiers in Artificial Intelligence and Applications, Bind 392).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil7 Downloads (Pure) -
Optimal Infinite Temporal Planning: Cyclic Plans for Priced Timed Automata
Tollund, R. G., Johansen, N. S., Nielsen, K., Torralba, Á. & Larsen, K. G., 30 maj 2024, Proceedings of the 34th International Conference on Automated Planning and Scheduling, ICAPS 2024. Bernardini, S. & Muise, C. (red.). AAAI Press, s. 588-596 9 s. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS, Bind 34).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
1 Citationer (Scopus)
Forskningsdatasæt
-
Data for domains without generator for the ICAPS 2021 paper "Automatic Instance Generation for Classical Planning"'
Torralba, Á. (Ophavsperson), Seipp, J. (Ophavsperson) & Sievers, S. (Ophavsperson), Zenodo, 22 jun. 2022
DOI: 10.5281/zenodo.6686348, https://zenodo.org/record/6686348
Datasæt
-
PDDL Generators
Seipp, J. (Ophavsperson), Torralba, Á. (Ophavsperson) & Hoffmann, J. (Ophavsperson), Zenodo, 24 mar. 2022
DOI: 10.5281/zenodo.6382174, https://zenodo.org/record/6382174
Datasæt
-
Artifact for "NetStack: A Game Approach to Synthesizing Consistent Network Updates"
Schmid, S. (Ophavsperson), Schrenk, B. C. (Ophavsperson) & Torralba, Á. (Ophavsperson), Zenodo, 2022
DOI: 10.5281/zenodo.6506194, https://zenodo.org/record/6506194
Datasæt
-
Code, Benchmarks, and Data of "Towards Believable Non-Player Characters with Domain-Independent Planning"
Johansen, N. S. (Bidrager), Kær, L. B. (Bidrager), Tollund, R. G. (Bidrager) & Torralba, Á. (Bidrager), Zenodo, 2022
DOI: 10.5281/zenodo.6594835, https://zenodo.org/record/6594835
Datasæt
-
Code and Benchmarks from the paper "Automatic Instance Generation for Classical Planning"'
Torralba, A. (Ophavsperson), Seipp, J. (Ophavsperson), Sievers, S. (Ophavsperson), Torralba, A. (Bidrager), Seipp, J. (Bidrager) & Sievers, S. (Bidrager), Zenodo, 2021
DOI: 10.5281/zenodo.4586397, https://zenodo.org/record/4586397
Datasæt
Priser
-
First Prize of the agile track of the 10th international planning competition (IPC’23)
Gnad, D. (Modtager), Torralba, A. (Modtager) & Shleyfman, A. (Modtager), 2023
Pris: Øvrige priser
-
First Prize of the Learning Track of the 4th international planning competition (IPC’23)
Torralba, A. (Modtager) & Gnad, D. (Modtager), 2023
Pris: Øvrige priser
-
-
Runner-Up Prize of the Learning Track of the 4th international planning competition (IPC’23)
Gzubicki, P. R. (Modtager), Lachowicz, B. P. (Modtager) & Torralba, A. (Modtager), 2023
Pris: Øvrige priser
-
“Discussion Master” award and The “Personally commended” in at 26th European Conference on Artificial Intelligence (ECAI’23)
Torralba, A. (Modtager), 2023
Pris: Øvrige priser