scafati-presentazioni Presentations from journal clubs and reading groups for various research topics Quantum Model Checking Presentation on quantum model checking for an online, geographically-distributed reading group on quantum robotics. To be modified!!!