Robert Bosch GmbH was granted three patents in the autonomous driving domain in the week of March 1, 2026. The previous week saw two more. Five AV patents in two weeks — the most concentrated portfolio expansion in the AV domain observed in ReadyDone analyses to date.
The Three Patents of CW9/2026
- US12559102: Approach Control Method — Control of approach behavior of autonomous vehicles with safety constraints and environmental detection
- US12559104: Longitudinal Control System — Management of acceleration and deceleration profiles for autonomous driving scenarios
- US12559134: Behavior Planner Formal Verification — Formal verification methods for mathematically proving the correctness of behavior planning algorithms
The Core Patent: Formal Verification (US12559134)
US12559134 is the most technically significant of the three. It describes methods for mathematically proving that an autonomous behavior planner — the software module that decides driving maneuvers — operates correctly and safely. Not through testing ("we drove 1 million kilometers"), but through formal proof ("it is mathematically impossible for the system to make decision Y in state X").
Why Formal Verification Is a Game-Changer
- Regulation: Safety standards such as ISO 26262 and UL 4600 increasingly require formal evidence for the certification of autonomous systems. Testing alone is no longer sufficient.
- Liability: A mathematical proof of safety properties is critical for the manufacturer's liability protection. "We proved it is safe" beats "we tested it extensively" in court.
- Technical Barrier: Formal verification requires specialized mathematical and software engineering expertise. This creates a technical barrier to entry estimated at 10-15 years for imitators.
Competitive Context
Only a handful of companies have published work on formal verification of AV systems: Waymo, Mobileye, Tesla — and now Bosch. Bosch's patent filing indicates they have moved beyond the research phase and have production-ready implementations.
The "Autonomous Vehicles" category reached the highest score of all technology categories in CW9/2026 with an average score of 67 — despite only 11 patents. This indicates selective, high-quality filings by established players.
Implications
- Automakers: Bosch suppliers should inquire about integration timelines for formal verification
- Insurers: Risk models for AV systems should include formal verification as a key safety indicator
- Regulators: This technology could become the de facto standard for AV safety certification
- Competitors: The window to build competing formal verification capabilities is narrowing
Bosch is not positioning itself for incremental ADAS improvements, but for Level 4/5 autonomy certification.
Sources: USPTO US12559102, US12559104, US12559134. ReadyDone Notable Patents Report CW9/2026 (1,755 notable patents out of 7,114 grants).