Incremental Compilation-to-SAT Procedures. - Marco Benedetti; Sara Bernardini (SAT, 2004)

Model-Unified Planning and Execution for Distributed Autonomous System Control. - Pascal Aschwanden; Vijay Baskaran; Sara Bernardini; Chuck Fry; Maria Moreno; Nicola Muscettola; Chris Plaunt; David Rijsman; Paul Tompkins (AAAI Fall Symposium: Spacecraft Autonomy, 2006)

Supporting children's social communication skills through interactive narratives with virtual characters. - Mary Ellen Foster; Katerina Avramides; Sara Bernardini; Jingying Chen; Christopher Frauenberger; Oliver Lemon; Kaska Porayska-Pomsta (ACM Multimedia, 2010)

Social Communication between Virtual Characters and Children with Autism. - Alyssa Alcorn; Helen Pain; Gnanathusharan Rajendran; Tim J. Smith; Oliver Lemon; Kaska Porayska-Pomsta; Mary Ellen Foster; Katerina Avramides; Christopher Frauenberger; Sara Bernardini (AIED, 2011)

Automatic Synthesis of Temporal Invariants. - Sara Bernardini; David E. Smith 001 (SARA, 2011)

Building Autonomous Social Partners for Autistic Children. - Sara Bernardini; Kaska Porayska-Pomsta; Tim J. Smith; Katerina Avramides (IVA, 2012)

Developing technology for autism: an interdisciplinary approach. - 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; et al. (Pers. Ubiquitous Comput., 2012)

The TARDIS Framework: Intelligent Virtual Agents for Social Coaching in Job Interviews. - Keith Anderson; Elisabeth André; Tobias Baur 001; Sara Bernardini; Mathieu Chollet; Evi Chryssafidou; Ionut Damian; Cathy Ennis; Arjan Egges; Patrick Gebhard; Hazaël Jones; Magalie Ochs; et al. (Advances in Computer Entertainment, 2013)

Building an Intelligent, Authorable Serious Game for Autistic Children and Their Carers. - Kaska Porayska-Pomsta; Keith Anderson; Sara Bernardini; Karen Guldberg; Tim J. Smith; Lila Kossivaki; Scott Hodgins; Ian Lowe (Advances in Computer Entertainment, 2013)

Designing an Intelligent Virtual Agent for Social Communication in Autism. - Sara Bernardini; Kaska Porayska-Pomsta; Harini Sampath (AIIDE, 2013)

Autonomous Search and Tracking via Temporal Planning. - Sara Bernardini; Maria Fox 001; Derek Long; John Bookless (ICAPS, 2013)

Planning-Based Social Partners for Children with Autism. - Sara Bernardini; Kaska Porayska-Pomsta (ICAPS, 2013)

Modelling Users' Affect in Job Interviews: Technological Demo. - Kaska Porayska-Pomsta; Keith Anderson; Ionut Damian; Tobias Baur 001; Elisabeth André; Sara Bernardini; Paola Rizzo (UMAP, 2013)

Planning the Behaviour of Low-Cost Quadcopters for Surveillance Missions. - Sara Bernardini; Maria Fox 001; Derek Long (ICAPS, 2014)

Automated Planning of Simple Persuasion Dialogues. - Elizabeth Black; Amanda Jane Coles; Sara Bernardini (CLIMA, 2014)

ECHOES: An intelligent serious game for fostering social communication in children with autism. - Sara Bernardini; Kaska Porayska-Pomsta; Tim J. Smith (Inf. Sci., 2014)

Erratum to: Developing technology for autism: an interdisciplinary approach. - 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; et al. (Pers. Ubiquitous Comput., 2015)

Leveraging Probabilistic Reasoning in Deterministic Planning for Large-Scale Autonomous Search-and-Tracking. - Sara Bernardini; Maria Fox 001; Derek Long; Chiara Piacentini (ICAPS, 2016)

Deterministic versus Probabilistic Methods for Searching for an Evasive Target. - Sara Bernardini; Maria Fox 001; Derek Long; Chiara Piacentini (AAAI, 2017)

Policy Conflict Resolution in IoT via Planning. - Emre Göynügür; Sara Bernardini; Geeth de Mel; Kartik Talamadupula; Murat Sensoy (Canadian AI, 2017)

Boosting Search Guidance in Problems with Semantic Attachments. - Sara Bernardini; Maria Fox 001; Derek Long; Chiara Piacentini (ICAPS, 2017)

Combining temporal planning with probabilistic reasoning for autonomous surveillance missions. - Sara Bernardini; Maria Fox 001; Derek Long (Auton. Robots, 2017)

Extracting Lifted Mutual Exclusion Invariants from Temporal Planning Domains. - Sara Bernardini; Fabio Fagnani; David E. Smith 001 (CoRR, 2017)

Extracting mutual exclusion invariants from lifted temporal planning domains. - Sara Bernardini; Fabio Fagnani; David E. Smith 001 (Artif. Intell., 2018)

Blending Human and Artificial Intelligence to Support Autistic Children's Social Communication Skills. - 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; et al. (ACM Trans. Comput. Hum. Interact., 2018)

Autonomous Target Search with Multiple Coordinated UAVs. - Chiara Piacentini; Sara Bernardini; J. Christopher Beck (J. Artif. Intell. Res., 2019)

