Sara Bernardini

55 papers A* 18A 7B 2C 2Journal 19Unranked 7

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	An End-to-end Planning Framework with Agentic LLMs and PDDL. CoRR Emanuele La Malfa, Ping Zhu, Samuele Marro, Sara Bernardini, Michael J. Wooldridge
2025	J	`jnl`	Mapping User Trust in Vision Language Models: Research Landscape, Challenges, and Prospects. CoRR Agnese Chiatti, Sara Bernardini, Lara Shibelski Godoy Piccolo, Viola Schiaffonati, Matteo Matteucci
2025	A	`conf`	Speed vs Accuracy in Goal Recognition for Time-Sensitive Applications: A Game-Theoretic Approach. AAMAS Sara Bernardini, Fabio Fagnani, Santiago Franco
2025	J	`jnl`	Trust in Vision-Language Models: Insights from a Participatory User Workshop. CoRR Agnese Chiatti, Lara Shibelski Godoy Piccolo, Sara Bernardini, Matteo Matteucci, Viola Schiaffonati
2024	B	`conf`	Lazy Evaluation of Negative Preconditions in Planning Domains (Extended Abstract). SOCS Santiago Franco, Jamie O. Roberts, Sara Bernardini
2024	J	`jnl`	Optimizing pathfinding for goal legibility and recognition in cooperative partially observable environments. Artif. Intell. Sara Bernardini, Fabio Fagnani, Alexandra Neacsu, Santiago Franco
2024	A*	`ed.`	Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, ICAPS 2024, Banff, Alberta, Canada, June 1-6, 2024. ICAPS Sara Bernardini, Christian Muise
2024	—	`conf`	Unlocking AI Literacy: The SMaILE-App Gaming Experience. GEM Santiago Franco, Maria Giulia Ballatore, Sara Bernardini, Giacomo Como, Luca Damonte, Alexandra Neacsu, Martina Vanelli
2023	J	`jnl`	A multirobot system for autonomous deployment and recovery of a blade crawler for operations and maintenance of offshore wind turbine blades. J. Field Robotics Zhengyi Jiang, Ferdian Jovan, Peiman Moradi, Tom Richardson, Sara Bernardini, Simon Watson, Andrew Weightman, Duncan Hine
2023	A*	`conf`	Adaptive Temporal Planning for Multi-Robot Systems in Operations and Maintenance of Offshore Wind Farms. AAAI Ferdian Jovan, Sara Bernardini
2023	A*	`conf`	Exploiting Geometric Constraints in Multi-Agent Pathfinding. ICAPS Dor Atzmon, Sara Bernardini, Fabio Fagnani, David L. Fairbairn
2023	A*	`conf`	Helpful Information Sharing for Partially Informed Planning Agents. IJCAI Sarah Keren, David Wies, Sara Bernardini
2023	A*	`conf`	Learning Interpretable Heuristics for WalkSAT. KR Yannet Interian, Sara Bernardini
2023	J	`jnl`	Learning Interpretable Heuristics for WalkSAT. CoRR Yannet Interian, Sara Bernardini
2022	A*	`conf`	A Network Flow Interpretation of Robust Goal Legibility in Path Finding. ICAPS Sara Bernardini, Fabio Fagnani, Santiago Franco, Alexandra Neacsu
2022	A	`conf`	Hybrid Discrete-Continuous Path Planning for Lattice Traversal. IROS Santiago Franco, Julius Sustarevas, Sara Bernardini
2022	J	`jnl`	Modular Robots for Enabling Operations in Unstructured Extreme Environments. Adv. Intell. Syst. Mohammed E. Sayed, Jamie O. Roberts, Karen Donaldson, Stephen T. Mahon, Faiz Iqbal, Boyang Li, Santiago Franco Aixela, Georgios Mastorakis, Emil T. Jonasson, Markus P. Nemitz, Sara Bernardini, Adam A. Stokes
2021	J	`jnl`	A unifying look at sequence submodularity. Artif. Intell. Sara Bernardini, Fabio Fagnani, Chiara Piacentini
2021	A*	`conf`	Autonomous Building of Structures in Unstructured Environments via AI Planning. ICAPS Jamie O. Roberts, Santiago Franco, Adam A. Stokes, Sara Bernardini
2021	J	`jnl`	Informed Autonomous Exploration of Subterranean Environments. IEEE Robotics Autom. Lett. Aliakbar Akbari, Sara Bernardini
2021	A*	`conf`	vPlanSim: An Open Source Graphical Interface for the Visualisation and Simulation of AI Systems. ICAPS Jamie O. Roberts, Georgios Mastorakis, Brad Lazaruk, Santiago Franco, Adam A. Stokes, Sara Bernardini
2020	A	`conf`	A Multi-Robot Platform for the Autonomous Operation and Maintenance of Offshore Wind Farms. AAMAS Sara Bernardini, Ferdian Jovan, Zhengyi Jiang, Simon Watson, Andrew Weightman, Peiman Moradi, Tom Richardson, Rasoul Sadeghian, Sina Sareh
2020	A*	`conf`	An Optimization Approach to Robust Goal Obfuscation. KR Sara Bernardini, Fabio Fagnani, Santiago Franco
2020	A	`conf`	Intelligent Exploration and Autonomous Navigation in Confined Spaces. IROS Aliakbar Akbari, Puneet S. Chhabra, Ujjar Bhandari, Sara Bernardini
2020	A*	`conf`	Reasoning About Plan Robustness Versus Plan Cost for Partially Informed Agents. KR Sarah Keren, Sara Bernardini, Kofi Kwapong, David C. Parkes
2020	J	`jnl`	Target Search on Road Networks With Range-Constrained UAVs and Ground-Based Mobile Recharging Vehicles. IEEE Robotics Autom. Lett. Kyle E. C. Booth, Chiara Piacentini, Sara Bernardini, J. Christopher Beck
2020	J	`jnl`	The Design of Prometheus: A Reconfigurable UAV for Subterranean Mine Inspection. Robotics Liam Brown, Robert Clarke, Aliakbar Akbari, Ujjar Bhandari, Sara Bernardini, Puneet S. Chhabra, Ognjen Marjanovic, Thomas Richardson, Simon Watson
2020	A*	`conf`	Through the Lens of Sequence Submodularity. ICAPS Sara Bernardini, Fabio Fagnani, Chiara Piacentini
2019	J	`jnl`	Autonomous Target Search with Multiple Coordinated UAVs. J. Artif. Intell. Res. Chiara Piacentini, Sara Bernardini, J. Christopher Beck
2018	J	`jnl`	Blending Human and Artificial Intelligence to Support Autistic Children's Social Communication Skills. ACM Trans. Comput. Hum. Interact. Kaska Porayska-Pomsta, Alyssa M. Alcorn, Katerina Avramides, Sandra Beale, Sara Bernardini, Mary Ellen Foster, Christopher Frauenberger, Judith Good, Karen Guldberg, Wendy Keay-Bright, Lila Kossyvaki, Oliver Lemon, Marilena Mademtzi, Rachel Menzies, Helen Pain, Gnanathusharan Rajendran, Annalu Waller, Sam Wass, Tim J. Smith
2018	J	`jnl`	Extracting mutual exclusion invariants from lifted temporal planning domains. Artif. Intell. Sara Bernardini, Fabio Fagnani, David E. Smith
2017	A*	`conf`	Boosting Search Guidance in Problems with Semantic Attachments. ICAPS Sara Bernardini, Maria Fox, Derek Long, Chiara Piacentini
2017	J	`jnl`	Combining temporal planning with probabilistic reasoning for autonomous surveillance missions. Auton. Robots Sara Bernardini, Maria Fox, Derek Long
2017	A*	`conf`	Deterministic versus Probabilistic Methods for Searching for an Evasive Target. AAAI Sara Bernardini, Maria Fox, Derek Long, Chiara Piacentini
2017	J	`jnl`	Extracting Lifted Mutual Exclusion Invariants from Temporal Planning Domains. CoRR Sara Bernardini, Fabio Fagnani, David E. Smith
2017	—	`conf`	Policy Conflict Resolution in IoT via Planning. Canadian AI Emre Göynügür, Sara Bernardini, Geeth de Mel, Kartik Talamadupula, Murat Sensoy
2016	A*	`conf`	Leveraging Probabilistic Reasoning in Deterministic Planning for Large-Scale Autonomous Search-and-Tracking. ICAPS Sara Bernardini, Maria Fox, Derek Long, Chiara Piacentini
2015	J	`jnl`	Erratum to: Developing technology for autism: an interdisciplinary approach. Pers. Ubiquitous Comput. Kaska Porayska-Pomsta, Christopher Frauenberger, Helen Pain, Gnanathusharan Rajendran, Tim J. Smith, Rachel Menzies, Mary Ellen Foster, Alyssa Alcorn, Sam Wass, Sara Bernardini, Katerina Avramides, Wendy Keay-Bright, J. Chen, Annalu Waller, Karen Guldberg, Judith Good, Oliver Lemon
2014	—	`conf`	Automated Planning of Simple Persuasion Dialogues. CLIMA Elizabeth Black, Amanda Jane Coles, Sara Bernardini
2014	J	`jnl`	ECHOES: An intelligent serious game for fostering social communication in children with autism. Inf. Sci. Sara Bernardini, Kaska Porayska-Pomsta, Tim J. Smith
2014	A*	`conf`	Planning the Behaviour of Low-Cost Quadcopters for Surveillance Missions. ICAPS Sara Bernardini, Maria Fox, Derek Long
2013	A*	`conf`	Autonomous Search and Tracking via Temporal Planning. ICAPS Sara Bernardini, Maria Fox, Derek Long, John Bookless
2013	C	`conf`	Building an Intelligent, Authorable Serious Game for Autistic Children and Their Carers. Advances in Computer Entertainment Kaska Porayska-Pomsta, Keith Anderson, Sara Bernardini, Karen Guldberg, Tim J. Smith, Lila Kossivaki, Scott Hodgins, Ian Lowe
2013	—	`conf`	Designing an Intelligent Virtual Agent for Social Communication in Autism. AIIDE Sara Bernardini, Kaska Porayska-Pomsta, Harini Sampath
2013	A	`conf`	Modelling Users' Affect in Job Interviews: Technological Demo. UMAP Kaska Porayska-Pomsta, Keith Anderson, Ionut Damian, Tobias Baur, Elisabeth André, Sara Bernardini, Paola Rizzo
2013	A*	`conf`	Planning-Based Social Partners for Children with Autism. ICAPS Sara Bernardini, Kaska Porayska-Pomsta
2013	C	`conf`	The TARDIS Framework: Intelligent Virtual Agents for Social Coaching in Job Interviews. Advances in Computer Entertainment Keith Anderson, Elisabeth André, Tobias Baur, Sara Bernardini, Mathieu Chollet, Evi Chryssafidou, Ionut Damian, Cathy Ennis, Arjan Egges, Patrick Gebhard, Hazaël Jones, Magalie Ochs, Catherine Pelachaud, Kaska Porayska-Pomsta, Paola Rizzo, Nicolas Sabouret
2012	B	`conf`	Building Autonomous Social Partners for Autistic Children. IVA Sara Bernardini, Kaska Porayska-Pomsta, Tim J. Smith, Katerina Avramides
2012	J	`jnl`	Developing technology for autism: an interdisciplinary approach. Pers. Ubiquitous Comput. Kaska Porayska-Pomsta, Christopher Frauenberger, Helen Pain, Gnanathusharan Rajendran, Tim J. Smith, Rachel Menzies, Mary Ellen Foster, Alyssa Alcorn, Sam Wass, Sara Bernardini, Katerina Avramides, Wendy Keay-Bright, J. Chen, Annalu Waller, Karen Guldberg, Judith Good, Oliver Lemon
2011	—	`conf`	Automatic Synthesis of Temporal Invariants. SARA Sara Bernardini, David E. Smith
2011	A	`conf`	Social Communication between Virtual Characters and Children with Autism. AIED Alyssa Alcorn, Helen Pain, Gnanathusharan Rajendran, Tim J. Smith, Oliver Lemon, Kaska Porayska-Pomsta, Mary Ellen Foster, Katerina Avramides, Christopher Frauenberger, Sara Bernardini
2010	A*	`conf`	Supporting children's social communication skills through interactive narratives with virtual characters. ACM Multimedia Mary Ellen Foster, Katerina Avramides, Sara Bernardini, Jingying Chen, Christopher Frauenberger, Oliver Lemon, Kaska Porayska-Pomsta
2006	—	`conf`	Model-Unified Planning and Execution for Distributed Autonomous System Control. AAAI Fall Symposium: Spacecraft Autonomy Pascal Aschwanden, Vijay Baskaran, Sara Bernardini, Chuck Fry, Maria Moreno, Nicola Muscettola, Chris Plaunt, David Rijsman, Paul Tompkins
2004	A	`conf`	Incremental Compilation-to-SAT Procedures. SAT Marco Benedetti, Sara Bernardini
2004	—	`conf`	Incremental Compilation-to-SAT Procedures. SAT (Selected Papers Marco Benedetti, Sara Bernardini