English
Related papers

Related papers: PyGemini: Unified Software Development towards Mar…

200 papers

This paper addresses the trajectory planning for multiple autonomous underwater vehicles (AUVs) in strong waves that can disturb the AUVs' trajectory tracking ability and cause obstacle and inter-vehicle collisions. A novel approach based…

Systems and Control · Electrical Eng. & Systems 2020-11-30 Shuhao Zhang , Yujia Yang , Seth Siriya , Ye Pu

There is a growing need for computational tools to automatically design and verify autonomous systems, especially complex robotic systems involving perception, planning, control, and hardware in the autonomy stack. Differentiable…

Robotics · Computer Science 2022-04-26 Charles Dawson , Chuchu Fan

This paper introduces a GenAI-empowered approach to automated development of automotive software, with emphasis on autonomous and Advanced Driver Assistance Systems (ADAS) capabilities. The process starts with requirements as input, while…

Software Engineering · Computer Science 2025-07-25 Nenad Petrovic , Fengjunjie Pan , Vahid Zolfaghari , Krzysztof Lebioda , Andre Schamschurko , Alois Knoll

Large-scale system development companies are increasingly adopting agile methods. While this adoption may improve lead-times, such companies need to balance two trade-offs: (i) the need to have a uniform, consistent development method on…

Software Engineering · Computer Science 2020-05-13 Rashidah Kasauli , Rebekka Wohlrab , Eric Knauss , Jan-Philipp Steghöfer , Jennifer Horkoff , Salome Maro

Autonomous driving is a highly anticipated approach toward eliminating roadway fatalities. At the same time, the bar for safety is both high and costly to verify. This work considers the role of remotely-located human operators supervising…

Systems and Control · Electrical Eng. & Systems 2024-09-17 Cameron Hickert , Zhongxia Yan , Cathy Wu

We introduce a launch device, called the remotely-enabled modular release mechanism, to augment rapid testing and prototyping of cooperative autonomy maritime applications by facilitating autonomous deployment of an autonomous underwater…

This paper presents UniPilot, a compact hardware-software autonomy payload that can be integrated across diverse robot embodiments to enable autonomous operation in GPS-denied environments. The system integrates a multi-modal sensing suite…

Maritime Multi-Scene Recognition is crucial for enhancing the capabilities of intelligent marine robotics, particularly in applications such as marine conservation, environmental monitoring, and disaster response. However, this task…

Computer Vision and Pattern Recognition · Computer Science 2025-03-11 Xinyu Xi , Hua Yang , Shentai Zhang , Yijie Liu , Sijin Sun , Xiuju Fu

Maintaining robust 3D perception under dynamic and unpredictable test-time conditions remains a critical challenge for autonomous driving systems. Existing test-time adaptation (TTA) methods often fail in high-variance tasks like 3D object…

Computer Vision and Pattern Recognition · Computer Science 2025-05-23 Huitong Yang , Zhuoxiao Chen , Fengyi Zhang , Zi Huang , Yadan Luo

Autonomous vehicle safety is crucial for the successful deployment of self-driving cars. However, most existing planning methods rely heavily on imitation learning, which limits their ability to leverage collision data effectively.…

Robotics · Computer Science 2025-03-07 Zi Wang , Shiyi Lan , Xinglong Sun , Nadine Chang , Zhenxin Li , Zhiding Yu , Jose M. Alvarez

We introduce Goal-Conditioned Visual Navigation Instruction Generation (GoViG), a new task that aims to generate contextually coherent navigation instructions solely from egocentric visual observations of initial and goal states. Unlike…

Computer Vision and Pattern Recognition · Computer Science 2026-04-30 Fengyi Wu , Yifei Dong , Yilong Dai , Guangyu Chen , Qifeng Wu , Huiting Huang , Hang Wang , Qi Dai , Alexander G. Hauptmann , Zhi-Qi Cheng

Maintaining an acceptable level of quality of service in modern complex systems is challenging, particularly in the presence of various forms of uncertainty caused by changing execution context, unpredicted events, etc. Although…

Software Engineering · Computer Science 2020-12-04 Fatma Kachi , Chafia Bouanaka , Souheir Merkouche

Quadrotors hold significant promise for several applications such as agriculture, search and rescue, and infrastructure inspection. Achieving autonomous operation requires systems to navigate safely through complex and unfamiliar…

Robotics · Computer Science 2025-10-07 Jeffrey Mao , Raghuram Cauligi Srinivas , Steven Nogar , Giuseppe Loianno

Safe autonomous navigation is an essential and challenging problem for robots operating in highly unstructured or completely unknown environments. Under these conditions, not only robotic systems must deal with limited localisation…

Robotics · Computer Science 2020-05-27 Èric Pairet , Juan David Hernández , Marc Carreras , Yvan Petillot , Morteza Lahijanian

Unmanned Surface Vehicles technology (USVs) is an exciting topic that essentially deploys an algorithm to safely and efficiently performs a mission. Although reinforcement learning is a well-known approach to modeling such a task,…

Machine Learning · Computer Science 2020-03-24 Mohammad Etemad , Nader Zare , Mahtab Sarvmaili , Amilcar Soares , Bruno Brandoli Machado , Stan Matwin

Safely interacting with humans is a significant challenge for autonomous driving. The performance of this interaction depends on machine learning-based modules of an autopilot, such as perception, behavior prediction, and planning. These…

Artificial Intelligence · Computer Science 2020-12-01 Jay Shenoy , Edward Kim , Xiangyu Yue , Taesung Park , Daniel Fremont , Alberto Sangiovanni-Vincentelli , Sanjit Seshia

Virtual scenario-based testing methods to validate autonomous driving systems are predominantly centred around collision avoidance, and lack a comprehensive approach to evaluate optimal driving behaviour holistically. Furthermore, current…

Robotics · Computer Science 2024-08-01 Kethan Reddy , Elias Nassif , Panagiotis Angeloudis , Mohammed Quddus , Washington Ochieng

Autonomous underwater vehicles (AUV) have become the de facto vehicle for remote operations involving oceanography, inspection, and monitoring tasks. These vehicles operate in different and often challenging environments; hence, the design…

Systems and Control · Electrical Eng. & Systems 2024-12-24 Rajini Makam , Pruthviraj Mane , Suresh Sundaram , P. B. Sujit

Automating GUI tasks remains challenging due to reliance on textual representations, platform-specific action spaces, and limited reasoning capabilities. We introduce Aguvis, a unified vision-based framework for autonomous GUI agents that…

Computation and Language · Computer Science 2025-05-06 Yiheng Xu , Zekun Wang , Junli Wang , Dunjie Lu , Tianbao Xie , Amrita Saha , Doyen Sahoo , Tao Yu , Caiming Xiong

Frontier artificial intelligence (AI) systems present both benefits and risks to society. Safety cases - structured arguments supported by evidence - are one way to help ensure the safe development and deployment of these systems. Yet the…

Computers and Society · Computer Science 2024-12-24 Carmen Cârlan , Francesca Gomez , Yohan Mathew , Ketana Krishna , René King , Peter Gebauer , Ben R. Smith