@conference {1960,
	title = {Logics for robotics?},
	booktitle = {AIP Conference Proceedings},
	year = {2014},
	abstract = {<p>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.</p>
},
	attachments = {https://haslab.uminho.pt/sites/default/files/madeira/files/madeiranevesmartinsbarbosa.pdf},
	author = {Alexandre Madeira and Renato Neves and Luis Soares Barbosa and M. Martins}
}