{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,30]],"date-time":"2026-05-30T04:52:04Z","timestamp":1780116724717,"version":"3.54.0"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540741275","type":"print"},{"value":"9783540741282","type":"electronic"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-74128-2_6","type":"book-chapter","created":{"date-parts":[[2007,8,27]],"date-time":"2007-08-27T02:05:15Z","timestamp":1188180315000},"page":"84-94","source":"Crossref","is-referenced-by-count":7,"title":["Checking Liveness Properties of Concurrent Systems by Reinforcement Learning"],"prefix":"10.1007","author":[{"given":"Tadashi","family":"Araragi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Seung Mo","family":"Cho","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"6_CR1","volume-title":"Model Checking","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge, MA (2000)"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in Property Specification for Finite-state Verification. In: The 21st ICSE, pp. 411\u2013420 (1999)","DOI":"10.1145\/302405.302672"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Harel, D.: On Visual Formalism. Comm. of ACM, pp. 514\u2013530 (1988)","DOI":"10.1145\/42411.42414"},{"key":"6_CR4","unstructured":"Havelund, K., Rosu, G.: Testing Linear Temporal Logic Formulae on Finite Execution Traces. RIACS Technical Report TR 01-08 (2001)"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Holzmann, G.: Software Analysis and Model Checking. In: Proc. Computer Aided Verification, pp. 1\u201316 (2002)","DOI":"10.1007\/3-540-45657-0_1"},{"key":"6_CR6","unstructured":"Kim, M., Kannan, S., Lee, I., Sokolsky, O., Viswanathan, M.: Java-MaC: a Run-time Assurance Tool for Java Programs. In: Proc. First Workshop on Runtime Verification (RV 2001), July 2001 (2001)"},{"key":"6_CR7","volume-title":"Distributed Algorithms","author":"N. Lynch","year":"1997","unstructured":"Lynch, N.: Distributed Algorithms. Morgan Kaufmann, San Francisco (1997)"},{"key":"6_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems - Specification","author":"Z. Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems - Specification. Springer, Heidelberg (1992)"},{"key":"6_CR9","volume-title":"Reinforcement Learning: An introduction","author":"R.S. Sutton","year":"1998","unstructured":"Sutton, R.S., Barto, A.G.: Reinforcement Learning: An introduction. MIT Press, Cambridge, MA (1998)"}],"container-title":["Lecture Notes in Computer Science","Model Checking and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74128-2_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T10:27:08Z","timestamp":1558261628000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74128-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540741275","9783540741282"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74128-2_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007]]}}}