Enrico Ghiorzi

According to our database, Enrico Ghiorzi authored at least 12 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Model-based Verification and Monitoring for Safe and Responsive Robots.

Stefano Bernagozzi, S. Faraci, Enrico Ghiorzi, K. Pedemonte, A. Ferrando, Lorenzo Natale, Armando Tacchella

Proceedings of the IEEE International Conference on Simulation, 2025

2024

GADTs are not (Even partial) functors.

Pierre Cagne, Enrico Ghiorzi, Patricia Johann

Math. Struct. Comput. Sci., 2024

Execution Semantics of Behavior Trees in Robotic Applications.

Enrico Ghiorzi, Armando Tacchella

CoRR, 2024

Modeling Robot Control Architectures for Verification and Monitoring.

Stefano Bernagozzi, Angelo Ferrando, Enrico Ghiorzi, Lorenzo Natale, Armando Tacchella

Proceedings of the European Robotics Forum 2024, 2024

2023

Learning Linear Temporal Properties for Autonomous Robotic Systems.

Enrico Ghiorzi, Michele Colledanchise, Gianluca Piquet, Stefano Bernagozzi, Armando Tacchella, Lorenzo Natale

IEEE Robotics Autom. Lett., May, 2023

2022

Internal Enriched Categories.

Enrico Ghiorzi

Appl. Categorical Struct., 2022

(Deep) induction rules for GADTs.

Patricia Johann, Enrico Ghiorzi

Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022

2021

Parametricity for Nested Types and GADTs.

Patricia Johann, Enrico Ghiorzi

Log. Methods Comput. Sci., 2021

(Deep) Induction Rules for GADTs.

Patricia Johann, Enrico Ghiorzi, Daniel Jeffries

CoRR, 2021

GADTs, Functoriality, Parametricity: Pick Two.

Patricia Johann, Enrico Ghiorzi, Daniel Jeffries

Proceedings of the Proceedings 16th Logical and Semantic Frameworks with Applications, 2021

Parametricity for Nested Types and GADTs.

Patricia Johann, Enrico Ghiorzi, Daniel Jeffries

CoRR, 2021

Parametricity for Primitive Nested Types.

Patricia Johann, Enrico Ghiorzi, Daniel Jeffries

Proceedings of the Foundations of Software Science and Computation Structures, 2021