株式会社イミロン
Active数理論理学に基づき、自動運転やAI制御の安全性を数学的に証明する品質保証ソリューションを提供
Its site says now · captured 2026-08-23
Logic && Intelligence
Next to it in Defense and space · autonomous systems safety verification
- Null LabsY Combinator F25
End-to-end Simulation for Defense Autonomy
- Isengard Industries IncY Combinator S26
Mass-produced AI strike systems and Counter-UAS
- Vernius Systems, Inc.Y Combinator S26
Autonomous radar guidance for interceptors
- 9 MothersY Combinator X26
Counter Drone Systems. $1.6m sales. We delivered for the DoW.
- Albacore Inc.Y Combinator S25
Drone submarines
- ORBESTechstars TS 2025
- Magma SpaceTechstars TS 2023
Magma Space — Ultra-Stable, Agile & Autonomous Satellite Control
- skycubePlug and Play PnP 2026
SkyCube is building a digital infrastructure for urban air mobility by tokenizing airspace and enabling real-time route optimization and automated transactions.