{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T02:13:25Z","timestamp":1725675205687},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642293498"},{"type":"electronic","value":"9783642293504"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29350-4_81","type":"book-chapter","created":{"date-parts":[[2012,4,16]],"date-time":"2012-04-16T11:01:00Z","timestamp":1334574060000},"page":"688-696","source":"Crossref","is-referenced-by-count":1,"title":["Interval Probabilities of State Transitions in Probabilistic Automata"],"prefix":"10.1007","author":[{"given":"Henryk","family":"Piech","sequence":"first","affiliation":[]},{"given":"Olga","family":"Siedlecka-Lamch","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"81_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-1844-9","volume-title":"Automata and Computability","author":"D.C. Kozen","year":"1997","unstructured":"Kozen, D.C.: Automata and Computability. Springer, New York (1997)"},{"key":"81_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/978-3-642-13541-5_16","volume-title":"Agent and Multi-Agent Systems: Technologies and Applications","author":"H. Piech","year":"2010","unstructured":"Piech, H., Bednarska, U.: Iterative Method for Improving Consistency of Multi-attribute Object Judgments Performed by Teams of Decision Makers. In: J\u0119drzejowicz, P., Nguyen, N.T., Howlet, R.J., Jain, L.C. (eds.) KES-AMSTA 2010. LNCS, vol.\u00a06071, pp. 150\u2013159. Springer, Heidelberg (2010)"},{"key":"81_CR3","volume-title":"Introduction to Probabilistic Automata","author":"A. Paz","year":"1971","unstructured":"Paz, A.: Introduction to Probabilistic Automata. Academic Press, New York (1971)"},{"key":"81_CR4","doi-asserted-by":"crossref","unstructured":"Rabin, M.O.: Probabilistic automata. Information and Control\u00a0(6), 230\u2013245 (1963)","DOI":"10.1016\/S0019-9958(63)90290-0"},{"key":"81_CR5","series-title":"International Book Series","first-page":"75","volume-title":"Information Science and Computing\u201d - Algorithmic and Mathematical Foundations of the Artificial Intelligence","author":"O. Siedlecka","year":"2008","unstructured":"Siedlecka, O.: Minimization of reactive probabilistic automata. In: Information Science and Computing\u201d - Algorithmic and Mathematical Foundations of the Artificial Intelligence. International Book Series, vol.\u00a0(1), pp. 75\u201380. ITNEA, Sofia (2008)"},{"key":"81_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-24611-4_1","volume-title":"Validation of Stochastic Systems","author":"A. Sokolova","year":"2004","unstructured":"Sokolova, A., de Vink, E.P.: Probabilistic Automata: System Types, Parallel Composition and Comparison. In: Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.-P., Siegle, M. (eds.) Validation of Stochastic Systems. LNCS, vol.\u00a02925, pp. 1\u201343. Springer, Heidelberg (2004)"},{"key":"81_CR7","doi-asserted-by":"crossref","unstructured":"Wu, S.H., Smolka, A., Stark, E.W.: Composition and Behaviours of Probabilistic I\/O automata. Theoretical Computer Science\u00a0(176), 1\u201338 (1997)","DOI":"10.1016\/S0304-3975(97)00056-X"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Soft Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29350-4_81.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:36:47Z","timestamp":1620128207000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29350-4_81"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642293498","9783642293504"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29350-4_81","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}