Scholar
Matteo Capucci
Google Scholar ID: oo6b2TEAAAAJ
University of Strathclyde, Independent
category theory
cybernetics
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
149
H-index
6
i10-index
4
Publications
20
Co-authors
4
list available
Publications
5 items
Quantitative Linear Logic
2026
Cited
0
Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
2026
Cited
0
Compositionality of Lyapunov functions via assume-guarantee reasoning
2026
Cited
0
A "good regulator theorem" for embodied agents
2025
Cited
0
On Quantifiers for Quantitative Reasoning
arXiv.org · 2024
Cited
0
Co-authors
1 total
Eigil Fjeldgren Rischel
PhD student, University of Strathclyde
