Alexandre Madeira

Citation:

Madeira A, Neves R, Barbosa LS, Martins M.  2014.  Logics for robotics? AIP Conference Proceedings.

Abstract:

This paper introduces HHL, a hierarchical variant of hybrid logic. First-order correspondence and a Hennessy-Milner like theorem relating (hierarchical) bisimulation and logical equivalence for HHLare presented. Combining hierarchical transition structures with the ability to refer to specic states at any level of description, this logic seems suitable to express and verify properties of hierarchical transition systems, a pervasive semantic structure in Computer Science.

Citation Key: