{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T05:43:32Z","timestamp":1771652612741,"version":"3.50.1"},"reference-count":54,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2017,3,8]],"date-time":"2017-03-08T00:00:00Z","timestamp":1488931200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"Engineering and Physical Sciences Research Council (GB)","award":["EP\/K038575\/1"],"award-info":[{"award-number":["EP\/K038575\/1"]}]},{"DOI":"10.13039\/100006502","name":"Defense Sciences Office, DARPA","doi-asserted-by":"publisher","award":["PRINCESS"],"award-info":[{"award-number":["PRINCESS"]}],"id":[{"id":"10.13039\/100006502","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[2017,5]]},"DOI":"10.1007\/s11241-017-9269-4","type":"journal-article","created":{"date-parts":[[2017,3,8]],"date-time":"2017-03-08T13:32:25Z","timestamp":1488979945000},"page":"354-402","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":48,"title":["Verification and control of partially observable probabilistic systems"],"prefix":"10.1007","volume":"53","author":[{"given":"Gethin","family":"Norman","sequence":"first","affiliation":[]},{"given":"David","family":"Parker","sequence":"additional","affiliation":[]},{"given":"Xueyi","family":"Zou","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,3,8]]},"reference":[{"key":"9269_CR1","doi-asserted-by":"publisher","unstructured":"Alur R, Dill D (1994) A theory of timed automata. Theor Comput Sci 126:183\u2013235","DOI":"10.1016\/0304-3975(94)90010-8"},{"issue":"1","key":"9269_CR2","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1008739929481","volume":"15","author":"R Alur","year":"1999","unstructured":"Alur R, Henzinger T (1999) Reactive modules. Formal Methods Syst Des 15(1):7\u201348","journal-title":"Formal Methods Syst Des"},{"issue":"3","key":"9269_CR3","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/j.tcs.2003.10.038","volume":"318","author":"R Alur","year":"2004","unstructured":"Alur R, La Torre S, Pappas G (2004) Optimal paths in weighted timed automata. Theor Comput Sci 318(3):297\u2013322","journal-title":"Theor Comput Sci"},{"key":"9269_CR4","doi-asserted-by":"publisher","unstructured":"Baier C, Bertrand N, Gr\u00f6\u00dfer M (2008) On decision problems for probabilistic B\u00fcchi automata. In: Amadio R (ed.) Proceedings of the 11th international conference foundations of software science and computation structures (FOSSACS\u201908). LNCS, vol 4962. Springer, Berlin, pp 287\u2013301","DOI":"10.1007\/978-3-540-78499-9_21"},{"key":"9269_CR5","first-page":"493","volume-title":"Proceedings of the 3rd IFIP international conference theoretical computer science (TCS 2006)","author":"C Baier","year":"2004","unstructured":"Baier C, Gr\u00f6\u00dfer M, Leucker M, Bollig B, Ciesinski F (2004) Controller synthesis for probabilistic systems. In: L\u00e9vy L, Mayr E, Mitchell J (eds) Proceedings of the 3rd IFIP international conference theoretical computer science (TCS 2006). Kluwer, Dordrecht, pp 493\u2013506"},{"key":"9269_CR6","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/3-540-45351-2_15","volume-title":"Proceedings of the 4th international conference on hybrid systems: computation and control (HSCC 2001). LNCS","author":"G Behrmann","year":"2001","unstructured":"Behrmann G, Fehnker A, Hune T, Larsen K, Pettersson P, Romijn J, Vaandrager F (2001) Minimum-cost reachability for linearly priced timed automata. In: Benedetto MD, Sangiovanni-Vincentelli A (eds) Proceedings of the 4th international conference on hybrid systems: computation and control (HSCC 2001). LNCS, vol 2034. Springer, Berlin, pp 147\u2013162"},{"key":"9269_CR7","doi-asserted-by":"publisher","unstructured":"Bouyer P, D\u2019Souza D, Madhusudan P, Petit A (2003) Timed control with partial observability. In: Proceedings of the 15th international conference on computer aided verification (CAV\u201903), LNCS, vol 2725, pp 180\u2013192","DOI":"10.1007\/978-3-540-45069-6_18"},{"issue":"9","key":"9269_CR8","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/1995376.1995396","volume":"54","author":"P Bouyer","year":"2011","unstructured":"Bouyer P, Fahrenberg U, Larsen K, Markey N (2011) Quantitative analysis of real-time systems using priced timed automata. Commun ACM 54(9):78\u201387","journal-title":"Commun ACM"},{"key":"9269_CR9","doi-asserted-by":"publisher","unstructured":"Br\u00e1zdil T, Bro\u017eek V, Forejt V, Ku\u010dera A (2006) Stochastic games with branching-time winning objectives. In: Proceedings of the 21th international symposium on logic in computer science (LICS 2006). IEEE Computer Society, pp 349\u2013358","DOI":"10.1109\/LICS.2006.48"},{"key":"9269_CR10","unstructured":"Cassandra A (1998) A survey of POMDP applications (1998), presented at the AAAI fall symposium. www.pomdp.org\/pomdp\/papers\/applications.pdf"},{"key":"9269_CR11","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/978-3-540-75596-8_15","volume-title":"Proceedings of the 5th international symposium on automated technology for verification and analysis (ATVA\u201907). LNCS","author":"F Cassez","year":"2007","unstructured":"Cassez F, David A, Larsen K, Lime D, Raskin JF (2007) Timed control with observation based and stuttering invariant strategies. In: Namjoshi K, Yoneda T, Higashino T, Okamura Y (eds) Proceedings of the 5th international symposium on automated technology for verification and analysis (ATVA\u201907). LNCS, vol 4762. Springer, Berlin, pp 192\u2013206"},{"key":"9269_CR12","first-page":"243","volume-title":"Proceedings of the 23rd international conference computer aided verification (CAV\u201911). LNCS","author":"P Cern\u00fd","year":"2011","unstructured":"Cern\u00fd P, Chatterjee K, Henzinger T, Radhakrishna A, Singh R (2011) Quantitative synthesis for concurrent programs. In: Gopalakrishnan G, Qadeer S (eds) Proceedings of the 23rd international conference computer aided verification (CAV\u201911). LNCS, vol 6806. Springer, Berlin, pp 243\u2013259"},{"key":"9269_CR13","doi-asserted-by":"publisher","unstructured":"Chatterjee K, Chmel\u00edk M, Gupta R, Kanodia A (2015) Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. In: Proceedings of the international conference on robotics and automation (ICRA\u201915). IEEE Computer Society, pp 325\u2013330","DOI":"10.1109\/ICRA.2015.7139019"},{"key":"9269_CR14","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1016\/j.artint.2016.01.007","volume":"234","author":"K Chatterjee","year":"2016","unstructured":"Chatterjee K, Chmel\u00edk M, Gupta R, Kanodia A (2016) Optimal cost almost-sure reachability in POMDPs. Artif Intell 234:26\u201348","journal-title":"Artif Intell"},{"key":"9269_CR15","unstructured":"Chatterjee K, Chmel\u00edk M, Tracol M (2013) What is decidable about partially observable Markov decision processes with omega-regular objectives. In: Proceedings of the 22nd EACSL annual conference on computer science logic (CSL\u201913). LIPIcs, vol\u00a023. Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik, pp 165\u2013180"},{"issue":"2","key":"9269_CR16","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1145\/2579821","volume":"15","author":"K Chatterjee","year":"2014","unstructured":"Chatterjee K, Doyen L (2014) Partial-observation stochastic games: how to win when belief fails. ACM Trans Comput Logic 15(2):16","journal-title":"ACM Trans Comput Logic"},{"key":"9269_CR17","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/BF00206326","volume":"1","author":"D Chaum","year":"1988","unstructured":"Chaum D (1988) The dining cryptographers problem: unconditional sender and recipient untraceability. J Cryptol 1:65\u201375","journal-title":"J Cryptol"},{"key":"9269_CR18","unstructured":"de\u00a0Alfaro L (1999)The verification of probabilistic systems under memoryless partial-information policies is hard. In: Proceedings of the 2nd probabilistic methods in verification workshop (PROBMIV\u201999), Birmingham University Research Report CSR-99-9, pp 19\u201332"},{"key":"9269_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-46516-1","volume-title":"A course in triangulations for solving equations with deformations","author":"B Eaves","year":"1984","unstructured":"Eaves B (1984) A course in triangulations for solving equations with deformations. Springer, Berlin"},{"key":"9269_CR20","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1007\/978-3-642-28756-5_27","volume-title":"Proceedings of the 18th international conference on tools and algorithms for the construction and analysis of systems (TACAS\u201912). LNCS","author":"B Finkbeiner","year":"2012","unstructured":"Finkbeiner B, Peter H (2012) Template-based controller synthesis for timed systems. In: Flanagan C, K\u00f6nig B (eds) Proceedings of the 18th international conference on tools and algorithms for the construction and analysis of systems (TACAS\u201912). LNCS, vol 7214. Springer, Berlin, pp 392\u2013406"},{"key":"9269_CR21","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-642-21455-4_3","volume-title":"Formal methods for eternal networked software systems (SFM\u201911)","author":"V Forejt","year":"2011","unstructured":"Forejt V, Kwiatkowska M, Norman G, Parker D (2011) Automated verification techniques for probabilistic systems. In: Bernardo M, Issarny V (eds) Formal methods for eternal networked software systems (SFM\u201911), vol 6659. Springer, Berlin, pp 53\u2013113"},{"key":"9269_CR22","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/978-3-642-33386-6_26","volume-title":"Proceedings of the 10th international symposium on automated technology for verification and analysis (ATVA\u201912). LNCS","author":"S Giro","year":"2012","unstructured":"Giro S, Rabe M (2012) Verification of partial-information probabilistic systems using counterexample-guided refinements. In: Chakraborty S, Mukund M (eds) Proceedings of the 10th international symposium on automated technology for verification and analysis (ATVA\u201912). LNCS, vol 7561. Springer, Berlin, pp 333\u2013348"},{"issue":"4","key":"9269_CR23","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/s11134-015-9439-9","volume":"80","author":"A Gopalan","year":"2015","unstructured":"Gopalan A, Caramanis C, Shakkottai S (2015) Wireless scheduling with partial channel state information: large deviations and optimality. Queueing Syst 80(4):293\u2013340","journal-title":"Queueing Syst"},{"issue":"5","key":"9269_CR24","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H Hansson","year":"1994","unstructured":"Hansson H, Jonsson B (1994) A logic for reasoning about time and reliability. Formal Asp Comput 6(5):512\u2013535","journal-title":"Formal Asp Comput"},{"key":"9269_CR25","doi-asserted-by":"publisher","first-page":"545","DOI":"10.1007\/3-540-55719-9_103","volume-title":"Proceedings of the 19th international colloquium automata, languages and programming (ICALP\u201992). LNCS","author":"T Henzinger","year":"1992","unstructured":"Henzinger T, Manna Z, Pnueli A (1992) What good are digital clocks? In: Kuich W (ed) Proceedings of the 19th international colloquium automata, languages and programming (ICALP\u201992). LNCS, vol 623. Springer, Berlin, pp 545\u2013558"},{"issue":"2","key":"9269_CR26","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1006\/inco.1994.1045","volume":"111","author":"T Henzinger","year":"1994","unstructured":"Henzinger T, Nicollin X, Sifakis J, Yovine S (1994) Symbolic model checking for real-time systems. Inf Comput 111(2):193\u2013244","journal-title":"Inf Comput"},{"issue":"2\u20133","key":"9269_CR27","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1080\/15427951.2011.601934","volume":"9","author":"K Jagannathan","year":"2013","unstructured":"Jagannathan K, Menache I, Modiano E, Mannor S (2013) A state action frequency approach to throughput maximization over uncertain wireless channels. Internet Math 9(2\u20133):136\u2013160","journal-title":"Internet Math"},{"issue":"2","key":"9269_CR28","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1109\/TWC.2006.1611063","volume":"5","author":"L Johnston","year":"2006","unstructured":"Johnston L, Krishnamurthy V (2006) Opportunistic file transfer over a fading channel: a POMDP search theory formulation with optimal threshold policies. IEEE Trans Wirel Commun 5(2):394\u2013405","journal-title":"IEEE Trans Wirel Commun"},{"issue":"4","key":"9269_CR29","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1109\/2.666843","volume":"31","author":"M Kang","year":"1998","unstructured":"Kang M, Moore A, Moskowitz I (1998) Design and assurance strategy for the NRL pump. Computer 31(4):56\u201364","journal-title":"Computer"},{"key":"9269_CR30","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-9455-6","volume-title":"Denumerable Markov chains","author":"J Kemeny","year":"1976","unstructured":"Kemeny J, Snell J, Knapp A (1976) Denumerable Markov chains, 2nd edn. Springer, Berlin","edition":"2"},{"key":"9269_CR31","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Proceedings of the 23rd international conference on computer aided verification (CAV\u201911). LNCS","author":"M Kwiatkowska","year":"2011","unstructured":"Kwiatkowska M, Norman G, Parker D (2011) PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan G, Qadeer S (eds) Proceedings of the 23rd international conference on computer aided verification (CAV\u201911). LNCS, vol 6806. Springer, Berlin, pp 585\u2013591"},{"key":"9269_CR32","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/s10703-006-0005-2","volume":"29","author":"M Kwiatkowska","year":"2006","unstructured":"Kwiatkowska M, Norman G, Parker D, Sproston J (2006) Performance analysis of probabilistic timed automata using digital clocks. Formal Methods Syst Des 29:33\u201378","journal-title":"Formal Methods Syst Des"},{"key":"9269_CR33","unstructured":"Lanotte R, Maggiolo-Schettini A, Tini S, Troina A, Tronci E (2014) Automatic analysis of the NRL pump. In: Proceedings of the MEFISTO project 2003: formal methods for security and time. ENTCS, vol\u00a099. Elsevier, Amsterdam, pp 245\u2013266"},{"key":"9269_CR34","doi-asserted-by":"publisher","unstructured":"Lanotte R, Maggiolo-Schettini A, Troina A (2005) Automatic analysis of a non-repudiation protocol. In: Proceedings of the 2nd international workshop quantitative aspects of programming languages (QAPL\u201904). ENTCS, vol 112. Elsevier, pp 113\u2013129","DOI":"10.1016\/j.entcs.2004.01.020"},{"key":"9269_CR35","doi-asserted-by":"publisher","unstructured":"Li C, Neely MJ (2011) Network utility maximization over partially observable Markovian channels. In: Proceedings of the international symposium on modeling and optimization in mobile, ad hoc and wireless networks (WiOpt\u201911). IEEE Computer Society, pp 17\u201324","DOI":"10.1109\/WIOPT.2011.5930012"},{"key":"9269_CR36","doi-asserted-by":"crossref","unstructured":"Littman M, Cassandra A, Kaelbling L (1995) Learning policies for partially observable environments: scaling up. Technical report CS-95-11, Department of Computer Science, Brown University","DOI":"10.1016\/B978-1-55860-377-6.50052-9"},{"issue":"1","key":"9269_CR37","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1287\/opre.39.1.162","volume":"39","author":"W Lovejoy","year":"1991","unstructured":"Lovejoy W (1991) Computationally feasible bounds for partially observed Markov decision processes. Oper Res 39(1):162\u2013175","journal-title":"Oper Res"},{"issue":"1\u20132","key":"9269_CR38","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0004-3702(02)00378-8","volume":"147","author":"O Madani","year":"2003","unstructured":"Madani O, Hanks S, Condon A (2003) On the undecidability of probabilistic planning and related stochastic optimization problems. Artif Intell 147(1\u20132):5\u201334","journal-title":"Artif Intell"},{"key":"9269_CR39","unstructured":"Markowitch O, Roggeman Y (1999) Probabilistic non-repudiation without trusted third party. In: Proceedings of the 2nd workshop security in communication networks"},{"key":"9269_CR40","doi-asserted-by":"publisher","unstructured":"McCallum R (1993) Overcoming incomplete perception with utile distinction memory. In: Proceedings of the 10th international conference on machine learning (ICML). Morgan Kauffman, pp 190\u2013196","DOI":"10.1016\/B978-1-55860-307-3.50031-9"},{"key":"9269_CR41","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/978-3-319-22975-1_16","volume-title":"Proceedings of the 13th international conference on formal modelling and analysis of timed systems (FORMATS\u201915). LNCS","author":"G Norman","year":"2015","unstructured":"Norman G, Parker D, Zou X (2015) Verification and control of partially observable probabilistic real-time systems. In: Sankaranarayanan S, Vicario E (eds) Proceedings of the 13th international conference on formal modelling and analysis of timed systems (FORMATS\u201915). LNCS, vol 9268. Springer, Berlin, pp 240\u2013255"},{"issue":"2","key":"9269_CR42","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/s10703-012-0177-x","volume":"43","author":"G Norman","year":"2013","unstructured":"Norman G, Parker D, Sproston J (2013) Model checking for probabilistic timed automata. Formal Methods Syst Des 43(2):164\u2013190","journal-title":"Formal Methods Syst Des"},{"key":"9269_CR43","unstructured":"Poupart P (2005) Exploiting structure to efficiently solve large scale partially observable Markov decision processes. Ph.D. thesis, University of Toronto"},{"key":"9269_CR44","unstructured":"PRISM. www.prismmodelchecker.org"},{"key":"9269_CR45","doi-asserted-by":"publisher","DOI":"10.1002\/9780470316887","volume-title":"Markov decision processes: discrete stochastic dynamic programming","author":"M Puterman","year":"1994","unstructured":"Puterman M (1994) Markov decision processes: discrete stochastic dynamic programming. Wiley, Hoboken"},{"key":"9269_CR46","volume-title":"The theory and practice of concurrency","author":"AW Roscoe","year":"1997","unstructured":"Roscoe AW (1997) The theory and practice of concurrency. Prentice-Hall, New York"},{"issue":"2","key":"9269_CR47","first-page":"250","volume":"2","author":"R Segala","year":"1995","unstructured":"Segala R, Lynch N (1995) Probabilistic simulations for probabilistic processes. Nordic J Comput 2(2):250\u2013273","journal-title":"Nordic J Comput"},{"issue":"1","key":"9269_CR48","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10458-012-9200-2","volume":"27","author":"G Shani","year":"2013","unstructured":"Shani G, Pineau J, Kaplow R (2013) A survey of point-based POMDP solvers. Auton Agent Multi Agent Syst 27(1):1\u201351","journal-title":"Auton Agent Multi Agent Syst"},{"key":"9269_CR49","doi-asserted-by":"publisher","unstructured":"Svore\u0148ov\u00e1 M, Chmel\u00edk M, Leahy K, Eniser H, Chatterjee K, \u010cern\u00e1 I, Belta C (2015) Temporal logic motion planning using POMDPs with parity objectives: case study paper. In: Proceedings of the 18th international conference on hybrid systems: computation and control (HSCC\u201915). ACM, pp 233\u2013238","DOI":"10.1145\/2728606.2728617"},{"key":"9269_CR50","first-page":"299","volume-title":"Proceedings of the 5th international AMAST workshop real-time and probabilistic systems (ARTS\u201999). LNCS","author":"S Tripakis","year":"1999","unstructured":"Tripakis S (1999) Verifying progress in timed systems. In: Katoen JP (ed) Proceedings of the 5th international AMAST workshop real-time and probabilistic systems (ARTS\u201999). LNCS, vol 1601. Springer, Berlin, pp 299\u2013314"},{"issue":"3","key":"9269_CR51","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/s10703-005-1632-8","volume":"26","author":"S Tripakis","year":"2005","unstructured":"Tripakis S, Yovine S, Bouajjan A (2005) Checking timed B\u00fcchi automata emptiness efficiently. Formal Methods Syst Des 26(3):267\u2013292","journal-title":"Formal Methods Syst Des"},{"key":"9269_CR52","unstructured":"Yang L, Murugesan S, Zhang J (2011) Real-time scheduling over Markovian channels: when partial observability meets hard deadlines. In: Proceedings of the global telecommunications conference (GLOBECOM\u201911). IEEE Computer Society, pp 1\u20135"},{"key":"9269_CR53","unstructured":"Yu H (2006) Approximate solution methods for partially observable Markov and semi-Markov decision processes. Ph.D. thesis, MIT"},{"key":"9269_CR54","unstructured":"Yu H, Bertsekas D (2004) Discretized approximations for POMDP with average cost. In: Proceedings of the 20th conference on uncertainty in artificial intelligence (UAI\u201904). AUAI Press, pp 619\u2013627"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-017-9269-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11241-017-9269-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-017-9269-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,16]],"date-time":"2025-06-16T04:52:53Z","timestamp":1750049573000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11241-017-9269-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3,8]]},"references-count":54,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2017,5]]}},"alternative-id":["9269"],"URL":"https:\/\/doi.org\/10.1007\/s11241-017-9269-4","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,3,8]]}}}