Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Michele Alberti
Map detail
Michele Alberti3 visible / 3 total nodes / 2 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipMichele AlbertiAMichele AlbertiResearcherCAISAR: A platform for Characterizing Artificial Intelligence Safety and RobustnessWCAISAR: A platform for ...preprint / 2022On Coinductive Equivalences for Higher-Order Probabilistic Functional Programs (Long Version)WOn Coinductive Equivale...preprint / 2013
Person2 links

Michele Alberti

Researcher