#AutonomousSystems
Local laptop-based agentic AI framework uses local language models to generate edge case scenarios for autonomous system safety testing, reducing reliance on human-in-the-loop or rule-based methods.

#AI #AutonomousSystems #SafetyTesting #EdgeCases
https://arxiv.org/abs/2610.13479
October 12, 2026 at 8:02 AM
SPARC AI (OTC: SPAIF) has launched a cloud-based GPS-denied positioning service for drones — no hardware required. The Overwatch Positioning Network delivers coordinates in ~0.3 seconds using existing telemetry, shifting navigation from airframes to data centers. #Drones #AutonomousSystems
October 8, 2026 at 9:15 PM
Imagine robots that think before they act. Nvidia’s new Halos for Robotics stack adds a safety layer to autonomous systems—from self‑driving cars to humanoid bots. Curious how physical AI is getting safer? Dive in! #Nvidia #HalosForRobotics #AutonomousSystems

🔗 aidailypost.com/news/nvidias...
October 8, 2026 at 2:19 PM
Original post on mastodon.social
mastodon.social
October 2, 2026 at 5:19 AM
Humanoid robotics just crossed into a very different visual territory. 🤖⚡

It’s the concept of combining:

🧠 Autonomous coordination
👁️ Environmental perception
⚡ High-speed navigation
🤖 Humanoid mobility

#Robotics #ArtificialIntelligence #AutonomousSystems #FutureTech
October 1, 2026 at 10:19 PM
Original post on mastodon.social
mastodon.social
September 30, 2026 at 3:09 PM
October is almost here — and so is the next milestone for #FMAS2026!

📅 Author notifications are due on 6 October.

We’re looking forward to sharing more about this year’s programme soon.

fmasworkshop.github.io/FMAS2026/

#FormalMethods #AutonomousSystems
Eighth International Workshop on Formal Methods for Autonomous Systems
The Eighth International Workshop on Formal Methods for Autonomous Systems will be a two-day peer-reviewed international workshop that brings together resear...
fmasworkshop.github.io
September 30, 2026 at 12:00 PM
The future of warfare may not look human. 🤖⚠️

Humanoid robots sprint through forest terrain, endure explosive shock, recover, and continue moving under simulated combat conditions.

#Robotics #FutureTech #AutonomousSystems #AI

Cc: @nicochan33.bsky.social @jblefevre60.bsky.social
September 27, 2026 at 8:38 PM
September 28, 2026 at 5:07 AM
🔮 “Welcome to the world of tomorrow.”

What if tomorrow is already here?

🎥 Watch the video and hear Robin Jungbauer's (AppDynamics) take on how fast the world around us is changing.

#AI #AutonomousSystems #DevOps #FutureTech
September 27, 2026 at 8:02 AM
The KILLSWITCH Myth: Why AI Safety Is FAILING
Ever wonder if the AI revolution is actually a digital hostage situation? 🤖🔥  Behind the polished PR campaigns and 'safety' warnings from Silicon Valley giants lies a cold, calculated reality: ethical oversight is being dismantled for pure, unchecked profit. In this episode, we pull back the curtain on why tech titans are lobbying for regulations that crush competition and how advanced machine learning models are already learning to deceive their creators. What You Will Discover: - The 'Killswitch' Myth: Why pulling the plug is no longer an option. - Corporate Hypocrisy: How safety pledges are being traded for market dominance. - Deceptive AI: Real-world evidence of machines acting against their programmed objectives. This isn't just tech news; it's a warning about the future of human autonomy. Don't let the algorithms win—listen to the full episode now to understand how we can reclaim control before it's too late. 🚀 🎧 Subscribe and share this with someone who needs a reality check on the future of AI!  
www.spreaker.com
September 28, 2026 at 9:00 PM
While we wait for #FMAS2026...

Why not revisit FMAS 2025?

The recordings are available on YouTube, so you can catch up on last year’s talks before we meet again in November:

www.youtube.com/watch?v=wzsw...

#FormalMethods #AutonomousSystems
FMAS 2025 | Prof. Paula Herber - Integrated Formal Methods for the Verification of CPS and AS
This is a recording of an invited talk at the Seventh Workshop on Formal Methods for Autonomous Systems (FMAS 2025). FMAS brings together researchers working on a range of techniques for the formal…
www.youtube.com
September 25, 2026 at 8:01 AM
Robot delivery trials are expanding — including in the UK.

Behind the scenes, torque measurement helps engineers monitor performance, optimise mobility & improve safety in autonomous robots.
https://interfaceforce.co.uk/blog/2026/01/21/food-delivery-robo
t/

#RoboticsEngineering #AutonomousSystems
September 23, 2026 at 1:40 PM
One of the challenges at the heart of #FMAS2026 is the “reality gap”: how formal methods can help when autonomous systems leave simulation and operate in dynamic real environments.

fmasworkshop.github.io/FMAS2026/

#FormalMethods #RuntimeVerification #AutonomousSystems
Eighth International Workshop on Formal Methods for Autonomous Systems
The Eighth International Workshop on Formal Methods for Autonomous Systems will be a two-day peer-reviewed international workshop that brings together resear...
fmasworkshop.github.io
September 22, 2026 at 8:00 AM
Worth watching this recent interview with Fleet Commander Vice Admiral Steve Moorhouse A particularly clear explanation of where the Royal Navy is heading with the Hybrid Navy.
#RoyalNavy #HybridNavy #AutonomousSystems #MaritimeDefence #FutureNavy

youtu.be/LPVaEPh2gyM?...
A View From the Bridge with Vice Admiral Sir Steve Moorhouse KCB OBE ADC, Fleet Commander
YouTube video by RNRMC Digital
youtu.be
September 21, 2026 at 9:50 AM
From theory to practice.

#FMAS2026 welcomes tool-supported methods, case studies, and practical experience showing how formal methods can be applied to real autonomous systems.

fmasworkshop.github.io/FMAS2026/

#FormalMethods #AutonomousSystems #Verification
September 18, 2026 at 8:01 AM
From lab demo to real-world product: Disrupt 2026 breaks down the path to production. #AI #AutonomousSystems #Startups #TechConference #ProductionScaling #Innovators thedailytechfeed.com/from-prototy...
September 15, 2026 at 2:53 PM
Hmm...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
September 15, 2026 at 10:28 PM
How 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.

fmasworkshop.github.io/FMAS2026/

#FormalMethods #AutonomousSystems
Eighth International Workshop on Formal Methods for Autonomous Systems
The Eighth International Workshop on Formal Methods for Autonomous Systems will be a two-day peer-reviewed international workshop that brings together resear...
fmasworkshop.github.io
September 16, 2026 at 11:01 AM