Graph explorer

Mirco Giacobbe

Mirco Giacobbe contributes to research discovery and scholarly infrastructure.

6 nodes5 linksoverview mapMirco Giacobbe
6 nodes5 links
Mirco Giacobbe6 visible / 6 total nodes / 5 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAMirco GiacobbeResearcherWNeural Termination Anal...preprint / 2022WShielding Atari Games w...preprint / 2021WModel Checking Gene Reg...preprint / 2015WFormal Synthesis of Lya...preprint / 2020WTemporal Logic Trees fo...preprint / 2020
PersonSignal 105 links

Mirco Giacobbe

Researcher

Open