LLM-Powered Automatic Theorem Proving and Synthesis for Hybrid Systems and Games

Aditi Kabra, Jonathan Laurent, Ruben Martins +2

Hybrid games model cyber-physical systems (CPS), like cars, trains, and airplanes, where discrete control decisions interact with continuous physical dynamics. We use Large Languag…