Develops a method to simulate rare dangerous events in autonomous systems.
problem Rare dangerous events in safety-critical systems are hard to test in real-world settings.
method Combines exploration, exploitation, and optimization techniques for rare-event simulation.
result Provides rigorous guarantees for the performance of the method.
VerifAI toolkit improves neural network-based aircraft taxiing system safety.
problem Improving safety of autonomous aircraft taxiing systems using neural networks.
method Unified approach to formal analysis and retraining of AI systems, including falsification, debugging, and retraining.
result Improved neural network performance and reduced failure cases in aircraft taxiing system.
nuScenes dataset includes multimodal sensor data for autonomous vehicle training.
problem Training robust detection and tracking methods for autonomous vehicles.
method Presented the first multimodal dataset with 6 cameras, 5 radars, and 1 lidar, 360-degree field of view.
result 7x more annotations and 100x more images than KITTI dataset.
This paper improves auditing of autonomous data analyses by distinguishing errors from normal variation.
problem Distinguishing errors from normal variation in autonomous data analyses.
method The paper introduces a method to audit autonomous data analyses by comparing them to a sequence of sound analyses, quantifying how errors spread and controlling the rate of false positives.
result The method can control the rate of false positives and establish a limit on what errors can be attributed.
This paper optimizes autonomous vehicle controllers using data-driven methods.
problem Designing robust controllers for autonomous vehicles that handle external and internal disturbances.
method Data-driven approach using principal component analysis and time delay neural networks.
result Improved controller performance through a feed-forward compensator.
New framework captures non-autonomous IFS limit set topology.
problem Understanding topological properties of non-autonomous IFS limit sets.
method Homological framework applied to fractal square.
result Provides insights into fractal topology, answering Mandelbrot's percolation problem.
TinyML models detect RF and cyber threats in spacecraft with low latency.
problem Detecting cyber-RF threats in autonomous spacecraft with low latency.
method Analysis of classical models (RF, LR, SVM, MLP) for latency-accuracy trade-offs.
result Logistic Regression achieves microsecond-level inference with minimal accuracy loss.
Study learns dynamics of linear systems from multiple short trajectories.
problem Learning dynamics of autonomous linear systems from multiple short trajectories.
method Finite sample analysis for stable and unstable systems, adjusting trajectory length for marginally stable systems.
result Learning rate of O ( 1 N ) \mathcal{O}(\frac{1}{\sqrt{N}}) O ( N 1 ) for both stable and unstable systems. FunCLBM clusters time series data for autonomous driving validation.
problem Validation of autonomous driving systems using large amounts of data.
method FunCLBM model for co-clustering high-dimensional time series data.
result FunCLBM provides structured partition and clustering views of datasets.
Dual frame-rate system improves real-time perception for autonomous vehicles.
problem Conflicting requirement of safety and efficiency in real-time perception systems.
method Proposes a dual frame-rate system with a modulator stream for robust features and a prediction stream for transient signals.
result Consistent improvements across various backbone architectures and input resolutions.
Paper develops rules for autonomous driving using semantic memory.
problem Creating rules for autonomous driving systems.
method Uses real driving data and semantic memory for rule learning.
result Automatic rule learning for autonomous driving.
The study improves deep learning models for safer autonomous vehicles.
problem Robustness of deep neural network models in autonomous driving.
method Analyzes and proposes solutions for deep learning model robustness.
result Enhanced deep learning models for safer autonomous vehicles.
The autonomous norm on torus Hamiltonian diffeomorphisms is unbounded.
problem Understanding the unbounded nature of the autonomous norm on Hamiltonian diffeomorphisms of the torus.
method Constructing quasimorphisms and showing they are Calabi to prove the unboundedness of the autonomous norm.
result Explicit examples of Hamiltonian diffeomorphisms with arbitrarily large autonomous norm.
This work improves safety validation of autonomous vehicles by finding interpretable failures.
problem Finding interpretable failures of autonomous systems in simulation.
method Signal temporal logic expressions optimized for high likelihood and human interpretability.
result Our methodology finds more interpretable failures with higher likelihood compared to baseline approaches.
Proves rigidity of 3D partially hyperbolic systems via autonomous dynamics.
problem Rigidity of partially hyperbolic diffeomorphisms in 3D.
method Introducing autonomous dynamical systems to prove rigidity.
result Rigidity of partially hyperbolic diffeomorphisms on 3-manifolds.
AI-Trader benchmarks LLMs in live financial markets, revealing poor trading performance.
problem Challenges in real-time financial decision-making by autonomous agents.
method Fully automated, live evaluation benchmark with minimal human intervention.
result General intelligence does not translate to effective trading, highlighting limitations.
The paper proposes a method to learn from both simulation and real-world data.
problem Training autonomous systems in simulation and applying them to real-world environments.
method Balancing samples from simulation and real-world data using a replay buffer.
result The method achieves better performance in real-world tasks compared to training only in simulation.
The paper reviews machine learning safety techniques for autonomous vehicles.
problem Challenges in machine learning safety for autonomous vehicles.
method Organizes practical safety techniques to complement engineering safety.
result Enhances dependability and safety of machine learning algorithms in autonomous vehicles.
UAIL uses uncertainty estimation to improve control systems in safety-critical tasks.
problem Improving control systems in safety-critical domains like autonomous driving.
method UAIL applies Monte Carlo Dropout to estimate uncertainty in control output and selectively acquire new training data.
result UAIL can reliably predict infractions and outperforms existing algorithms.
This paper improves parameter estimation for autonomous systems with unmodeled dynamics.
problem Accurate parameter estimation for risk-aware autonomous systems with unmodeled dynamics.
method Spectral lines-based approach for estimating parameters of dynamic models, allowing deterministic unmodeled dynamics.
result The proposed method leads to non-asymptotic bounds on parameter estimation error, robust to unmodeled dynamics, and matches existing literature in ideal conditions.
MC-pix2pix generates high-quality synthetic sonar data for ATR systems.
problem Generating realistic synthetic sonar data for ATR systems.
method Markov Conditional pix2pix (MC-pix2pix) method.
result MC-pix2pix-generated data is almost indistinguishable from real sonar data.
Generalizes energy-momentum method for non-autonomous Hamiltonian systems.
problem Stability analysis of non-autonomous Hamiltonian systems with symmetries.
method Develops a new approach to relative equilibrium points and stability conditions for non-autonomous systems.
result Conditions ensuring stability of relative equilibrium points in non-autonomous Hamiltonian systems.
This paper explores formal verification for autonomous systems, identifying limitations and proposing improvements.
problem Ensuring safety of autonomous systems like self-driving cars and drones.
method Formal verification techniques based on formal methods, analyzing three assumptions and their limitations.
result Preliminary work to improve the strength of evidence provided by formal verification.
We enhance autonomous materials research with problem-aware models.
problem Complex decision-making in autonomous materials.
method Bayesian framework, machine learning, physics-based models, operational considerations.
result Improved models reflect problem-specific structure.
The paper explores new risk models for autonomous driving.
problem Risk management and actuarial modeling for autonomous vehicles.
method Examines technical difficulties and proposes a novel risk model.
result The new model better reflects real-world driving safety.
Paper improves autonomous vehicle safety and efficiency with new reinforcement learning methods.
problem Improving robustness and safety in autonomous vehicle control.
method Developed and compared two algorithms: Robust Adversarial Reinforcement Learning and Neural Fictitious Self Play.
result The new algorithms lead to improved driving efficiency and reduced collision rates.
AVs learn from past experiences to improve future performance.
problem Challenging situations and unknown experiences for AVs.
method Transfer Learning and Organic Computing.
result Online Transfer Learning helps update knowledge as tasks evolve.
GOL uses semi-parametric approach to learn from single examples in autonomous driving.
problem Training deep neural networks for autonomous driving requires manual annotation.
method Generative One-Shot Learning (GOL) framework that learns from single examples and regularization samples.
result Generative One-Shot Learning (GOL) generates synthetic data as Pareto optimal solutions.
Paper proposes a method to improve autonomous vehicle performance using synthetically generated images.
problem Limited access to real-world datasets for autonomous vehicle training in countries with scarce data.
method Synthetically generated images to augment and train neural networks on small datasets.
result About 10% improvement in model performance observed.
A method predicts driving intentions of human-driven vehicles for safer autonomous driving.
problem Predicting timely driving intentions of human-driven vehicles for autonomous vehicles in mixed traffic.
method A Hidden Markov Model (HMM) approach using continuous mobility features.
result HMMs trained with continuous mobility features improve prediction accuracy.
The study explores autonomous systems and their connections to contact geometry and Frobenius manifolds.
problem Understanding the connections between autonomous systems and geometric structures.
method Investigation of the Darboux-Halphen-Ramanujan system, contact geometry, and Frobenius manifolds.
result Highlighting the role of contact geometry in autonomous systems.
Adaptive framework generates challenging adversarial scenarios for autonomous vehicles.
problem Lack of efficient and adaptable evaluation methods for autonomous vehicles.
method Adaptive evaluation framework using ensemble models and nonparametric Bayesian clustering.
result Adversarial scenarios significantly degrade tested autonomous vehicles' performance.
Improved AST method finds more useful failure scenarios for autonomous vehicles.
problem Finding useful failure scenarios for autonomous vehicle validation is challenging.
method Adaptive Stress Testing with reward augmentation, modified to encode domain information.
result The modified AST method discovers a larger and more expressive subset of failure scenarios.
Deep RL framework teaches cars to drive autonomously.
problem Difficult to apply reinforcement learning to autonomous driving.
method Deep reinforcement learning with Recurrent Neural Networks and attention models.
result Framework successfully learned autonomous maneuvers in complex scenarios.
WiseMove framework for safe deep RL in autonomous driving.
problem Ensuring safety in deep reinforcement learning for autonomous driving.
method Modular learning architecture for motion planning.
result Demonstrated on a common traffic scenario, WiseMove supports safe learning.
Safe RL for autonomous vehicles using PCPO with trust regions and parallel learners.
problem Unexplainable behaviours and lack of safety guarantees in RL for real vehicles.
method PCPO framework with trust regions and parallel learners.
result Safe learning confirmed for autonomous vehicles with fast convergence.
Safe reinforcement learning for autonomous vehicles using prediction constraints.
problem Safe reinforcement learning for safety-critical applications like autonomous vehicles.
method Use prediction to constrain exploration in reinforcement learning models.
result Successfully learned intersection handling behaviors on an autonomous vehicle.
A new model validation framework for agentic AI systems based on POMDPs.
problem Model validation of agentic AI systems.
method A POMDP-based framework for belief-state, forecast, and policy validation.
result The framework decomposes autonomous decision making into information, beliefs, forecasts, actions, and utility.
ApolloRL offers a platform for RL research in autonomous driving.
problem Improving reinforcement learning for autonomous driving.
method Open platform with training, simulation, and evaluation components.
result Baseline agents perform well in the ApolloRL environment.
Optimal control paths for autonomous vehicles infer velocity fields.
problem Inferring velocity fields from moving vehicles.
method Locally optimal control algorithm using variance trace of posterior distribution.
result Results for linear flows near hyperbolic fixed points.
A machine learning environment for detecting autonomous vehicle corner cases.
problem Testing autonomous driving software in the real world is difficult.
method Connecting CARLA simulation software to TensorFlow and custom AI client software.
result The system can identify situations where AI software fails to understand the scenario.
Adversarial objects can fool LiDAR-based autonomous driving systems.
problem Vulnerability of LiDAR-based autonomous driving systems to adversarial attacks.
method Optimization-based approach LiDAR-Adv to generate adversarial objects.
result LiDAR-based autonomous driving systems are vulnerable to adversarial attacks.
New approach uses dynamic programming to efficiently discover failures in autonomous vehicle simulations.
problem Efficiently discovering rare failure events in autonomous vehicle simulations.
method Approximate dynamic programming and scene decomposition to estimate failure distribution.
result Increased number of failures discovered compared to baseline approaches.
Deep RL for multi-agent autonomous driving in dynamic environments.
problem Adapting to dynamic, multi-agent driving environments.
method Formulated Partially Observable Markov Games (POSG) for multi-agent learning.
result Demonstrated successful training of multi-agent control policies.
This paper addresses challenges in designing datasets for autonomous driving.
problem Lack of robust datasets suitable for industrial deployment.
method Identifies common issues and steps to avoid them.
result Encourages better formalization of dataset design in the scientific community.
Real-time semantic segmentation for autonomous vehicles on FPGA reduces latency and power consumption.
problem Efficient real-time semantic segmentation for autonomous vehicles.
method Compressed ENet architecture, FPGA deployment, batch processing, filter reduction, quantization-aware training.
result Reduced latency to 3 ms per image with batch size of ten and 40% resource utilization.
This research predicts vehicle movements by analyzing their intentions relative to road lanes.
problem Accurately forecasting vehicles' future movements for safe autonomous driving.
method LSTM networks with attention mechanisms applied to spatio-temporal graphs of road lanes.
result The model outperforms other state-of-the-art models in several metrics.
This paper aims to promote real-world use of DRL in autonomous driving.
problem Challenges in deploying DRL in real-world autonomous driving systems.
method Overview of AD tasks, RL algorithms, and DRL applications; discussion of deployment challenges.
result Challenges to real-world deployment of DRL in AD systems.