---
id: DR-20250826145452
title: Title Ideas
type: thesis
created: 2025-08-26T18:54:52Z
modified: 2025-08-26T19:03:19Z
tags: []
---

# Thesis Title Ideas

## August 26th
1. Hybrid Controller Synthesis from Logical Specifications

2. Hybrid Mode Switching Controller Synthesis from
   Regulatory Requirements as Logical Specifications

3. Formally Verified Autonomous Hybrid Controller
   Implementations Synthesized from Regulatory Requirements

Okay so mixing these:

*Formally Tractable Hybrid Controller Synthesis from Logical
Specifications of Regulatory Requirements* 

It's long. But Hybrid controller synthesis from logical
specifications might not be enough? Also 'logical
specifications of regulatory requirements' might not make
much sense either. Y'know what, I think I like the first one
best. I'm going with:

***High-Assurance Hybrid Controller Synthesis from Logical
Specifications***