default search action
Sara Bernardini
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j14]Sara Bernardini
, Fabio Fagnani, Alexandra Neacsu, Santiago Franco
Optimizing pathfinding for goal legibility and recognition in cooperative partially observable environments. Artif. Intell. 333: 104148 (2024) - [c34]Santiago Franco, Maria Giulia Ballatore, Sara Bernardini, Giacomo Como, Luca Damonte, Alexandra Neacsu, Martina Vanelli:
Unlocking AI Literacy: The SMaILE-App Gaming Experience. GEM 2024: 1-6 - [c33]Santiago Franco, Jamie O. Roberts, Sara Bernardini:
Lazy Evaluation of Negative Preconditions in Planning Domains (Extended Abstract). SOCS 2024: 271-272 - [e1]Sara Bernardini, Christian Muise:
Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, ICAPS 2024, Banff, Alberta, Canada, June 1-6, 2024. AAAI Press 2024 [contents] - 2023
- [j13]Zhengyi Jiang
A multirobot system for autonomous deployment and recovery of a blade crawler for operations and maintenance of offshore wind turbine blades. J. Field Robotics 40(1): 73-93 (2023) - [c32]Ferdian Jovan
Adaptive Temporal Planning for Multi-Robot Systems in Operations and Maintenance of Offshore Wind Farms. AAAI 2023: 15782-15788 - [c31]Dor Atzmon, Sara Bernardini, Fabio Fagnani, David Fairbairn
Exploiting Geometric Constraints in Multi-Agent Pathfinding. ICAPS 2023: 17-25 - [c30]Sarah Keren, David Wies, Sara Bernardini:
Helpful Information Sharing for Partially Informed Planning Agents. IJCAI 2023: 5377-5385 - [c29]Yannet Interian, Sara Bernardini:
Learning Interpretable Heuristics for WalkSAT. KR 2023: 365-373 - [i2]Yannet Interian, Sara Bernardini:
Learning Interpretable Heuristics for WalkSAT. CoRR abs/2307.04608 (2023) - 2022
- [j12]Mohammed E. Sayed, Jamie O. Roberts, Karen Donaldson, Stephen T. Mahon, Faiz Iqbal, Boyang Li
Modular Robots for Enabling Operations in Unstructured Extreme Environments. Adv. Intell. Syst. 4(5) (2022) - [c28]Sara Bernardini, Fabio Fagnani, Santiago Franco, Alexandra Neacsu:
A Network Flow Interpretation of Robust Goal Legibility in Path Finding. ICAPS 2022: 668-677 - [c27]Santiago Franco
Hybrid Discrete-Continuous Path Planning for Lattice Traversal. IROS 2022: 8971-8978 - 2021
- [j11]Sara Bernardini
A unifying look at sequence submodularity. Artif. Intell. 297: 103486 (2021) - [j10]Aliakbar Akbari
Informed Autonomous Exploration of Subterranean Environments. IEEE Robotics Autom. Lett. 6(4): 7957-7964 (2021) - [c26]Jamie O. Roberts, Georgios Mastorakis, Brad Lazaruk, Santiago Franco, Adam A. Stokes, Sara Bernardini:
vPlanSim: An Open Source Graphical Interface for the Visualisation and Simulation of AI Systems. ICAPS 2021: 486-490 - [c25]Jamie O. Roberts, Santiago Franco, Adam A. Stokes, Sara Bernardini:
Autonomous Building of Structures in Unstructured Environments via AI Planning. ICAPS 2021: 491-499 - 2020
- [j9]Kyle E. C. Booth
Target Search on Road Networks With Range-Constrained UAVs and Ground-Based Mobile Recharging Vehicles. IEEE Robotics Autom. Lett. 5(4): 6702-6709 (2020) - [j8]Liam Brown
The Design of Prometheus: A Reconfigurable UAV for Subterranean Mine Inspection. Robotics 9(4): 95 (2020) - [c24]Sara Bernardini, Fabio Fagnani, Chiara Piacentini:
Through the Lens of Sequence Submodularity. ICAPS 2020: 38-47 - [c23]Sara Bernardini, Ferdian Jovan, Zhengyi Jiang, Simon Watson, Andrew Weightman, Peiman Moradi, Tom Richardson, Rasoul Sadeghian, Sina Sareh:
A Multi-Robot Platform for the Autonomous Operation and Maintenance of Offshore Wind Farms. AAMAS 2020: 1696-1700 - [c22]Aliakbar Akbari, Puneet S. Chhabra, Ujjar Bhandari, Sara Bernardini:
Intelligent Exploration and Autonomous Navigation in Confined Spaces. IROS 2020: 2157-2164 - [c21]Sara Bernardini, Fabio Fagnani, Santiago Franco:
An Optimization Approach to Robust Goal Obfuscation. KR 2020: 119-129 - [c20]Sarah Keren, Sara Bernardini, Kofi Kwapong, David C. Parkes:
Reasoning About Plan Robustness Versus Plan Cost for Partially Informed Agents. KR 2020: 550-559
2010 – 2019
- 2019
- [j7]Chiara Piacentini, Sara Bernardini, J. Christopher Beck:
Autonomous Target Search with Multiple Coordinated UAVs. J. Artif. Intell. Res. 65: 519-568 (2019) - 2018
- [j6]Sara Bernardini
Extracting mutual exclusion invariants from lifted temporal planning domains. Artif. Intell. 258: 1-65 (2018) - [j5]Kaska Porayska-Pomsta, Alyssa M. Alcorn, Katerina Avramides, Sandra Beale, Sara Bernardini, Mary Ellen Foster, Christopher Frauenberger
Blending Human and Artificial Intelligence to Support Autistic Children's Social Communication Skills. ACM Trans. Comput. Hum. Interact. 25(6): 35:1-35:35 (2018) - 2017
- [j4]Sara Bernardini
Combining temporal planning with probabilistic reasoning for autonomous surveillance missions. Auton. Robots 41(1): 181-203 (2017) - [c19]Sara Bernardini, Maria Fox, Derek Long, Chiara Piacentini:
Deterministic versus Probabilistic Methods for Searching for an Evasive Target. AAAI 2017: 3709-3715 - [c18]Emre Göynügür, Sara Bernardini
Policy Conflict Resolution in IoT via Planning. Canadian AI 2017: 169-175 - [c17]Sara Bernardini, Maria Fox, Derek Long, Chiara Piacentini:
Boosting Search Guidance in Problems with Semantic Attachments. ICAPS 2017: 29-37 - [i1]Sara Bernardini, Fabio Fagnani, David E. Smith:
Extracting Lifted Mutual Exclusion Invariants from Temporal Planning Domains. CoRR abs/1702.01886 (2017) - 2016
- [c16]Sara Bernardini, Maria Fox, Derek Long, Chiara Piacentini:
Leveraging Probabilistic Reasoning in Deterministic Planning for Large-Scale Autonomous Search-and-Tracking. ICAPS 2016: 47-55 - 2015
- [j3]Kaska Porayska-Pomsta, Christopher Frauenberger
Erratum to: Developing technology for autism: an interdisciplinary approach. Pers. Ubiquitous Comput. 19(5-6): 983 (2015) - 2014
- [j2]Sara Bernardini
ECHOES: An intelligent serious game for fostering social communication in children with autism. Inf. Sci. 264: 41-60 (2014) - [c15]Sara Bernardini, Maria Fox, Derek Long:
Planning the Behaviour of Low-Cost Quadcopters for Surveillance Missions. ICAPS 2014 - [c14]Elizabeth Black
Automated Planning of Simple Persuasion Dialogues. CLIMA 2014: 87-104 - 2013
- [c13]Kaska Porayska-Pomsta, Keith Anderson, Sara Bernardini
Building an Intelligent, Authorable Serious Game for Autistic Children and Their Carers. Advances in Computer Entertainment 2013: 456-475 - [c12]Keith Anderson, Elisabeth André, Tobias Baur
The TARDIS Framework: Intelligent Virtual Agents for Social Coaching in Job Interviews. Advances in Computer Entertainment 2013: 476-491 - [c11]Sara Bernardini, Kaska Porayska-Pomsta, Harini Sampath:
Designing an Intelligent Virtual Agent for Social Communication in Autism. AIIDE 2013 - [c10]Sara Bernardini, Maria Fox, Derek Long, John Bookless:
Autonomous Search and Tracking via Temporal Planning. ICAPS 2013 - [c9]Sara Bernardini, Kaska Porayska-Pomsta:
Planning-Based Social Partners for Children with Autism. ICAPS 2013 - [c8]Kaska Porayska-Pomsta, Keith Anderson, Ionut Damian, Tobias Baur
Modelling Users' Affect in Job Interviews: Technological Demo. UMAP 2013: 353-355 - 2012
- [j1]Kaska Porayska-Pomsta, Christopher Frauenberger
Developing technology for autism: an interdisciplinary approach. Pers. Ubiquitous Comput. 16(2): 117-127 (2012) - [c7]Sara Bernardini, Kaska Porayska-Pomsta, Tim J. Smith, Katerina Avramides:
Building Autonomous Social Partners for Autistic Children. IVA 2012: 46-52 - 2011
- [c6]Alyssa Alcorn
Social Communication between Virtual Characters and Children with Autism. AIED 2011: 7-14 - [c5]Sara Bernardini, David E. Smith:
Automatic Synthesis of Temporal Invariants. SARA 2011 - 2010
- [c4]Mary Ellen Foster
Supporting children's social communication skills through interactive narratives with virtual characters. ACM Multimedia 2010: 1111-1114
2000 – 2009
- 2006
- [c3]Pascal Aschwanden, Vijay Baskaran, Sara Bernardini, Chuck Fry, Maria Moreno, Nicola Muscettola, Chris Plaunt, David Rijsman, Paul Tompkins:
Model-Unified Planning and Execution for Distributed Autonomous System Control. AAAI Fall Symposium: Spacecraft Autonomy 2006: 1-10 - 2004
- [c2]Marco Benedetti, Sara Bernardini:
Incremental Compilation-to-SAT Procedures. SAT 2004 - [c1]Marco Benedetti, Sara Bernardini:
Incremental Compilation-to-SAT Procedures. SAT (Selected Papers 2004: 46-58
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: