1 Search Results for "Mei, Jingyi"

Model Checking Quantum Continuous-Time Markov Chains

Authors: Ming Xu, Jingyi Mei, Ji Guan, and Nengkun Yu

Published in: LIPIcs, Volume 203, 32nd International Conference on Concurrency Theory (CONCUR 2021)

Verifying quantum systems has attracted a lot of interests in the last decades. In this paper, we initialise the model checking of quantum continuous-time Markov chain (QCTMC). As a real-time system, we specify the temporal properties on QCTMC by signal temporal logic (STL). To effectively check the atomic propositions in STL, we develop a state-of-the-art real root isolation algorithm under Schanuel’s conjecture; further, we check the general STL formula by interval operations with a bottom-up fashion, whose query complexity turns out to be linear in the size of the input formula by calling the real root isolation algorithm. A running example of an open quantum walk is provided to demonstrate our method.

Cite as

Ming Xu, Jingyi Mei, Ji Guan, and Nengkun Yu. Model Checking Quantum Continuous-Time Markov Chains. In 32nd International Conference on Concurrency Theory (CONCUR 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 203, pp. 13:1-13:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)

Copy BibTex To Clipboard

  author =	{Xu, Ming and Mei, Jingyi and Guan, Ji and Yu, Nengkun},
  title =	{{Model Checking Quantum Continuous-Time Markov Chains}},
  booktitle =	{32nd International Conference on Concurrency Theory (CONCUR 2021)},
  pages =	{13:1--13:17},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-203-7},
  ISSN =	{1868-8969},
  year =	{2021},
  volume =	{203},
  editor =	{Haddad, Serge and Varacca, Daniele},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2021.13},
  URN =		{urn:nbn:de:0030-drops-143908},
  doi =		{10.4230/LIPIcs.CONCUR.2021.13},
  annote =	{Keywords: Model Checking, Formal Logic, Quantum Computing, Computer Algebra}
  • Refine by Author
  • 1 Guan, Ji
  • 1 Mei, Jingyi
  • 1 Xu, Ming
  • 1 Yu, Nengkun

  • Refine by Classification
  • 1 Computing methodologies → Symbolic and algebraic algorithms
  • 1 Theory of computation → Quantum computation theory
  • 1 Theory of computation → Verification by model checking

  • Refine by Keyword
  • 1 Computer Algebra
  • 1 Formal Logic
  • 1 Model Checking
  • 1 Quantum Computing

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2021

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail