{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T16:19:08Z","timestamp":1725898748574},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642369759"},{"type":"electronic","value":"9783642369766"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36976-6_14","type":"book-chapter","created":{"date-parts":[[2013,3,5]],"date-time":"2013-03-05T06:26:58Z","timestamp":1362464818000},"page":"206-230","source":"Crossref","is-referenced-by-count":2,"title":["The Duality of State and Observation in Probabilistic Transition Systems"],"prefix":"10.1007","author":[{"given":"Monica","family":"Dinculescu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christopher","family":"Hundt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Prakash","family":"Panangaden","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joelle","family":"Pineau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Doina","family":"Precup","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1137\/1016026","volume":"16","author":"M.A. Arbib","year":"1974","unstructured":"Arbib, M.A., Manes, E.G.: Machines in a category: An expository introduction. SIAM Review\u00a016, 163\u2013192 (1974)","journal-title":"SIAM Review"},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/0005-1098(74)90039-9","volume":"10","author":"M.A. Arbib","year":"1974","unstructured":"Arbib, M.A., Manes, E.G.: Foundations of system theory: decomposable systems. Automatica\u00a010, 285\u2013302 (1974)","journal-title":"Automatica"},{"key":"14_CR3","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1016\/0022-4049(75)90028-6","volume":"6","author":"M.A. Arbib","year":"1975","unstructured":"Arbib, M.A., Manes, E.G.: Adjoint machines, state behavior machines and duality. J. Pure Appl. Algebra\u00a06, 313\u2013343 (1975)","journal-title":"J. Pure Appl. Algebra"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Bainbridge, E.S.: The fundamental duality of system theory. In: Hartnett, W.E. (ed.) Systems: Approaches, Theories, Applications, pp. 45\u201361. Reidel (1977)","DOI":"10.1007\/978-94-010-1239-3_3"},{"key":"14_CR5","first-page":"17","volume":"2","author":"M. Barr","year":"1996","unstructured":"Barr, M.: The chu construction. Theory Appl. Categories\u00a02, 17\u201335 (1996)","journal-title":"Theory Appl. Categories"},{"issue":"6","key":"14_CR6","first-page":"137","volume":"4","author":"M. Barr","year":"1998","unstructured":"Barr, M.: The separated extensional Chu category. Theory Appl. Categories\u00a04(6), 137\u2013147 (1998)","journal-title":"Theory Appl. Categories"},{"issue":"298","key":"14_CR7","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1016\/S0304-3975(02)00865-4","volume":"3","author":"M. Bidoit","year":"2003","unstructured":"Bidoit, M., Hennicker, R., Kurz, A.: Observational logic, constructor-based logic, and their duality. Theor. Comput. Sci.\u00a03(298), 471\u2013510 (2003)","journal-title":"Theor. Comput. Sci."},{"key":"14_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/978-3-642-29485-3_2","volume-title":"Logic and Program Semantics","author":"F. Bonchi","year":"2012","unstructured":"Bonchi, F., Bonsangue, M.M., Rutten, J.J.M.M., Silva, A.: Brzozowski\u2019s Algorithm (Co)Algebraically. In: Constable, R.L., Silva, A. (eds.) Logic and Program Semantics, Kozen Festschrift. LNCS, vol.\u00a07230, pp. 12\u201323. Springer, Heidelberg (2012)"},{"key":"14_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1007\/978-3-540-31982-5_29","volume-title":"Foundations of Software Science and Computational Structures","author":"M.M. Bonsangue","year":"2005","unstructured":"Bonsangue, M.M., Kurz, A.: Duality for Logics of Transition Systems. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol.\u00a03441, pp. 455\u2013469. Springer, Heidelberg (2005)"},{"key":"14_CR10","unstructured":"Brzozowski, J.A.: Canonical regular expressions and minimal state graphs for definite events. In: Fox, J. (ed.) Proceedings of the Symposium on Mathematical Theory of Automata. MRI Symposia Series, vol.\u00a012, pp. 529\u2013561. Polytechnic Press of the Polytechnic Institute of Brooklyn (April 1962), book appeared in 1963"},{"key":"14_CR11","unstructured":"Chrisman, L.: Reinforcement learning with perceptual aliasing: The perceptual distinctions approach. In: Proceedings of the Tenth National Conference on Artificial Intelligence, pp. 183\u2013188 (1992)"},{"key":"14_CR12","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)"},{"key":"14_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1007\/11784180_24","volume-title":"Algebraic Methodology and Software Technology","author":"D. Pavlovic","year":"2006","unstructured":"Pavlovic, D., Mislove, M., Worrell, J.B.: Testing Semantics: Connecting Processes and Process Logics. In: Johnson, M., Vene, V. (eds.) AMAST 2006. LNCS, vol.\u00a04019, pp. 308\u2013322. Springer, Heidelberg (2006)"},{"issue":"2","key":"14_CR14","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1006\/inco.2001.2962","volume":"179","author":"J. Desharnais","year":"2002","unstructured":"Desharnais, J., Edalat, A., Panangaden, P.: Bisimulation for labeled Markov processes. Information and Computation\u00a0179(2), 163\u2013193 (2002)","journal-title":"Information and Computation"},{"issue":"3","key":"14_CR15","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/j.tcs.2003.09.013","volume":"318","author":"J. Desharnais","year":"2004","unstructured":"Desharnais, J., Gupta, V., Jagadeesan, R., Panangaden, P.: A metric for labelled Markov processes. Theoretical Computer Science\u00a0318(3), 323\u2013354 (2004)","journal-title":"Theoretical Computer Science"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to automata theory, languages, and computation, 2nd edn. Addison-Wesley Series in Computer Science. Addison-Wesley-Longman (2001)","DOI":"10.1145\/568438.568455"},{"key":"14_CR17","unstructured":"Hundt, C., Panangaden, P., Pineau, J., Precup, D.: Representing systems with hidden state. In: The Twenty-First National Conference on Artificial Intelligence, AAAI (2006)"},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"James, M., Singh, S.: Learning and discovery of predictive state representations in dynamical systems with reset. In: International Conference on Machine Learning, vol.\u00a021, pp. 417\u2013424 (2004)","DOI":"10.1145\/1015330.1015359"},{"key":"14_CR19","unstructured":"Johnstone, P.: Stone Spaces, Cambridge Studies in Advanced Mathematics, vol.\u00a03. Cambridge University Press (1982)"},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"Kaelbling, L.P., Littman, M.L., Cassandra, A.R.: Planning and acting in partially observable stochastic domains. Artificial Intelligence 101 (1998)","DOI":"10.1016\/S0004-3702(98)00023-X"},{"key":"14_CR21","unstructured":"Kalman, R.E., Falb, P.L., Arbib, M.A.: Topics in Mathematical Systems Theory. McGraw Hill (1969)"},{"issue":"2","key":"14_CR22","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/0022-0000(85)90012-1","volume":"30","author":"D. Kozen","year":"1985","unstructured":"Kozen, D.: A probabilistic PDL. Journal of Computer and Systems Sciences\u00a030(2), 162\u2013178 (1985)","journal-title":"Journal of Computer and Systems Sciences"},{"key":"14_CR23","doi-asserted-by":"crossref","unstructured":"Kozen, D.: Automata and computability. Undergraduate texts in computer science. Springer (1997)","DOI":"10.1007\/978-1-4612-1844-9"},{"key":"14_CR24","unstructured":"Littman, M., Sutton, R., Singh, S.: Predictive representations of state. In: Advances in Neural Information Processing Systems 14 (NIPS), vol.\u00a014, pp. 1555\u20131561 (2002)"},{"key":"14_CR25","unstructured":"McCallum, A.: Reinforcement Learning with Selective Perception and Hidden State. Ph.D. thesis, University of Rochester (1995)"},{"key":"14_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communication Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communication Systems. LNCS, vol.\u00a092. Springer, Heidelberg (1980)"},{"key":"14_CR27","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall (1989)"},{"key":"14_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1007\/978-3-540-24727-2_28","volume-title":"Foundations of Software Science and Computation Structures","author":"M. Mislove","year":"2004","unstructured":"Mislove, M., Ouaknine, J., Pavlovic, D., Worrell, J.: Duality for Labelled Markov Processes. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol.\u00a02987, pp. 393\u2013407. Springer, Heidelberg (2004)"},{"key":"14_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/BFb0017309","volume-title":"Theoretical Computer Science","author":"D. Park","year":"1981","unstructured":"Park, D.: Concurrency and Automata on Infinite Sequences. In: Deussen, P. (ed.) GI-TCS 1981. LNCS, vol.\u00a0104, pp. 167\u2013183. Springer, Heidelberg (1981)"},{"key":"14_CR30","unstructured":"Park, D.: Title unknown (1981), slides for Bad Honnef Workshop on Semantics of Concurrency"},{"key":"14_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/BFb0084795","volume-title":"CONCUR \u201992","author":"V.R. Pratt","year":"1992","unstructured":"Pratt, V.R.: The Duality of Time and Information. In: Cleaveland, W.R. (ed.) CONCUR 1992. LNCS, vol.\u00a0630, pp. 237\u2013253. Springer, Heidelberg (1992)"},{"key":"14_CR32","doi-asserted-by":"crossref","unstructured":"Puterman, M.L.: Markov Decision Processes: Discrete Stochastic Dynamic Programming. Wiley (1994)","DOI":"10.1002\/9780470316887"},{"issue":"3","key":"14_CR33","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1145\/176584.176589","volume":"41","author":"R.L. Rivest","year":"1994","unstructured":"Rivest, R.L., Schapire, R.E.: Diversity-based inference of finite automata. Journal of the ACM\u00a041(3), 555\u2013589 (1994)","journal-title":"Journal of the ACM"},{"key":"14_CR34","unstructured":"Singh, S., James, M.R., Rudary, M.R.: Predictive state representations: A new theory for modeling dynamical systems. In: Proceedings of the Twentieth Conference on Uncertainty in Artificial Intelligence (UAI), pp. 512\u2013519 (2004)"},{"key":"14_CR35","unstructured":"Sipser, M.: Introduction to the theory of computation. PWS Publishing Company (1997)"},{"key":"14_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"662","DOI":"10.1007\/BFb0036946","volume-title":"Automata, Languages and Programming","author":"M. Smyth","year":"1983","unstructured":"Smyth, M.: Powerdomains and Predicate Transformers. In: D\u00edaz, J. (ed.) ICALP 1983. LNCS, vol.\u00a0154, pp. 662\u2013676. Springer, Heidelberg (1983)"},{"key":"14_CR37","unstructured":"Sutton, R.S., Tanner, B.: Temporal-difference networks. In: Advances in Neural Information Processing Systems, vol.\u00a017 (2005)"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36976-6_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,9]],"date-time":"2022-02-09T21:57:36Z","timestamp":1644443856000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36976-6_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642369759","9783642369766"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36976-6_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}