The paper shows square roots of certain transformations can't exist on contact manifolds.
problem Existence of square roots of diffeomorphisms on contact manifolds.
method Proving the non-existence of square roots for arbitrary small contactomorphisms.
result There exist arbitrary small contactomorphisms without square roots.
Improved multi-step prediction of drivable space for autonomous vehicles.
problem Accurate prediction of drivable space for safer, more comfortable navigation.
method Recurrent Neural Network (RNN) architectures trained on KITTI dataset, incorporating motion features.
result Significant improvement in prediction accuracy over state-of-the-art methods.
Shapelet transform improves time series classification for earthquake, wind, and wave events.
problem Autonomous detection of specific events from large time series datasets in civil engineering.
method Shapelet transform for local similarity in time series subsequences, combined with machine learning.
result Shapelet transform yields a new feature representation for time series signals in civil engineering.
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.
Paper proposes a method to improve semantic segmentation for fisheye urban driving images.
problem Semantic segmentation for fisheye urban driving images is challenging due to distortion and lack of large datasets.
method A seven degrees of freedom augmentation method is proposed to transform rectilinear images into fisheye images.
result Training with seven-DoF augmentation improves model accuracy and robustness against distorted fisheye data.
Improved road segmentation on low-res LIDAR data for autonomous vehicles.
problem Low-resolution LIDAR data affects road segmentation accuracy in autonomous vehicles.
method Subsampled LIDAR data transformation into feature maps, use local normal vector with spherical coordinates.
result Improves road segmentation accuracy on low-resolution LIDAR data.
New origami structures adapt to over 100 shapes with minimal actuation.
problem Limited shape-morphing capabilities in metamaterials and robotics.
method Hierarchical origami based on polyhedrons, using simple actuation.
result Single structure adapts to over 103 configurations with few actuations.
This paper tackles security challenges in CAVs using ML, proposing defenses against adversarial attacks.
problem Security threats posed by adversarial machine learning in CAVs.
method An in-depth analysis of ML pipeline in CAVs, identifying security issues and proposing defenses.
result Proposes solutions to defend against adversarial attacks in CAVs.
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.
Graded Transformers embed algebraic structure in neural networks through graded transformations.
problem Efficiently modeling hierarchical and structured data in neural networks.
method Introduces Linearly Graded Transformer (LGT) and Exponentially Graded Transformer (EGT) with graded scaling operators.
result Establishes rigorous guarantees and improved efficiency for structured data.
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.
New integrable matrix PDEs derived from Frölicher-Nijenhuis brackets.
problem Developing integrable systems from tensor field properties.
method Using Frölicher-Nijenhuis brackets to generate bi-differential graded algebras and PDE systems.
result New integrable nonlinear matrix PDEs and systems are derived.
Doubly robust self-training improves semi-supervised learning by balancing labeled and pseudo-labeled data.
problem Improving semi-supervised learning performance with limited labeled data.
method Introduces doubly robust self-training, a method that combines labeled and pseudo-labeled data to balance between labeled-only and pseudo-labeled-only training.
result Demonstrates superior performance of doubly robust self-training on ImageNet and nuScenes datasets.
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.
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.
Transformers learn multi-step reasoning through gradient descent.
problem Understanding how transformers solve symbolic multi-step reasoning tasks.
method Theoretical analysis of gradient descent dynamics and multi-phase training.
result Trained one-layer transformers can solve both backward and forward reasoning tasks with generalization guarantees.
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.
This paper interpolates reward functions to predict optimal value functions in MORL.
problem Finding optimal value functions in MORL requires recomputing for each set of weights.
method Interpolating reward function weights to smooth value function transformations.
result Smooth interpolation of optimal value functions over reward function weights.
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.
High-frequency trading models fail due to overfitting and survivor bias.
problem Failure of hybrid DRL-EC trading systems in high-frequency environments.
method Deployed a population of 500 agents in a high-frequency cryptocurrency environment, analyzing failure modes through multi-disciplinary lens.
result Increasing model complexity without information asymmetry exacerbates systemic fragility.
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.
We prove that the autonomous norm on the group of Hamiltonian diffeomorphisms of the two-dimensional torus is unbounded. We provide explicit examples of Hamiltonian diffeomorphisms with arbitrarily large autonomous norm. For the proofs we construct quasimorphisms on Ham(T2) and some of them are Calabi.
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.
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.
Autonomous Vehicles(AV) are one of the brightest promises of the future which would help cut down fatalities and improve travel time while working in harmony. Autonomous vehicles will face with challenging situations and experiences not seen before. These experiences should be converted to knowledge and help the vehicl…
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.
This paper presents a novel approach for automatic rule learning applicable to an autonomous driving system using real driving data.
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.
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.
New framework for AI to learn causal models through experience.
problem Lack of guidance for variable choice and interventions in causal models for AI.
method Defines actions as state space transformations, introduces causal variables, and identifies interventions.
result Clarifies the concept of interventions and makes causal representation learning clearer.
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.
Transformer models can approximate smooth functions with prompts, enhancing LLMs' dynamic capabilities.
problem Lack of theoretical framework for prompt engineering in transformer models.
method Formal framework demonstrating transformer models can approximate β-times differentiable functions with prompts. result Transformer models can approximate β-times differentiable functions with arbitrary precision using appropriately structured prompts. 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.
Statistical learning relies upon data sampled from a distribution, and we usually do not care what actually generated it in the first place. From the point of view of causal modeling, the structure of each distribution is induced by physical mechanisms that give rise to dependences between observables. Mechanisms, howe…
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.
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.
Simple physical modifications can fool autonomous driving systems.
problem Vulnerability of autonomous driving models to adversarial attacks.
method Demonstrated end-to-end attacks on autonomous driving using simple physical modifications.
result Simple physical modifications can induce activation patterns similar to different scenarios used in training, fooling autonomous driving models.
Gemini uses inexpensive measurements to correct biases in expensive property evaluations.
problem Accurate estimation of materials properties using expensive measurements is hindered in scientific discovery campaigns.
method Gemini is a data-driven model that corrects systematic biases between property evaluation methods using inexpensive measurements.
result Gemini reduces the number of expensive evaluations needed for Bayesian optimization in materials discovery.