Software Engineering for Self-Adaptive Robotics: A Research Agenda
Fuente:
arXiv
Salvato in:
| Autori principali: | Sartaj, Hassan, Ali, Shaukat, Cavalcanti, Ana, Esterle, Lukas, Gomes, Cláudio, Larsen, Peter Gorm, Tefas, Anastasios, Woodcock, Jim, Zhang, Houxiang |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
Identifying Uncertainty in Self-Adaptive Robotics with Large Language Models
di: Sartaj, Hassan, et al.
Pubblicazione: (2025)
di: Sartaj, Hassan, et al.
Pubblicazione: (2025)
Human-in-the-Loop Uncertainty Analysis in Self-Adaptive Robots Using LLMs
di: Sartaj, Hassan, et al.
Pubblicazione: (2026)
di: Sartaj, Hassan, et al.
Pubblicazione: (2026)
Out of Distribution Detection in Self-adaptive Robots with AI-powered Digital Twins
di: Isaku, Erblin, et al.
Pubblicazione: (2025)
di: Isaku, Erblin, et al.
Pubblicazione: (2025)
Search-based Robustness Testing of Laptop Refurbishing Robotic Software
di: Isaku, Erblin, et al.
Pubblicazione: (2026)
di: Isaku, Erblin, et al.
Pubblicazione: (2026)
Digital Twin-based Out-of-Distribution Detection in Autonomous Vessels
di: Isaku, Erblin, et al.
Pubblicazione: (2025)
di: Isaku, Erblin, et al.
Pubblicazione: (2025)
Search-Based Software Engineering and AI Foundation Models: Current Landscape and Future Roadmap
di: Sartaj, Hassan, et al.
Pubblicazione: (2025)
di: Sartaj, Hassan, et al.
Pubblicazione: (2025)
Assessing Vision-Language Models for Perception in Autonomous Underwater Robotic Software
di: Yousaf, Muhammad, et al.
Pubblicazione: (2026)
di: Yousaf, Muhammad, et al.
Pubblicazione: (2026)
Software Engineering for Robotics: Future Research Directions; Report from the 2023 Workshop on Software Engineering for Robotics
di: Goues, Claire Le, et al.
Pubblicazione: (2024)
di: Goues, Claire Le, et al.
Pubblicazione: (2024)
Metamorphic Testing of Vision-Language Action-Enabled Robots
di: Valle, Pablo, et al.
Pubblicazione: (2026)
di: Valle, Pablo, et al.
Pubblicazione: (2026)
Foundation Models for Software Engineering of Cyber-Physical Systems: the Road Ahead
di: Lu, Chengjie, et al.
Pubblicazione: (2025)
di: Lu, Chengjie, et al.
Pubblicazione: (2025)
UAMTERS: Uncertainty-Aware Mutation Analysis for DL-enabled Robotic Software
di: Lu, Chengjie, et al.
Pubblicazione: (2026)
di: Lu, Chengjie, et al.
Pubblicazione: (2026)
Evaluating Uncertainty and Quality of Visual Language Action-enabled Robots
di: Valle, Pablo, et al.
Pubblicazione: (2025)
di: Valle, Pablo, et al.
Pubblicazione: (2025)
REST API Testing in DevOps: A Study on an Evolving Healthcare IoT Application
di: Sartaj, Hassan, et al.
Pubblicazione: (2024)
di: Sartaj, Hassan, et al.
Pubblicazione: (2024)
Uncertainty-Aware Environment Simulation of Medical Devices Digital Twins
di: Sartaj, Hassan, et al.
Pubblicazione: (2024)
di: Sartaj, Hassan, et al.
Pubblicazione: (2024)
Vision Language Model-based Testing of Industrial Autonomous Mobile Robots
di: Wu, Jiahui, et al.
Pubblicazione: (2025)
di: Wu, Jiahui, et al.
Pubblicazione: (2025)
VISOR: A Vision-Language Model-based Test Oracle for Testing Robots
di: Saurabh, Prasun, et al.
Pubblicazione: (2026)
di: Saurabh, Prasun, et al.
Pubblicazione: (2026)
Model-based Digital Twins of Medicine Dispensers for Healthcare IoT Applications
di: Sartaj, Hassan, et al.
Pubblicazione: (2023)
di: Sartaj, Hassan, et al.
Pubblicazione: (2023)
Model‐based digital twins of medicine dispensers for healthcare IoT applications
di: Hassan Sartaj, et al.
Pubblicazione: (2024)
di: Hassan Sartaj, et al.
Pubblicazione: (2024)
HITA: An Architecture for System-level Testing of Healthcare IoT Applications
di: Sartaj, Hassan, et al.
Pubblicazione: (2023)
di: Sartaj, Hassan, et al.
Pubblicazione: (2023)
Probabilistic modelling and safety assurance of an agriculture robot providing light-treatment
di: Adam, Mustafa, et al.
Pubblicazione: (2025)
di: Adam, Mustafa, et al.
Pubblicazione: (2025)
Automated System-level Testing of Unmanned Aerial Systems
di: Sartaj, Hassan, et al.
Pubblicazione: (2024)
di: Sartaj, Hassan, et al.
Pubblicazione: (2024)
MeDeT: Medical Device Digital Twins Creation with Few-shot Meta-learning
di: Sartaj, Hassan, et al.
Pubblicazione: (2024)
di: Sartaj, Hassan, et al.
Pubblicazione: (2024)
Software Reconfiguration in Robotics
di: Peldszus, Sven, et al.
Pubblicazione: (2023)
di: Peldszus, Sven, et al.
Pubblicazione: (2023)
Reusability and Modifiability in Robotics Software (Extended Version)
di: Pomponio, Laura, et al.
Pubblicazione: (2024)
di: Pomponio, Laura, et al.
Pubblicazione: (2024)
Reinforcement Learning for Testing Interdependent Requirements in Autonomous Vehicles: An Empirical Study
di: Wu, Jiahui, et al.
Pubblicazione: (2025)
di: Wu, Jiahui, et al.
Pubblicazione: (2025)
Pixi: Unified Software Development and Distribution for Robotics and AI
di: Fischer, Tobias, et al.
Pubblicazione: (2025)
di: Fischer, Tobias, et al.
Pubblicazione: (2025)
Before Autonomy Takes Control: Software Testing in Robotics
di: Chur, Nils, et al.
Pubblicazione: (2026)
di: Chur, Nils, et al.
Pubblicazione: (2026)
Quantum Artificial Intelligence for Software Engineering: the Road Ahead
di: Wang, Xinyi, et al.
Pubblicazione: (2025)
di: Wang, Xinyi, et al.
Pubblicazione: (2025)
Envisioning Responsible Quantum Software Engineering and Quantum Artificial Intelligence
di: Bano, Muneera, et al.
Pubblicazione: (2024)
di: Bano, Muneera, et al.
Pubblicazione: (2024)
Beyond the Control Equations: An Artifact Study of Implementation Quality in Robot Control Software
di: Chur, Nils, et al.
Pubblicazione: (2026)
di: Chur, Nils, et al.
Pubblicazione: (2026)
Formal Evidence Generation for Assurance Cases for Robotic Software Models
di: Yan, Fang, et al.
Pubblicazione: (2026)
di: Yan, Fang, et al.
Pubblicazione: (2026)
Formal Modelling and Analysis of a Self-Adaptive Robotic System
di: Päßler, Juliane, et al.
Pubblicazione: (2023)
di: Päßler, Juliane, et al.
Pubblicazione: (2023)
Assessing Quantum Extreme Learning Machines for Software Testing in Practice
di: Muqeet, Asmar, et al.
Pubblicazione: (2024)
di: Muqeet, Asmar, et al.
Pubblicazione: (2024)
AWML: An Open-Source ML-based Robotics Perception Framework to Deploy for ROS-based Autonomous Driving Software
di: Tanaka, Satoshi, et al.
Pubblicazione: (2025)
di: Tanaka, Satoshi, et al.
Pubblicazione: (2025)
LLM-Assisted Empirical Software Engineering: Systematic Literature Review and Research Agenda
di: Gomes, Victoria, et al.
Pubblicazione: (2026)
di: Gomes, Victoria, et al.
Pubblicazione: (2026)
LLMs in the Heart of Differential Testing: A Case Study on a Medical Rule Engine
di: Isaku, Erblin, et al.
Pubblicazione: (2024)
di: Isaku, Erblin, et al.
Pubblicazione: (2024)
Bridging Research and Practice in Simulation-based Testing of Industrial Robot Navigation Systems
di: Khatiri, Sajad, et al.
Pubblicazione: (2025)
di: Khatiri, Sajad, et al.
Pubblicazione: (2025)
Towards Operation Proof Obligation Generation for VDM
di: Battle, Nick, et al.
Pubblicazione: (2025)
di: Battle, Nick, et al.
Pubblicazione: (2025)
Exploring Robot Trajectory Planning -- A Comparative Analysis of Algorithms And Software Implementations in Dynamic Environments
di: Bora, Arunabh
Pubblicazione: (2024)
di: Bora, Arunabh
Pubblicazione: (2024)
RVDebloater: Mode-based Adaptive Firmware Debloating for Robotic Vehicles
di: Salehi, Mohsen, et al.
Pubblicazione: (2026)
di: Salehi, Mohsen, et al.
Pubblicazione: (2026)
Documenti analoghi
-
Identifying Uncertainty in Self-Adaptive Robotics with Large Language Models
di: Sartaj, Hassan, et al.
Pubblicazione: (2025) -
Human-in-the-Loop Uncertainty Analysis in Self-Adaptive Robots Using LLMs
di: Sartaj, Hassan, et al.
Pubblicazione: (2026) -
Out of Distribution Detection in Self-adaptive Robots with AI-powered Digital Twins
di: Isaku, Erblin, et al.
Pubblicazione: (2025) -
Search-based Robustness Testing of Laptop Refurbishing Robotic Software
di: Isaku, Erblin, et al.
Pubblicazione: (2026) -
Digital Twin-based Out-of-Distribution Detection in Autonomous Vessels
di: Isaku, Erblin, et al.
Pubblicazione: (2025)