Personal profile
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
-
SDG 5 Gender Equality -
SDG 11 Sustainable Cities and Communities
Collaborations and top research areas from the last five years
-
-
Towards a Common Framework for Autoformalization
Mensfelt, A., Tena Cucala, D., Franco, S., Koutsoukou-Argyraki, A., Trencsenyi, V. & Stathis, K., 14 Mar 2026, Proceedings of the AAAI Conference on Artificial Intelligence. Vol. 40. p. 40971-40980 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
A Problem with the Current Methodology for Comparing Search Algorithms and a Proposed Solution
Barley, M., de Kriek, N., Franco, S., Garcia-Olaya, A., Hartill, T., Triggs, C., Zwart, H., Alcazar, V. & Riddle, P., 20 Jul 2025, International Symposium on Combinatorial Search (SOCS), 2025. 1 ed. Vol. 18. p. 29-37 9 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile28 Downloads (Pure) -
Speed vs Accuracy in Goal Recognition for Time-Sensitive Applications: a Game-Theoretic Approach
Bernardini, S., Fagnani, F. & Franco, S., 23 May 2025, 24th International Conference on Autonomous Agents and Multiagent Systems.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile13 Downloads (Pure) -
Lazy Evaluation of Negative Preconditions in Planning Domains (Extended Abstract)
Franco, S., Roberts, J. & Bernardini, S., 1 Jun 2024, The 17th International Symposium on Combinatorial Search (SoCS). AAAI Press, 2 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile39 Downloads (Pure)
Activities
- 1 Public engagement, outreach and knowledge exchange - Public Lecture/debate/seminar
-
AI Taster Day
Quaglia, E. (Participant), Simons, J. (Participant), Eiben, E. (Participant) & Franco, S. (Participant)
2026 → …Activity: Other › Public engagement, outreach and knowledge exchange - Public Lecture/debate/seminar