Oct 2026· Zenodo (CERN European Organization for Nuclear Research)
Abstract
Neuro-symbolic Task and Motion Planning (TAMP) architectures anchor Large Language Model (LLM) reasoning within a Knowledge Graph (KG) K to eliminate plan-level hallucinations, but letting K evolve autonomously across missions risks contaminating it with confidently-wrong facts that both the planner and the perception stack will then trust. We formalize this problem and address it with a unified Autonomous Knowledge Update framework combining confidence-aware entity-attribute belief fusion, geolocated obstacle ingestion, and density-based emergence of Zones of Interest, all governed by the same hybrid syntactic-semantic Dempster-Shafer fusion rule so that contamination resistance is a property of the framework ratherthan of any single channel. We give a full algorithmic specification of its three update channels and a field evaluation over 8-mission made in a EU H2020 OLGA project context deployment that shows obstacle-driven mid-mission replanning triggers falling from 10 to 0 events, KG growth correlating with plan richness at r = 0.993, our fusion mechanism keeping contamination roughly an order of magnitude lower than a naive last-write-wins updater across tested observation error rates, and cross-checking the on-board recognition module against K raising its top-1 accuracy from 89.7% to 94.0% over the campaign.
The results are packaged in the Greenfield Startup Model (GSM), which explains the priority of startups to release the product as quickly as possible, and the need to shorten time-to-market, by speeding up the development through low-precision engineering activities.
Carmine Giardino, Nicolò Paternoster, M. Unterkalmsteiner et al.· IEEE Transactions on Softwar...· 178 citations· ⚡14
Software startup companies develop innovative, software-intensive products within limited timeframes and with few resources, searching for sustainable and scalable business models.
M. Unterkalmsteiner, P. Abrahamsson, Xiaofeng Wang et al.· e-Informatica Software Engin...· 157 citations· ⚡17
This study conducts a case survey study based on the secondary data of the major pivots happened in 49 software startups, and demonstrates that customer need pivot is the most common among all pivot types.
Sohaib Shahid Bajwa, Xiaofeng Wang, Anh Nguyen-Duc et al.· Empirical Software Engineeri...· 127 citations· ⚡15
The comparison of adopter and non-adopter sample reveals three potential adoption inhibitor, security, data privacy, and portability, which underlines the importance of the technical and security perspectives for research investigating the adoption of technology.
Nattakarn Phaphoom, Xiaofeng Wang, S. Samuel et al.· Journal of Systems and Softw...· 111 citations· ⚡8
The ongoing work building a Raspberry Pi cluster consisting of 300 nodes is presented, with potential use cases being an inexpensive and green test bed for cloud computing research and a robust and mobile data center for operating in adverse environments.
P. Abrahamsson, S. Helmer, Nattakarn Phaphoom et al.· IEEE International Conferenc...· 110 citations· ⚡7
The results indicate that software developers are a slightly happy population, but the need for limiting the unhappiness of developers remains, and 219 factors representing causes of unhappiness while developing software are identified.
D. Graziotin, Fabian Fagerholm, Xiaofeng Wang et al.· International Conference on...· 84 citations· ⚡6
Related blog posts
MIT News · Artificial Intelligence· news.mit.eduOct 8, 2026