2 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.RO2025
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…