Lógica Diferencial de Hoare

Autor: Jonathan Julian Huerta Y Munive
Coautor(es): 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.