3 papers
cs.FL2026
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.
cs.RO2024
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…
math.CT2020
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…