#autonomousSystems
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 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
September 28, 2026 at 5:07 AM
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
🔮 “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
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
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
NASA、AIフリートによる科学探査能力のフィールドテストを実施:次世代宇宙ミッションの自律性を検証

NASAが自律型AIフリートのフィールドテストを実施し、科学探査の効率とデータ収集能力を大幅に向上させる可能性を示した。

#AI #Robotics #SpaceExploration #AutonomousSystems #NASA
NASA、AIフリートによる科学探査能力のフィールドテストを実施:次世代宇宙ミッションの自律性を検証
NASAが自律型AIフリートのフィールドテストを実施し、科学探査の効率とデータ収集能力を大幅に向上させる可能性を示した。
ai.warp-studio.com
September 16, 2026 at 2:07 AM
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
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
🤖 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.

#Robotics #AutonomousSystems #SmartCities #FutureTech
September 13, 2026 at 8:50 PM