Publications
2020
Through the Lens of Sequence SubmodularitySara Bernardini, Fabio Fagnani and Chiara Piacentini
Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS-20). Nancy, France, June 2020.
ICAPS-2020 Best Paper Honorable Mention Award
Multi-Robot Platform for the Autonomous Operation and Maintenance of Offshore Wind Farms
Sara Bernardini, Ferdian Jovan, Zhengyi Jiang, Peiman Moradi, Tom Richardson, Rasoul Sadeghian, Sina Sareh, Simon Watson, and Andrew Weightman
Proc. of the 19th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-20). Auckland, New Zeland, May 2020.
An Optimization Approach to Robust Goal Obfuscation
Sara Bernardini, Fabio Fagnani, and Santiago Franco
Proc. of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR-20). Rhodes, Greece, September 2020.
Reasoning about Plan Robustness versus Plan Cost for Partially Informed Agents
Sarah Keren, Sara Bernardini, Kofi Kwapong and David Parkes
Proc. of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR-20). Rhodes, Greece, September 2020.
Intelligent Exploration and Autonomous Navigation in Confined Spaces
Aliakbar Akbari, Puneet Singh Chhabra, Ujjar Bhandari, and Sara Bernardini
Proc. of the 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS-20). Las Vegas, NV, USA, October 2020.
Target Search on Road Networks with Range-Constrained UAVs and Ground-based Mobile Recharging Vehicles
Kyle Booth, Chiara Piacentini, Sara Bernardini, and Christopher Beck
Proc. of the 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS-20). Las Vegas, NV, USA, October 2020.
Target Search on Road Networks with Range-Constrained UAVs and Ground-based Mobile Recharging Vehicles
Kyle Booth, Chiara Piacentini, Sara Bernardini, and Christopher Beck
IEEE Robotics and Automation Letters (RA-L). Volume 5, Issue 4, October 2020.
The Design of Prometheus: A Re-configurable UAV for Subterranean Mine Inspection
Liam Brown, Robert Clarke, Ali Akbari, Ujjar Bhandari, Sara Bernardini, Puneet Chhabra, Ognjen Marjanovic, Thomas Richardson, Simon Watson
Robotics 2020, 9(4), 95, November 2020.
2019
Autonomous Target Search with Multiple Coordinated UAVsChiara Piacentini , Sara Bernardini and Chris Beck
Journal of Artificial Intelligence Research (JAIR). Volume 65, Pages 519-568, August 2019.
2018
Extracting Mutual Exclusion Invariants from Lifted Temporal Planning DomainsSara Bernardini, Fabio Fagnani and David E. Smith
Artificial Intelligence Journal (AIJ) (5-year impact factor: 5.786), Volume 258, Pages 1-65, May 2018, Elsevier.
Blending Human and Artificial Intelligence to Support Autistic Children’s Social Skills
Kaska Porayska-Pomsta, Alyssa Alcorn, Katerina Avramides, Sara Bernardini, et al.
ACM Transactions on Computer-Human Interaction. Volume 25, Number 6, Pages 1-35, December 2018, ACM.
Extracting Mutual Exclusion Invariants from Lifted Temporal Planning Domains
Sara Bernardini, Fabio Fagnani and David E. Smith
Proceedings of the Twenty Eight International Conference on Automated Planning and Scheduling (ICAPS-18). Delft, The Netherlands, June 2018.
Blending Human and Artificial Intelligence to Support Autistic Children’s Social Skills
Kaska Porayska-Pomsta, Alyssa Alcorn, Katerina Avramides, Sara Bernardini, et al.
Proceedings of the ACM CHI Conference on Human Factors in Computing Systems, Glasgow, UK, May 2019.
2017
Combining Temporal Planning with Probabilistic Reasoning for Autonomous Surveillance MissionsSara Bernardini, Maria Fox and Derek Long
Autonomous Robots (AURO) (5-year impact factor: 4.095) , Vol. 41, No. 1, 01.2017, p. 181-203, Springer.
Boosting Search Guidance in Problems with Semantic Attachments
Sara Bernardini, Maria Fox, Derek Long and Chiara Piacentini
Proceedings of the Twenty Seventh International Conference on Automated Planning and Scheduling (ICAPS-17). Pittsburgh, PA, USA, June 2017.
Deterministic vs Probabilistic Methods for Searching for an Evasive Target
Sara Bernardini, Maria Fox, Derek Long and Chiara Piacentini
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17) (Acceptance rate: 25%). San Francisco, CA, February 2017.
Policy Conflict Resolution in IoT via Planning
Emre Göynügür, Sara Bernardini, Geeth De Mel, Kartik Talamadupula and Murat Sensoy
Proceedings of the 30th Canadian Conference on Artificial Intelligence. Edmonton, Alberta, May 2017.
2016
Leveraging Probabilistic Reasoning in Deterministic Planning for Large-Scale Autonomous Search-and-TrackingSara Bernardini, Maria Fox, Derek Long and Chiara Piacentini
Proceedings of the Twenty Sixth International Conference on Automated Planning and Scheduling (ICAPS-16) (Acceptance rate: 35%). London, UK, June 2016.
Planning Autonomous Underwater Reconnaissance Operations
Sara Bernardini, Maria Fox, Derek Long and Bram Ridder
Proceedings of the Tenth Scheduling and Planning Applications woRKshop (SPARK) -- Twenty Sixth International Conference on Automated Planning and Scheduling (ICAPS-16). London, UK, June 2016.
2015
In Search of a Lost Target via Monte Carlo Simulation and Automated PlanningSara Bernardini, Maria Fox and Derek Long
Proceedings of the Sixth Italian Workshop on Automated Planning and Scheduling (IPS- 15). Ferrara, Italy, September 2015.
2014
Planning the Behaviour of Low-Cost Quadcopters for Surveillance MissionsSara Bernardini, Maria Fox and Derek Long
Proceedings of the Twenty Four International Conference on Automated Planning and Scheduling (ICAPS-14). Portsmouth, NH, USA, June 2014.
Automated Planning of Simple Persuasion Dialogues
Elisabeth Black, Amanda Coles and Sara Bernardini
Proceedings of the Fifteenth International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-14). Prague, Czech Republic, July 2014.
2013
ECHOES: an Intelligent Serious Game for Fostering Social Communication in Children with AutismSara Bernardini, Kaska Porayska-Pomsta, Tim Smith
Information Sciences (5-year impact factor: 4.732) , Elsevier, Volume 264, 2013, pp.41-60.
Planning the Behaviour of Low-Cost Quadcopters for Surveillance Missions
Sara Bernardini, Maria Fox and Derek Long
Proceedings of the Fifth Italian Workshop on Automated Planning and Scheduling (IPS-13). Torino, Italy, December 2013.
Autonomous Search and Tracking via Temporal Planning
Sara Bernardini, Maria Fox, Derek Long and John Bookless
Proceedings of the Twenty Third International Conference on Automated Planning and Scheduling (ICAPS-13). Rome, Italy, June 2013.
Automated Planning and Policy Learning for Surveillance Missions
Sara Bernardini, Maria Fox and Derek Long
Proceedings of the Eight International Workshop on Planning and Scheduling for Space (IWPSS-13). Moffett Field, CA, USA, March 2013.
Planning-Based Social Partners for Children with Autism
Sara Bernardini and Kaska Porayska-Pomsta
Proceedings of the Twenty Third International Conference on Automated Planning and Scheduling (ICAPS-13). Rome, Italy, June 2013.
Designing an Intelligent Virtual Agent for Social Communication in Autism
Sara Bernardini, Kaska Porayska-Pomsta and Harini Sampath
Proceedings of the Ninth Annual AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE-13). Boston, MA, USA, October 2013.
Building an Intelligent, Authorable Serious Game for Autistic Children and Their Carers
Kaska Porayska-Pomsta, Keith Anderson, Sara Bernardini, Karen Guldberg, Tim Smith, Lila Kossivaki, Scott Hodgins and Ian Lowe
Proceedings of the Tenth International Conference on Advances in Computer Entertainment Technology (ACE-13). Enschede, the Netherlands, November 2013.
The TARDIS framework: Intelligent virtual agents for social coaching in job interviews
K. Anderson, E. André, T. Baur, S. Bernardini, M. Chollet, E. Chryssafidou, I. Damian, C. Ennis, A. Egges, P. Gebhard, H. Jones, M. Ochs, C. Pelachaud, K. Porayska-Pomsta, P. Rizzo, and N. Sabouret
Proceedings of the Tenth International Conference on Advances in Computer Entertainment Technology (ACE-13). Enschede, the Netherlands, November 2013.
Modelling Users' Affect in Job Interviews: Technological Demo
Kaska Porayska-Pomsta, Keith Anderson, Ionut Damian, Tobias Baur, Elisabeth Andre, Sara Bernardini and Paola Rizzo
Proceedings of the Twenty First Conference on User Modeling, Adaptation and Personalization (UMAP-13) - System Demonstration Track. Rome, Italy, June 2013. ("Most Participative Demo" award)
2012
Building Autonomous Social Partners for Autistic ChildrenSara Bernardini, Kaska Porayska-Pomsta, Tim Smith and Katerina Avramides
Proceedings of the Twelfth International Conference on Intelligent Virtual Agents (IVA 2012). Santa Cruz, CA, USA, September 2012.
State-of-the-art in TEL to support social communication skill development in children with autism: A multidisciplinary review
Katerina Avramides, Sara Bernardini, Mary Ellen Foster, Chris Frauenberger, Lila Kossyvaki and Marilena Mademtzi
International Journal of Technology Enhanced Learning. 4(5-6), 2012, pp. 359-372.
Learner Modelled Environments
Kaska Porayska-Pomsta and Sara Bernardini
Handbook of Digital Technology Research. S. Price, C. Jewitt and B. Brown, Ed. SAGE publishers
Developing Technology for Autism: an Interdisciplinary Approach
Kaska Porayska-Pomsta, Chris Frauenberger, Hellen Pain, Thusha Rajendran, Tim Smith, Rachel Menzies, Mary Ellen Foster, Alyssa Alcorn, Sam Wass, Sara Bernardini, Katerina Avramides, Wendy Keay-Bright, Jingying Chen, Annalu Waller, Karen Guldberg, Judith Good and Oliver Lemon
Journal of Personal and Ubiquitous Computing (5-year impact factor: 2.512), Springer, 16 (2), 2012, pp. 117-127.
2011
Automatic Synthesis of Temporal InvariantsSara Bernardini and David E. Smith
Proceedings of the Ninth Symposium on Abstraction, Reformulation and Approximation (SARA-11). Parador de Cardona, Spain, July 2011.
Finding Mutual Exclusion Invariants in Temporal Planning Domains
Sara Bernardini and David E. Smith
Proceedings of the Seventh International Workshop on Planning and Scheduling for Space (IWPSS-11). Darmstadt, Germany, June 2011.
Finding Mutual Exclusion Invariants in Temporal Planning Domains
Sara Bernardini and David E. Smith
Proceedings of the Workshop on Knowledge Engineering for Planning and Scheduling (KEPS), Twenty First International Conference on Automated Planning and Scheduling (ICAPS-11). Freiburg, Germany, June 2011.
Social Communication between Virtual Characters and Children with Autism
Alyssa Alcorn, Helen Pain, Thusha Rajendran, Tim Smith, Oliver Lemon, Kaska Porayska-Pomsta, Mary Ellen Foster, Katerina Avramides, Chris Frauenberger, and Sara Bernardini
Proceedings of the Fiftieths International Conference on Artificial Intelligence in Education (AIED-11). Auckland, New Zealand, June 2011.
2010
Supporting Children's Social Communication Skills through Interactive Narratives with Virtual CharactersMary Ellen Foster, Katerina Avramides, Sara Bernardini, Jingying Chen, Chris Frauenberger, Oliver Lemon and Kaska Porayska-Pomsta
Proceedings of ACM Multimedia 2010 (ACM-10). Firenze, Italy, October 2010.
ECHOES: Technology-Enhanced Learning for Exploring and Improving Social Interaction Skills
Katerina Avramides, Sara Bernardini, Jingying Chen, Chris Frauenberger, Mary Ellen Foster, Oliver Lemon and Kaska Porayska-Pomsta
Proceedings of the Forth International Conference on Cognitive Systems (CogSys-2010). Zurich, Switzerland, January 2010.
2009
Towards Search Control via Dependency Graphs in EUROPA2Sara Bernardini and David E. Smith
Proceedings of the Workshop on Heuristics for Domain Independent Planning (HDIP), Nineteenth International Conference on Automated Planning and Scheduling (ICAPS-2009). Thessaloniki, Greece, September 2009.
Embodiment as a means for Scaffolding Young Children's Social Skill Acquisition
Kaska Porayska-Pomsta, Sara Bernardini and Thusha Rajendran
Proceedings of the Workshop on Children and Embodied Interaction: Seeking Common Ground, Eighth International Conference on Interaction Design and Children (IDC-09). Como, Italy, June 2009.
2008
Translating PDDL2.2 into a Constraint-based Variable/Value LanguageSara Bernardini and David E. Smith
Proceedings of the Workshop on Knowledge Engineering for Planning and Scheduling (KEPS), Eighteenth International Conference on Automated Planning and Scheduling (ICAPS-08). Sydney, Australia, September 2008.
Constraint-based Temporal Planning: Domain Modelling and Search Control
Sara Bernardini
Doctoral Consortium, Eighteenth International Conference on Automated Planning and Scheduling (ICAPS-08). Sydney, Australia, September 2008.
Automatically Generated Heuristic Guidance for EUROPA2
Sara Bernardini and David E. Smith
Proceedings of the Ninth International Symposium on Artificial Intelligence, Robotics, and Automation for Space (iSAIRAS-08). Hollywood, USA, February 2008.
2007
Developing Domain-Independent Search Control for EUROPA2Sara Bernardini and David E. Smith
Proceedings of the Workshop on Heuristics for Domain Independent Planning: Progress, Ideas, Limitations, Challenges, (HDIP), Seventieth International Conference on Automated Planning and Scheduling (ICAPS-07). Providence, RI, USA, September 2007.
2006
Model-Unified Planning and Execution for Distributed Autonomous System ControlPascal Aschwanden, Vijay Baskaran, Sara Bernardini, Chuck Fry, Maria D. Moreno, Nicola Muscettola, Chris Plaunt, David Rijsman and Paul Tompkins
Proceedings of the AAAI Fall Symposium on Spacecraft Autonomy: Using AI to Expand Human Space Exploration. Arlington, VI, USA, October 2006.
2004
Incremental compilation-to-sat proceduresMarco Benedetti and Sara Bernardini
Proceedings of the Seventh International Conference on Theory and Applications of Satisfiability Testing (SAT-04). Vancouver, BC, Canada, May 2004.
2003
Cognitive robotics in domestic scenariosMarco Benedetti, Sara Bernardini and Luigia Carlucci Aiello
Proceedings of the International Conference on Aging, Disability and Independence, (ICADI-03). Washington, D.C., USA, December 2003.
Structure and Satisfiability in Propositional Formulae
Sara Bernardini
AI*IA Notizie. Vol. 4, pp.46-51, December 2003.