130 citations · 267 across the 16 of their papers we have counts for
1 paper · 1 filter
Marco Lewis, Paolo Zuliani, Sadegh Soudjani
Various techniques have been used in recent years for verifying quantum computers, that is, for determining whether a quantum computer/system satisfies a given formal specification…