Model Checking Matrix Product States against Linear Chain Logic

Documenti analoghi

• Model Checking Quantum Continuous-Time Markov Chains
  di: Xu, Ming, et al.
  Pubblicazione: (2021)
• Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
  di: Xu, Ming, et al.
  Pubblicazione: (2022)
• Operator Spaces, Linear Logic and the Heisenberg-Schrödinger Duality of Quantum Theory
  di: Lindenhovius, Bert, et al.
  Pubblicazione: (2025)
• Model Checking Linear Temporal Logic with Standpoint Modalities
  di: Aghamov, Rajab, et al.
  Pubblicazione: (2025)
• A Duality Theorem for Classical-Quantum States with Applications to Complete Relational Program Logics
  di: Barthe, Gilles, et al.
  Pubblicazione: (2025)