Sara Bernardini

Orcid: 0000-0002-1021-6900

According to our database1, Sara Bernardini authored at least 45 papers between 2004 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
A multirobot system for autonomous deployment and recovery of a blade crawler for operations and maintenance of offshore wind turbine blades.
J. Field Robotics, 2023

Learning Interpretable Heuristics for WalkSAT.
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Helpful Information Sharing for Partially Informed Planning Agents.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Exploiting Geometric Constraints in Multi-Agent Pathfinding.
Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

Adaptive Temporal Planning for Multi-Robot Systems in Operations and Maintenance of Offshore Wind Farms.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022
Modular Robots for Enabling Operations in Unstructured Extreme Environments.
Adv. Intell. Syst., 2022

Hybrid Discrete-Continuous Path Planning for Lattice Traversal.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

A Network Flow Interpretation of Robust Goal Legibility in Path Finding.
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

2021
Informed Autonomous Exploration of Subterranean Environments.
IEEE Robotics Autom. Lett., October, 2021

A unifying look at sequence submodularity.
Artif. Intell., 2021

vPlanSim: An Open Source Graphical Interface for the Visualisation and Simulation of AI Systems.
Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, 2021

Autonomous Building of Structures in Unstructured Environments via AI Planning.
Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, 2021

2020
The Design of Prometheus: A Reconfigurable UAV for Subterranean Mine Inspection.
Robotics, 2020

Target Search on Road Networks With Range-Constrained UAVs and Ground-Based Mobile Recharging Vehicles.
IEEE Robotics Autom. Lett., 2020

Reasoning About Plan Robustness Versus Plan Cost for Partially Informed Agents.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

An Optimization Approach to Robust Goal Obfuscation.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Intelligent Exploration and Autonomous Navigation in Confined Spaces.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

A Multi-Robot Platform for the Autonomous Operation and Maintenance of Offshore Wind Farms.
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

Through the Lens of Sequence Submodularity.
Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

2019
Autonomous Target Search with Multiple Coordinated UAVs.
J. Artif. Intell. Res., 2019

2018
Blending Human and Artificial Intelligence to Support Autistic Children's Social Communication Skills.
ACM Trans. Comput. Hum. Interact., 2018

Extracting mutual exclusion invariants from lifted temporal planning domains.
Artif. Intell., 2018

2017
Extracting Lifted Mutual Exclusion Invariants from Temporal Planning Domains.
CoRR, 2017

Combining temporal planning with probabilistic reasoning for autonomous surveillance missions.
Auton. Robots, 2017

Boosting Search Guidance in Problems with Semantic Attachments.
Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017

Policy Conflict Resolution in IoT via Planning.
Proceedings of the Advances in Artificial Intelligence, 2017

Deterministic versus Probabilistic Methods for Searching for an Evasive Target.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Leveraging Probabilistic Reasoning in Deterministic Planning for Large-Scale Autonomous Search-and-Tracking.
Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

2015
Erratum to: Developing technology for autism: an interdisciplinary approach.
Pers. Ubiquitous Comput., 2015

2014
ECHOES: An intelligent serious game for fostering social communication in children with autism.
Inf. Sci., 2014

Automated Planning of Simple Persuasion Dialogues.
Proceedings of the Computational Logic in Multi-Agent Systems, 2014

Planning the Behaviour of Low-Cost Quadcopters for Surveillance Missions.
Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

2013
Modelling Users' Affect in Job Interviews: Technological Demo.
Proceedings of the User Modeling, Adaptation, and Personalization, 2013

Planning-Based Social Partners for Children with Autism.
Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013

Autonomous Search and Tracking via Temporal Planning.
Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013

Designing an Intelligent Virtual Agent for Social Communication in Autism.
Proceedings of the Ninth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, 2013

Building an Intelligent, Authorable Serious Game for Autistic Children and Their Carers.
Proceedings of the Advances in Computer Entertainment - 10th International Conference, 2013

The TARDIS Framework: Intelligent Virtual Agents for Social Coaching in Job Interviews.
Proceedings of the Advances in Computer Entertainment - 10th International Conference, 2013

2012
Developing technology for autism: an interdisciplinary approach.
Pers. Ubiquitous Comput., 2012

Building Autonomous Social Partners for Autistic Children.
Proceedings of the Intelligent Virtual Agents - 12th International Conference, 2012

2011
Automatic Synthesis of Temporal Invariants.
Proceedings of the Ninth Symposium on Abstraction, Reformulation, and Approximation, 2011

Social Communication between Virtual Characters and Children with Autism.
Proceedings of the Artificial Intelligence in Education - 15th International Conference, 2011

2010
Supporting children's social communication skills through interactive narratives with virtual characters.
Proceedings of the 18th International Conference on Multimedia 2010, 2010

2006
Model-Unified Planning and Execution for Distributed Autonomous System Control.
Proceedings of the Spacecraft Autonomy: Using AI to Expand Human Space Exploration, 2006

2004
Incremental Compilation-to-SAT Procedures.
Proceedings of the Theory and Applications of Satisfiability Testing, 2004


  Loading...