„Verifier Time“

Suchergebnisse

3 Treffer

• More Verifier Efficient Interactive Protocols for Bounded Space
  Cook, Joshua 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Time-Space Lower Bounds for Simulating Proof Systems with Quantum and Randomized Verifiers
  Mudigonda, Abhijit S. ; Williams, R. Ryan 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A verifier for real-time properties
  Ostroff, J. S.