Name: Marco Esposito
Type: User
Bio: Postdoctoral Researcher at Verimag/Université Grenoble-Alpes, France.
Main areas of interest: Formal Verification of Critical Systems, Black-Box Optimization
Location: Grenoble, France
Marco Esposito's Projects
Official Docker Image for Grav
An implementation of Ensemble Learning that uses (Weighted) Majority Voting
A reproducible slide presentation about reproducibility
A logic falsification research project.
Formal verification through Model Checking of the AP-IP algorithm by Reza Azimi et al. (DOI: 10.1109/ICCPS.2014.6843706)