A program to teach model checking for reliable software development.
― 4 min read
Cutting edge science explained simply
A program to teach model checking for reliable software development.
― 4 min read
A new framework improves safety in self-driving cars through formal methods.
― 8 min read
A new framework improves safety for AI-controlled cyber-physical systems.
― 6 min read
Examining strategies to create AI systems that prioritize safety and minimize risk.
― 9 min read
Gemma Scope offers tools for better understanding language models and improving AI safety.
― 6 min read
Explore the role of Control Barrier Functions in maintaining safety across various systems.
― 6 min read
A new system enhances vehicle control in rough terrain using two methods.
― 5 min read
This study examines injuries resulting from robot-human interactions in industrial settings.
― 5 min read
A new approach to enhance how robots understand and respond to users.
― 7 min read
A novel approach streamlines control design while ensuring safety in nonlinear systems.
― 5 min read
CERN upgrades beam stoppers to boost safety and efficiency for high-energy particle beams.
― 6 min read
Clarifying operational limits ensures safety for self-driving cars.
― 5 min read
Caution-Aware Transfer enhances safety and performance in reinforcement learning applications.
― 6 min read
A novel approach to self-driving vehicles that prioritizes safety and comfort.
― 5 min read
A new method improves the safety verification of neural networks in critical systems.
― 5 min read
A guide to managing diverse objectives in decision processes using aspiration sets.
― 4 min read
A new approach streamlines safety and helpfulness in language model training.
― 9 min read
Researching new treatments through small experiments prioritizes patient safety.
― 5 min read
A comprehensive evaluation framework for healthcare chatbots is introduced to enhance their effectiveness.
― 6 min read
Examining the effects of updates on safety, bias, and authenticity in image generation.
― 6 min read
A novel approach improves drifting safety for self-driving cars using physics.
― 6 min read
A novel approach to optimize points-to analysis, balancing speed and accuracy.
― 7 min read
Discussing the benefits of sharing AV testing data for public safety.
― 7 min read
New error bounds improve GPR's reliability in safety-sensitive fields.
― 6 min read
A new machine learning method prioritizes safety in autonomous systems.
― 6 min read
New method improves safety and performance in autonomous technologies.
― 5 min read
Examining how liability and insurance can mitigate AI risks.
― 5 min read
A new system improves communication between humans and robots in various fields.
― 5 min read
Exploring safety and compliance in AI-driven healthcare technologies.
― 7 min read
Discover how robots can work better with humans using focus on relevance.
― 5 min read
This article discusses ways to enhance safety in RL using language models.
― 5 min read
A method to assess AI agents' evaluations for safety and reliability.
― 8 min read
Examining how fine-tuning affects safety in language models across various tasks.
― 5 min read
A new method helps robots interact safely with people.
― 5 min read
A review of methods and stakeholder involvement in healthcare checklist design.
― 8 min read
The SHULDRD device enhances testing in human-robot interactions safely.
― 5 min read
A new training method enhances robot parkour abilities safely and efficiently.
― 5 min read
A new method improves urban renewal by combining technology and community feedback.
― 7 min read
Robotic endoscopy improves safety and effectiveness in diagnosing digestive conditions.
― 4 min read
Combining learning and control for improved safety in legged robots.
― 6 min read