Hyperfinite approximations to labeled markov transition systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4019 LNCS, Issue , 2006, Pages 127-141

  Doberkat, Ernst Erich ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTER SOFTWARE; FORMAL LOGIC; MARKOV PROCESSES;

HYPERFINITE APPROXIMATIONS; MARKOV TRANSITION SYSTEMS;

COMPUTER SYSTEMS;

EID: 33746032969     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11784180_12     Document Type: Conference Paper

References (21)

1. R. A. Anderson. Star-finite representations of measure spaces. Trans. Amer. Math. Soc., 271(2):667-687, June 1982.
2. R. M. Anderson and S. Rashid. A nonstandard characterization of weak convergence. Proc. Amer. Math. Soc., 69(2);327 - 332, May 1978.
3. P. Blackburn, M. de Rjike, and Y. Venema. Modal Logic. Number 53 in Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, UK, 2001.
4. N. Cutland. Nonstandard measure theory and its applications. Bull. London Math. Soc., 15:529-589, 1983.
5. V. Danos, J. Desharnais, and P. Panangaden. Labelled markov processes: Stronger and faster approximations. Electr. Notes Theor. Comp. Sci., 87, 2004. 44 pages.
6. J. Desharnais, A. Edalat, and P. Panangaden. Bisimulation of labelled Markov-processes. Information and Computation, 179(2): 163 - 193, 2002.
7. J. Desharnais, R. Jagadeesan, V. Gupta, and P. Panangaden. Approximating labeled Markov processes. In Proc. 15th Ann. IEEE Symp. on Logic in Computer Science, pages 95 - 106, June, 2000. IEEE Computer Society.
8. E.-E. Doberkat, Semi-pullbacks and bisimulations in categories of stochastic relations. In Proc. ICALP'03, volume 2719 of Lect. Notes Comp. Sci., pages 996 - 1007, Berlin, 2003. Springer-Verlag.
9. E.-E. Doberkat. Semi-pullbacks for stochastic relations over analytic spaces. Math. Struct. Comp. Sci., 15:647 - 670, 2005.
10. E.-E. Doberkat. Notes on stochastic relations. Research report, Department of Computer Science, University of Dortmund, January 2006.
11. E.-E. Doberkat. Stochastic relations: congruences, bisimulations and the Hennessy-Milner theorem. SIAM J. Computing, 35(3):590 - 626, 2006.
12. S. Fajardo and H. J. Keisler. Model Theory of Stochastic Processes. Number 14 in Lecture Notes in Logic. Association for Symbolic Logic, Natick, Mass., 2002.
13. M. Giry. A categorical approach to probability theory. In Categorical Aspects of Topology and Analysis, number 915 in Lect. Notes Math., pages 68 - 85, Berlin, 1981. Springer-Verlag.
14. H. J. Keisler. Infinitesimals in probability theory. In N. Cutland, editor, Nonstandard analysis and its applications, number 10 in London Mathematical Society Student Texts, pages 106 - 139, Cambridge University Press, Cambridge, UK, 1988.
15. K. G. Larsen and A. Skou. Bisimulation through probabilistic testing. Information and Computation, 94:1-28, 1991.
16. T. Lindstrøm. An invitation to nonstandard analysis. In N. Cutland, editor, Nonstandard analysis and its applications, number 10 in London Mathematical Society Student Texts, pages 1 - 105. Cambridge University Press, Cambridge, UK, 1988.
17. P. A. Loeb. Conversion to nonstandard measure spaces and applications to probability theory. Trans. Amer. Math. Soc., 211:113 - 122, 1975.
18. S. M. Srivastava. A Course on Borel Sets. Graduate Texts in Mathematics. Springer-Verlag, Berlin, 1998.
19. K. D. Stroyan and W. A. J. Luxemburg. Introduction to the theory of Infinitesimals. Pure and Applied Mathematics. Academic Press, New York, 1976.
20. Y. Sun. Economics and nonstandard analysis. In P. A. Loeb and M. Wolff, editors, Nonstandard analysis for the Working Mathematician, Mathematics and its Applications, pages 259 - 305. Kluwer Academic Publishers, Dordrecht, 2000.
21. F. van Breugel, M. Mislove, J. Ouaknine, and J. Worrell. Domain theory, testing and simulation for labelled Markov processes. Theoret. Comp. Sci., 333:171 - 197, 2005.