New techniques enhance the verification of deep neural networks for safer applications.
― 7 min read
Cutting edge science explained simply
New techniques enhance the verification of deep neural networks for safer applications.
― 7 min read
This article examines how neutron radiation alters zirconium alloy properties critical for nuclear reactors.
― 4 min read
MARVeLus bridges verification and implementation for safer cyber-physical systems.
― 7 min read
Research on deuteron interactions with molybdenum is essential for nuclear energy safety.
― 5 min read
Introducing a method for robots to navigate safely without detailed maps.
― 5 min read
A tool to verify the safety of deep learning models.
― 5 min read
Introducing a method for robots to navigate safely using control density functions.
― 5 min read
Using machine learning to improve electric vehicle battery enclosures for safety and efficiency.
― 5 min read
A new model enhances battery predictions for safe eVTOL aircraft operation.
― 7 min read
CERN upgrades beam stoppers to boost safety and efficiency for high-energy particle beams.
― 6 min read
Research focuses on making neural network control systems reliable and safe.
― 6 min read
This study examines how passenger brain activity can improve safety in automated vehicles.
― 6 min read
Combining learning and planning improves robot safety and efficiency in complex tasks.
― 6 min read
New error bounds improve GPR's reliability in safety-sensitive fields.
― 6 min read
A new method ensures stability in neural network controllers for critical applications.
― 5 min read
A method to assess what states stochastic systems can reach over time.
― 5 min read
A new method enhances event-triggered control for better resource efficiency.
― 7 min read
A novel method enhances robot safety using visual data without complete information.
― 5 min read
Explore Mean-Field Control Barrier Functions for safer swarm management.
― 5 min read
Introducing a safety filtering framework for effective boundary control in dynamic systems.
― 8 min read
Learn how ZOCBFs help robots and self-driving cars avoid dangers.
― 7 min read
Discover how Rectified Control Barrier Functions enhance safety in complex control systems.
― 6 min read
Learn how predictive control enhances robot safety in complex environments.
― 7 min read
Discover advanced methods to keep robots safe in unpredictable environments.
― 6 min read