4 papers
The SCAN Statistical Model Checker
Enrico Ghiorzi, Armando Tacchella
This paper lays out the formal foundations upon which the SCAN statistical model checker is built.
Execution Semantics of Behavior Trees in Robotic Applications
Enrico Ghiorzi, Christian Henkel, Matteo Palmas +2
Behavior Trees (BTs) have found a widespread adoption in robotics due to appealing features, their ease of use as a conceptual model of control policies and the availability of sof…
(Deep) Induction Rules for GADTs
Patricia Johann, Enrico Ghiorzi
Deep data types are those that are constructed from other data types, including, possibly, themselves. In this case, they are said to be truly nested. Deep induction is an extensio…
Internal enriched categories
Enrico Ghiorzi
We introduce the theory of enrichment over an internal monoidal category as a common generalization of both the standard theories of enriched and internal categories. The aim of th…