Through the Lens of Sequence Submodularity. - Sara Bernardini; Fabio Fagnani; Chiara Piacentini (ICAPS, 2020)

A Multi-Robot Platform for the Autonomous Operation and Maintenance of Offshore Wind Farms. - Sara Bernardini; Ferdian Jovan; Zhengyi Jiang; Simon Watson 001; Andrew Weightman; Peiman Moradi; Tom Richardson 002; Rasoul Sadeghian; Sina Sareh (AAMAS, 2020)

Intelligent Exploration and Autonomous Navigation in Confined Spaces. - Aliakbar Akbari; Puneet S. Chhabra; Ujjar Bhandari; Sara Bernardini (IROS, 2020)

An Optimization Approach to Robust Goal Obfuscation. - Sara Bernardini; Fabio Fagnani; Santiago Franco (KR, 2020)

Reasoning About Plan Robustness Versus Plan Cost for Partially Informed Agents. - Sarah Keren; Sara Bernardini; Kofi Kwapong; David C. Parkes (KR, 2020)

Target Search on Road Networks With Range-Constrained UAVs and Ground-Based Mobile Recharging Vehicles. - Kyle E. C. Booth; Chiara Piacentini; Sara Bernardini; J. Christopher Beck (IEEE Robotics Autom. Lett., 2020)

The Design of Prometheus: A Reconfigurable UAV for Subterranean Mine Inspection. - Liam Brown; Robert Clarke; Aliakbar Akbari; Ujjar Bhandari; Sara Bernardini; Puneet S. Chhabra; Ognjen Marjanovic; Thomas Richardson 002; Simon Watson 001 (Robotics, 2020)

Autonomous Building of Structures in Unstructured Environments via AI Planning. - Jamie O. Roberts; Santiago Franco; Adam A. Stokes; Sara Bernardini (ICAPS, 2021)

vPlanSim: An Open Source Graphical Interface for the Visualisation and Simulation of AI Systems. - Jamie O. Roberts; Georgios Mastorakis; Brad Lazaruk; Santiago Franco; Adam A. Stokes; Sara Bernardini (ICAPS, 2021)

A unifying look at sequence submodularity. - Sara Bernardini; Fabio Fagnani; Chiara Piacentini (Artif. Intell., 2021)

Informed Autonomous Exploration of Subterranean Environments. - Aliakbar Akbari; Sara Bernardini (IEEE Robotics Autom. Lett., 2021)

A Network Flow Interpretation of Robust Goal Legibility in Path Finding. - Sara Bernardini; Fabio Fagnani; Santiago Franco; Alexandra Neacsu (ICAPS, 2022)

Hybrid Discrete-Continuous Path Planning for Lattice Traversal. - Santiago Franco; Julius Sustarevas; Sara Bernardini (IROS, 2022)

Modular Robots for Enabling Operations in Unstructured Extreme Environments. - Mohammed E. Sayed; Jamie O. Roberts; Karen Donaldson; Stephen T. Mahon; Faiz Iqbal; Boyang Li 005; Santiago Franco Aixela; Georgios Mastorakis; Emil T. Jonasson; Markus P. Nemitz; Sara Bernardini; Adam A. Stokes (Adv. Intell. Syst., 2022)

Adaptive Temporal Planning for Multi-Robot Systems in Operations and Maintenance of Offshore Wind Farms. - Ferdian Jovan; Sara Bernardini (AAAI, 2023)

Exploiting Geometric Constraints in Multi-Agent Pathfinding. - Dor Atzmon; Sara Bernardini; Fabio Fagnani; David L. Fairbairn (ICAPS, 2023)

Helpful Information Sharing for Partially Informed Planning Agents. - Sarah Keren; David Wies; Sara Bernardini (IJCAI, 2023)

Learning Interpretable Heuristics for WalkSAT. - Yannet Interian; Sara Bernardini (KR, 2023)

A multirobot system for autonomous deployment and recovery of a blade crawler for operations and maintenance of offshore wind turbine blades. - Zhengyi Jiang; Ferdian Jovan; Peiman Moradi; Tom Richardson 002; Sara Bernardini; Simon Watson 001; Andrew Weightman; Duncan Hine (J. Field Robotics, 2023)

Unlocking AI Literacy: The SMaILE-App Gaming Experience. - Santiago Franco; Maria Giulia Ballatore; Sara Bernardini; Giacomo Como; Luca Damonte; Alexandra Neacsu; Martina Vanelli (GEM, 2024)

Lazy Evaluation of Negative Preconditions in Planning Domains (Extended Abstract). - Santiago Franco; Jamie O. Roberts; Sara Bernardini (SOCS, 2024)

Optimizing pathfinding for goal legibility and recognition in cooperative partially observable environments. - Sara Bernardini; Fabio Fagnani; Alexandra Neacsu; Santiago Franco (Artif. Intell., 2024)

Speed vs Accuracy in Goal Recognition for Time-Sensitive Applications: A Game-Theoretic Approach. - Sara Bernardini; Fabio Fagnani; Santiago Franco (AAMAS, 2025)

Mapping User Trust in Vision Language Models: Research Landscape, Challenges, and Prospects. - Agnese Chiatti; Sara Bernardini; Lara Shibelski Godoy Piccolo; Viola Schiaffonati; Matteo Matteucci (CoRR, 2025)