English
Related papers

Related papers: ASTRA: Autonomous Spatial-Temporal Red-teaming for…

200 papers

AI-agents help developers in different coding tasks, such as developing new features, fixing bugs, and reviewing code. Developers can write a Github issue and assign it to an AI-agent like Copilot for implementation. Based on the issue and…

Software Engineering · Computer Science 2025-12-29 Mohammed Sayagh

For collaborative robots to become useful, end users who are not robotics experts must be able to instruct them to perform a variety of tasks. With this goal in mind, we developed a system for end-user creation of robust task plans with a…

Robotics · Computer Science 2016-11-21 Chris Paxton , Andrew Hundt , Felix Jonathan , Kelleher Guerin , Gregory D. Hager

The progress of artificial intelligence (AI) has made sophisticated methods available for cyberattacks and red team activities. These AI attacks can automate the process of penetrating a target or collecting sensitive data. The new methods…

Cryptography and Security · Computer Science 2025-03-26 Mays Al-Azzawi , Dung Doan , Tuomo Sipola , Jari Hautamäki , Tero Kokkonen

AI-powered development platforms are making software creation accessible to a broader audience, but this democratization has triggered a scalability crisis in security auditing. With studies showing that up to 40% of AI-generated code…

Cryptography and Security · Computer Science 2025-08-29 Isaac David , Arthur Gervais

This paper presents the design and validation of a retrieval-based assistant that supports safety assessment, certification activities, and regulatory compliance for unmanned aircraft systems. The work is motivated by the growing complexity…

Computation and Language · Computer Science 2026-03-12 Gabriele Immordino , Andrea Vaiuso , Marcello Righi

Graphs of developer networks are important for software engineering research and practice. For these graphs to realistically represent the networks, accurate developer identities are imperative. We aim to identify developer identity errors…

Software Engineering · Computer Science 2019-01-14 Sadika Amreen , Audris Mockus , Chris Bogart , Yuxia Zhang , Russell Zaretzki

Studying adversarial attacks on artificial intelligence (AI) systems helps discover model shortcomings, enabling the construction of a more robust system. Most existing adversarial attack methods only concentrate on single-task single-model…

Computer Vision and Pattern Recognition · Computer Science 2024-07-19 Qingyuan Zeng , Yunpeng Gong , Min Jiang

Cyber-physical systems (CPSes), such as autonomous vehicles, use sophisticated components like ML-based controllers. It is difficult to provide evidence about the safe functioning of such components. To overcome this problem, Runtime…

Logic in Computer Science · Computer Science 2023-04-25 Vivek Nigam , Carolyn Talcott

This paper presents Compliance Brain Assistant (CBA), a conversational, agentic AI assistant designed to boost the efficiency of daily compliance tasks for personnel in enterprise environments. To strike a good balance between response…

Developing high-stakes autonomous systems that include Artificial Intelligence (AI) components is complex; the consequences of errors can be catastrophic, yet it is challenging to plan for all operational cases. In stressful scenarios for…

Human-Computer Interaction · Computer Science 2025-12-04 Ben Larwood , Oliver J. Sutton , Callum Cockburn

Multimodal large language models (MLLMs) have shown impressive capabilities in vision-language tasks such as reasoning segmentation, where models generate segmentation masks based on textual queries. While prior work has primarily focused…

Virtual testing has emerged as an effective approach to accelerate the deployment of automated driving systems. Nevertheless, existing simulation toolchains encounter difficulties in integrating rapid, automated scenario generation with…

Robotics · Computer Science 2025-07-10 Dong Bi , Yongqi Zhao , Zhengguo Gu , Tomislav Mihalj , Jia Hu , Arno Eichberger

Offline reinforcement learning (RL) enables agents to learn optimal policies from pre-collected datasets. However, datasets containing suboptimal and fragmented trajectories present challenges for reward propagation, resulting in inaccurate…

Machine Learning · Computer Science 2025-12-17 Hang Yu , Di Zhang , Qiwei Du , Yanping Zhao , Hai Zhang , Guang Chen , Eduardo E. Veas , Junqiao Zhao

As modern web services increasingly rely on REST APIs, their thorough testing has become crucial. Furthermore, the advent of REST API documentation languages, such as the OpenAPI Specification, has led to the emergence of many black-box…

Software Engineering · Computer Science 2025-01-23 Myeongsoo Kim , Tyler Stennett , Saurabh Sinha , Alessandro Orso

Sleep staging is of great importance in the diagnosis and treatment of sleep disorders. Recently, numerous data-driven deep learning models have been proposed for automatic sleep staging. They mainly train the model on a large public…

Machine Learning · Computer Science 2022-07-07 Emadeldeen Eldele , Mohamed Ragab , Zhenghua Chen , Min Wu , Chee-Keong Kwoh , Xiaoli Li , Cuntai Guan

As generative AI (GAI) tools become increasingly integrated into workplace environments, it is essential to measure their impact on productivity across specific domains. This study evaluates the effects of Microsoft's Security Copilot…

General Economics · Economics 2024-11-13 James Bono , Alec Xu

AI Assurance -- producing the machine-readable evidence required to demonstrate compliance with AI governance frameworks -- has mature policy scaffolding but lacks the infrastructure to operationalize it. Organizations building high-risk AI…

The expansion of satellite constellations poses a significant challenge to optical ground-based astronomical observations, as satellite trails degrade observational data and compromise research quality. Addressing these challenges requires…

Instrumentation and Methods for Astrophysics · Physics 2024-12-18 F. Stoppa , P. J. Groot , R. Stuik , P. Vreeswijk , S. Bloemen , D. L. A. Pieterse , P. A. Woudt

Authorizing Large Language Model (LLM)-driven agents to dynamically invoke tools and access protected resources introduces significant security risks, and the risks grow dramatically as agents engage in multi-turn conversations and scale…

Artificial Intelligence · Computer Science 2026-05-05 Majed El Helou , Benjamin Ryder , Chiara Troiani , Jean Diaconu , Hervé Muyal , Marcelo Yannuzzi

Pioneers of autonomous vehicles (AVs) promised to revolutionize the driving experience and driving safety. However, milestones in AVs have materialized slower than forecast. Two culprits are (1) the lack of verifiability of proposed…

Robotics · Computer Science 2023-03-14 R. Spencer Hallyburton , Shucheng Zhang , Miroslav Pajic