Showing cs.LOShow all
3 papers · 1 filter
cs.LO2026
LLM-Powered Automatic Theorem Proving and Synthesis for Hybrid Systems and Game
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…
cs.LO2025
Can Large Language Models Autoformalize Kinematics?
Aditi Kabra, Jonathan Laurent, Sagar Bharadwaj +3
Autonomous cyber-physical systems like robots and self-driving cars could greatly benefit from using formal methods to reason reliably about their control decisions. However, befor…
cs.LO2025
Complete Dynamic Logic of Communicating Hybrid Programs
Marvin Brieger, Stefan Mitsch, André Platzer
This article presents a relatively complete proof calculus for the dynamic logic of communicating hybrid programs dLCHP. Beyond hybrid systems, communicating hybrid programs not on…