Skip to content

Sara Bernardini

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

14

Venues

9

Active years

2004–2024

Best venue rank

A*

Where they publish

Papers

14 indexed papers, newest first.

YearVenueTitleAuthors
2024SoCSLazy Evaluation of Negative Preconditions in Planning Domains (Extended Abstract).Santiago Franco, Jamie O. Roberts, Sara Bernardini
2023AAAIAdaptive Temporal Planning for Multi-Robot Systems in Operations and Maintenance of Offshore Wind Farms.Ferdian Jovan, Sara Bernardini
2023IJCAIHelpful Information Sharing for Partially Informed Planning Agents.Sarah Keren, David Wies, Sara Bernardini
2023KRLearning Interpretable Heuristics for WalkSAT.Yannet Interian, Sara Bernardini
2022IROSHybrid Discrete-Continuous Path Planning for Lattice Traversal.Santiago Franco, Julius Sustarevas, Sara Bernardini
2020IROSIntelligent Exploration and Autonomous Navigation in Confined Spaces.Aliakbar Akbari, Puneet S. Chhabra, Ujjar Bhandari, Sara Bernardini
2020KRAn Optimization Approach to Robust Goal Obfuscation.Sara Bernardini, Fabio Fagnani, Santiago Franco
2020KRReasoning About Plan Robustness Versus Plan Cost for Partially Informed Agents.Sarah Keren, Sara Bernardini, Kofi Kwapong, David C. Parkes
2017AAAIDeterministic versus Probabilistic Methods for Searching for an Evasive Target.Sara Bernardini, Maria Fox, Derek Long, Chiara Piacentini
2017AIPolicy Conflict Resolution in IoT via Planning.Emre Gyngr, Sara Bernardini, Geeth de Mel, Kartik Talamadupula, Murat Sensoy
2012IVABuilding Autonomous Social Partners for Autistic Children.Sara Bernardini, Kaska Porayska-Pomsta, Tim J. Smith, Katerina Avramides
2011AIEDSocial 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
2004SATIncremental Compilation-to-SAT Procedures.Marco Benedetti, Sara Bernardini
2004SATIncremental Compilation-to-SAT Procedures.Marco Benedetti, Sara Bernardini