{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T00:40:09Z","timestamp":1755909609342,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":44,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,5,14]],"date-time":"2024-05-14T00:00:00Z","timestamp":1715644800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NSFC","award":["12271172"],"award-info":[{"award-number":["12271172"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,5,14]]},"DOI":"10.1145\/3641513.3650126","type":"proceedings-article","created":{"date-parts":[[2024,5,2]],"date-time":"2024-05-02T18:05:48Z","timestamp":1714673148000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-time Markov Chains"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-4256-9508","authenticated-orcid":false,"given":"Hui","family":"Jiang","sequence":"first","affiliation":[{"name":"East China Normal University, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-2367-9958","authenticated-orcid":false,"given":"Jianling","family":"Fu","sequence":"additional","affiliation":[{"name":"East China Normal University, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9906-5677","authenticated-orcid":false,"given":"Ming","family":"Xu","sequence":"additional","affiliation":[{"name":"East China Normal University, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0753-418X","authenticated-orcid":false,"given":"Yuxin","family":"Deng","sequence":"additional","affiliation":[{"name":"East China Normal University, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-2534-8496","authenticated-orcid":false,"given":"Zhi-Bin","family":"Li","sequence":"additional","affiliation":[{"name":"East China Normal University, China"}]}],"member":"320","published-online":{"date-parts":[[2024,5,14]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proc. 33rd International Symposium on Symbolic and Algebraic Computation, ISSAC 2008. ACM Press","author":"Achatz Melanie","year":"2008","unstructured":"Melanie Achatz, Scott McCallum, and Volker Weispfenning. 2008. Deciding polynomial\u2013exponential problems. In Proc. 33rd International Symposium on Symbolic and Algebraic Computation, ISSAC 2008. ACM Press, New York, 215\u2013222."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/335305.335404"},{"key":"e_1_3_2_1_3_1","volume-title":"Proc. 1995 International Conference on Robotics and Automation. IEEE Computer Society, Washington, 1441\u20131446","author":"Antoniotti Marco","year":"1995","unstructured":"Marco Antoniotti and Bud Mishra. 1995. Descrete events models + temporal logic = supervisory controller: Automatic synthesis of locomotion controllers. In Proc. 1995 International Conference on Robotics and Automation. IEEE Computer Society, Washington, 1441\u20131446."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.2307\/1970774"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61474-5_75"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1205180"},{"volume-title":"CONCUR\u201999 Concurrency Theory(LNCS, Vol.\u00a01664), Jos C.\u00a0M","author":"Baier Christel","key":"e_1_3_2_1_7_1","unstructured":"Christel Baier, Joost-Pieter Katoen, and Holger Hermanns. 1999. Approximate symbolic model checking of continuous-time Markov chains. In CONCUR\u201999 Concurrency Theory(LNCS, Vol.\u00a01664), Jos C.\u00a0M. Baeten and Sjouke Mauw (Eds.). Springer, Berlin, 146\u2013161."},{"volume-title":"Transcendental Number Theory","author":"Baker Alan","key":"e_1_3_2_1_8_1","unstructured":"Alan Baker. 1975. Transcendental Number Theory. Cambridge University Press, London."},{"key":"e_1_3_2_1_9_1","volume-title":"Bennett and Gilles Brassard","author":"H.","year":"1984","unstructured":"Charles\u00a0H. Bennett and Gilles Brassard. 1984. An update on quantum cryptography. In Advances in Cryptology, Proceedings of CRYPTO\u201984(LNCS, Vol.\u00a0196), George\u00a0R. Blakley and David Chaum (Eds.). Springer, Berlin, 475\u2013480."},{"key":"e_1_3_2_1_10_1","volume-title":"Bradfield and Igor Walukiewicz","author":"C.","year":"2018","unstructured":"Julian\u00a0C. Bradfield and Igor Walukiewicz. 2018. The mu-calculus and model checking. In Handbook of Model Checking, Edmund\u00a0M. Clarke, Thomas\u00a0A. Henzinger, Helmut Veith, and Roderick Bloem (Eds.). Springer, Berlin, 871\u2013919."},{"key":"e_1_3_2_1_11_1","volume-title":"16th International Conference, CAV 2004(LNCS, Vol.\u00a03114)","author":"Bustan Doron","year":"2004","unstructured":"Doron Bustan, Sasha Rubin, and Moshe\u00a0Y. Vardi. 2004. Verifying \u03c9 -regular properties of Markov chains. In Computer Aided Verification, 16th International Conference, CAV 2004(LNCS, Vol.\u00a03114), Rajeev Alur and Doron\u00a0A. Peled (Eds.). Springer, Berlin, 189\u2013201."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3575870.3587113"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"volume-title":"A Course in Computational Algebraic Number Theory","author":"Cohen Henri","key":"e_1_3_2_1_14_1","unstructured":"Henri Cohen. 1996. A Course in Computational Algebraic Number Theory. Springer, Berlin."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3447928.3456705"},{"key":"e_1_3_2_1_16_1","volume-title":"28th International Conference on Concurrency Theory, CONCUR 2017(LIPIcs, Vol.\u00a085)","author":"Feng Yuan","year":"2017","unstructured":"Yuan Feng, Ernst\u00a0M. Hahn, Andrea Turrini, and Shenggang Ying. 2017. Model checking \u03c9 -regular properties for quantum Markov chains. In 28th International Conference on Concurrency Theory, CONCUR 2017(LIPIcs, Vol.\u00a085). Schloss Dagstuhl, Heidelberg, 35:1\u201335:16."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2013.04.002"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2017.05.014"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2763785"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1063\/1.522979"},{"key":"e_1_3_2_1_21_1","volume-title":"TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Part II(LNCS, Vol.\u00a013244)","author":"Guan Ji","year":"2022","unstructured":"Ji Guan and Nengkun Yu. 2022. A probabilistic logic for verifying continuous-time Markov chains. In Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Part II(LNCS, Vol.\u00a013244), Dana Fisman and Grigore Rosu (Eds.). Springer, Berlin, 3\u201321."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211866"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2017.07.007"},{"volume-title":"Linear Systems","author":"Kailath Thomas","key":"e_1_3_2_1_24_1","unstructured":"Thomas Kailath. 1980. Linear Systems. Prentice Hall, New Jersey."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1997.646094"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01457454"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01608499"},{"volume-title":"Proc. 43rd IEEE Conference on Decision and Control, CDC 2004. IEEE Computer Society, Washington, 153\u2013158","author":"G.","key":"e_1_3_2_1_28_1","unstructured":"Savvas\u00a0G. Loizou and Kostas\u00a0J. Kyriakopoulos. 2004. Automatic synthesis of multi-agent motion tasks based on LTL specifications. In Proc. 43rd IEEE Conference on Decision and Control, CDC 2004. IEEE Computer Society, Washington, 153\u2013158."},{"volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems(LNCS, Vol.\u00a03253)","author":"Maler Oded","key":"e_1_3_2_1_29_1","unstructured":"Oded Maler and Dejan Nickovic. 2004. Monitoring temporal properties of continuous signals. In Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems(LNCS, Vol.\u00a03253), Yassine Lakhnech and Sergio Yovine (Eds.). Springer, Berlin, 152\u2013166."},{"key":"e_1_3_2_1_30_1","volume-title":"Checking continuous stochastic logic against quantum continuous-time Markov chains. CoRR abs\/2202.05412","author":"Mei Jingyi","year":"2022","unstructured":"Jingyi Mei, Ming Xu, Ji Guan, Yuxin Deng, and Nengkun Yu. 2022. Checking continuous stochastic logic against quantum continuous-time Markov chains. CoRR abs\/2202.05412 (2022), 1\u201321. https:\/\/arxiv.org\/abs\/2202.05412."},{"volume-title":"Quantum Computation and Quantum Information","author":"Nielsen A.","key":"e_1_3_2_1_31_1","unstructured":"Michael\u00a0A. Nielsen and Isaac\u00a0L. Chuang. 2000. Quantum Computation and Quantum Information. Cambridge University Press, London."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2005.33"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3371923"},{"volume-title":"Introduction to the Numerical Solution of Markov Chains","author":"Stewart J.","key":"e_1_3_2_1_34_1","unstructured":"William\u00a0J. Stewart. 1994. Introduction to the Numerical Solution of Markov Chains. Princeton University Press, New Jersey."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1112\/plms\/s2-42.1.230"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1985.12"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0894-0347-96-00216-0"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2022.01.044"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-020-00392-5"},{"key":"e_1_3_2_1_40_1","volume-title":"32nd International Conference on Concurrency Theory, CONCUR 2021(LIPIcs, Vol.\u00a0203)","author":"Xu Ming","year":"2021","unstructured":"Ming Xu, Jingyi Mei, Ji Guan, and Nengkun Yu. 2021. Model checking quantum continuous-time Markov chains. In 32nd International Conference on Concurrency Theory, CONCUR 2021(LIPIcs, Vol.\u00a0203). Schloss Dagstuhl, Heidelberg, 13:1\u201313:17."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2015.07.047"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40184-8_24"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2018.09.001"},{"key":"e_1_3_2_1_44_1","volume-title":"38th International Colloquium, ICALP","author":"Zhang Lijun","year":"2011","unstructured":"Lijun Zhang, David\u00a0N. Jansen, Flemming Nielson, and Holger Hermanns. 2011. Automata-based CSL model checking. In Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Part II(LNCS, Vol.\u00a06756), Luca Aceto, Monika Henzinger, and Jir\u00ed Sgall (Eds.). Springer, Berlin, 271\u2013282."}],"event":{"name":"HSCC '24: Computation and Control","sponsor":["SIGCHI ACM Special Interest Group on Computer-Human Interaction"],"location":"Hong Kong SAR China","acronym":"HSCC '24"},"container-title":["Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3641513.3650126","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3641513.3650126","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T00:12:34Z","timestamp":1755907954000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3641513.3650126"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,14]]},"references-count":44,"alternative-id":["10.1145\/3641513.3650126","10.1145\/3641513"],"URL":"https:\/\/doi.org\/10.1145\/3641513.3650126","relation":{},"subject":[],"published":{"date-parts":[[2024,5,14]]},"assertion":[{"value":"2024-05-14","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}