Lógica Diferencial de Hoare

Ponente(s): Jonathan Julian Huerta Y Munive, Simon Foster, Georg Struth
Presentamos una extensión reciente de la lógica de Hoare para sistemas híbridos en el estilo de la lógica diferencial dinámica. Adaptamos técnicas típicas de esta última a nuestra extensión y mostramos un breve ejemplo de su aplicación.