English
Related papers

Related papers: Quantitative Projection Coverage for Testing ML-en…

200 papers

Formalisms inspired by Quantum theory have been used in Cognitive Science for decades. Indeed, Quantum-Like (QL) approaches provide descriptive features that are inherently suitable for perception, cognition, and decision processing. A…

Robotics · Computer Science 2021-07-07 Davide Lanza , Paolo Solinas , Fulvio Mastrogiovanni

Traditional conformal prediction methods construct prediction sets such that the true label falls within the set with a user-specified coverage level. However, poorly chosen coverage levels can result in uninformative predictions, either…

Machine Learning · Statistics 2026-04-03 Etienne Gauthier , Francis Bach , Michael I. Jordan

Precise and comprehensive situational awareness is a critical capability of modern autonomous systems. Deep neural networks that perceive task-critical details from rich sensory signals have become ubiquitous; however, their black-box…

Systems and Control · Electrical Eng. & Systems 2025-08-21 Jordan Peper , Yan Miao , Sayan Mitra , Ivan Ruchkin

The generation of corner cases has become increasingly crucial for efficiently testing autonomous vehicles prior to road deployment. However, existing methods struggle to accommodate diverse testing requirements and often lack the ability…

Robotics · Computer Science 2024-09-11 Qiujing Lu , Xuanhan Wang , Yiwei Jiang , Guangming Zhao , Mingyue Ma , Shuo Feng

Conditional density estimation is a general framework for solving various problems in machine learning. Among existing methods, non-parametric and/or kernel-based methods are often difficult to use on large datasets, while methods based on…

Machine Learning · Statistics 2018-06-06 Hiroaki Sasaki , Aapo Hyvärinen

Simulation-based testing is crucial for validating autonomous vehicles (AVs), yet existing scenario generation methods either overfit to common driving patterns or operate in an offline, non-interactive manner that fails to expose rare,…

Artificial Intelligence · Computer Science 2025-07-16 Yuewen Mei , Tong Nie , Jian Sun , Ye Tian

Round-based models are very common message-passing models; combinatorial topology applied to distributed computing provides sweeping results like general lower bounds. We combine both to study the computability of k-set agreement. Among all…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-06-15 Adam Shimi , Armando Castañeda

We consider learning with possibilistic supervision for multi-class classification. For each training instance, the supervision is a normalized possibility distribution that expresses graded plausibility over the classes. From this…

Artificial Intelligence · Computer Science 2026-04-03 Ismaïl Baaj , Pierre Marquis

Comprehensive perception of the vehicle's environment and correct interpretation of the environment are crucial for the safe operation of autonomous vehicles. The perception of surrounding objects is the main component for further tasks…

Computer Vision and Pattern Recognition · Computer Science 2025-12-17 Jörg Gamerdinger , Sven Teufel , Stephan Amann , Georg Volk , Oliver Bringmann

We consider the problem of certification of arbitrary ensembles of pure states and projective measurements solely from the experimental statistics in the prepare-and-measure scenario assuming the upper bound on the dimension of the Hilbert…

Quantum Physics · Physics 2021-04-07 Nikolai Miklin , Michał Oszmaniec

This dissertation studies the statistics and modeling of a quantum system probed by a coherent laser field. We focus on an ensemble of qubits dispersively coupled to a traveling wave light field. The first research topic explores the…

Quantum Physics · Physics 2013-01-29 Robert L. Cook

Given a set of directional visual sensors, the $k$-coverage problem determines the orientation of minimal directional sensors so that each target is covered at least $k$ times. As the problem is NP-complete, a number of heuristics have been…

Networking and Internet Architecture · Computer Science 2015-12-24 Md. Muntakim Sadik , Sakib Md. Bin Malek , Ashikur Rahman

Quantum metrology plays a fundamental role in many scientific areas. However, the complexity of engineering entangled probes and the external noise raise technological barriers for realizing the expected precision of the to-be-estimated…

Quantum Physics · Physics 2021-01-21 Xiaodong Yang , Xi Chen , Jun Li , Xinhua Peng , Raymond Laflamme

Coverage motion planning is essential to a wide range of robotic tasks. Unlike conventional motion planning problems, which reason over temporal sequences of states, coverage motion planning requires reasoning over the spatial distribution…

Robotics · Computer Science 2025-11-17 Max M. Sun , Jueun Kwon , Todd Murphey

Perception, localization, planning, and control, high-level functions often organized in a so-called pipeline, are amongst the core building blocks of modern autonomous (ground, air, and underwater) vehicle architectures. These functions…

Software Engineering · Computer Science 2023-01-24 Erfan Asaadi , Ewen Denney , Ganesh Pai

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

We present in this paper a model-based testing approach aiming at generating test cases from a UML/OCL model and a given test property. The property is expressed using a dedicated formalism based on patterns, and automatically translated…

Software Engineering · Computer Science 2014-03-31 Kalou Cabrera Castillos , Frédéric Dadeau , Jacques Julliand

Quantum Machine Learning (QML) integrates quantum computational principles into learning algorithms, offering improved representational capacity and computational efficiency. However, the security and robustness of QML systems remain…

Cryptography and Security · Computer Science 2026-05-25 Saeefa Rubaiyet Nowmi , Jesus Lopez , Md Mahmudul Alam Imon , Shahrooz Pouryousef , Mohammad Saidur Rahman

The development of software components for autonomous driving functions should always include an extensive and rigorous evaluation. Since real-world testing is expensive and safety-critical -- especially when facing dynamic racing scenarios…

Robotics · Computer Science 2020-06-18 Tim Stahl , Johannes Betz

Simultaneous estimation of multiple parameters in quantum metrological models is complicated by factors relating to the (i) existence of a single probe state allowing for optimal sensitivity for all parameters of interest, (ii) existence of…

Quantum Physics · Physics 2019-02-01 Sammy Ragy , Marcin Jarzyna , Rafal Demkowicz-Dobrzanski