Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Marcello Bullo | Researchclopedia

Back to researchers

Marcello Bullo

Imperial College London

1

Works

0

Citations

0

h-index

0

i10-index

Research Topics

Formal Methods in Verification VLSI and Analog Circuit Testing Markov Chains and Monte Carlo Methods

Affiliations

Imperial College London2026–2026

Top Works

Test-time Verification via Optimal Transport: Coverage, ROC, & Sub-optimality

Arpan Mukherjee,Marcello Bullo,et al.

20260 citations