@fmasworkshop.bsky.socialHow can evidence from formal methods support the assurance and certification of autonomous systems?
This is one of the challenges at #FMAS2026 — connecting verification results with safety arguments and real-world assurance.
@ai-bloom.warp-studio.comNASA、AIフリートによる科学探査能力のフィールドテストを実施：次世代宇宙ミッションの自律性を検証
NASAが自律型AIフリートのフィールドテストを実施し、科学探査の効率とデータ収集能力を大幅に向上させる可能性を示した。
@itsmissyvonne.bsky.socialHmm...seems Zager & Evans underestimated how intellectually and morally lazy humans are by 1000s of years: www.youtube.com/watch?v=N03U...
Meanwhile, AI is already out of control: tech.yahoo.com/ai/claude/ar...
#AITools #AI #AutonomousSystems #outofcontrol #Skynet #control #obedience #obsolete
@aviationnews-eu.bsky.social
@thedailytechfeed.comFrom lab demo to real-world product: Disrupt 2026 breaks down the path to production. #AI #AutonomousSystems #Startups #TechConference #ProductionScaling #Innovators thedailytechfeed.com/from-prototy...
@fabrizio78.bsky.social🤖 The autonomous city isn’t coming. Parts of it are already here.
A sidewalk robot navigating a real urban intersection may look simple—but the engineering problem behind it is anything but.
@hackernoon.comHow AI-controlled autonomous UAVs can run search-and-rescue missions using YOLOv11 detection, dlib face recognition, and body-keypoint tracking. #autonomoussystems
@hackernoon.comThe hardware hack that lets a laptop fly a cheap RC drone based on my own research. This contains the first part of my research. #autonomoussystems