Stochastic systems divergence through reinforcement learning

Keywords

Markov decision process, Rotation formalisms in three dimensions, Reinforcement learning, Computer science, Divergence (linguistics)

References

• Metric Denotational Semantics for PEPAMarta Kwiatkowska, Gethin Norman — 2002
• Algebraic Reasoning for Probabilistic Concurrent SystemsAlessandro Giacalone, Chi-Chang Jou, Scott A. Smolka — 1990
• Information Theory: 1948-1998 - Guest EditorialSergio Verdú — 1998
• Bisimulation through Probabilistic TestingKim G. Larsen, Arne Skou — 1991
• Quantitative analysis and model checkingMichael Huth, Marta Kwiatkowska — 1997
• Dynamic Programming and Optimal Control, Two Volume SetDimitri P. Bertsekas — 1995
• Implementation of symbolic model checking for probabilistic systemsDavid Parker — 2003
• Reinforcement learning with selective perception and hidden stateAndrew Kachites McCallum, Dana H. Ballard — 1996
• Representing Systems with Hidden StateChristopher Hundt, Prakash Panagaden, Joëlle Pineau — 2006
• A logical characterization of bisimulation for labeled Markov processesJosée Desharnais, Abbas Edalat, Prakash Panangaden — 1998
• Algebraic laws for nondeterminism and concurrencyMatthew Hennessy, Robin Milner — 1985
• Testing probabilistic equivalence through Reinforcement LearningJosée Desharnais, François Laviolette, Sami Zhioua — 2006
• Metrics for labelled Markov processesJosée Desharnais, Vineet Gupta, Radha Jagadeesan — 2004
• What is dynamic programming?Sean R. Eddy — 2004
• The Optimal Control of Partially Observable Markov Processes over a Finite HorizonRichard D. Smallwood, Edward J. Sondik — 1973
• Systems: An Introductory Analysis with Applications to Biology, Control, and Artificial Intelligence, by John H. Holland MIT Press (Bradford Books), Cambridge, Mass., 1992, xiv+211 pp. (Paperback £13.50, cloth £26.95)Alex M. Andrew — 1993
• A probabilistic distance measure for hidden Markov modelsB.-H. Juang, L. R. Rabiner — 1985
• Approximating and computing behavioural distances in probabilistic transition systemsFranck van Breugel, James Worrell — 2006
• A Testing Equivalence for Reactive Probabilistic ProcessesMarta Kwiatkowska, Gethin Norman — 1998
• Reactive, generative, and stratified models of probabilistic processesRob van Glabbeek, Scott A. Smolka, Bernhard Steffen — 1990

Cited by

• Analyse de diverses distances en vérification formelle probabilisteAbir Zhioua — 2012
• TD(λ) and Q-learning based Ludo playersMajed Alhajry, Faisal Alvi, Moataz Ahmed — 2012
• A ROUTING METHOD IN MOBILE AD-HOC NETWORKS USING DISTRIBUTED ARTIFICIAL INTELLIGENCE TECHNICSM R Hasani Ahangar, D Faridnia, M Saleh Esfahani — 2012
• Q-Learning Based Ludo PlayersMajed Alhajry, Faisal Alvi, Moataz A. Ahmed

Related papers

• Model Representation & Decision-Making in an Ever-Changing World: The Role of Stochastic Process Models of Transportation SystemsDavid Watling, Giulio Erberto Cantarella — 2013
• Processes of educational informatics incorporating stochastic modelsConstantinos T. Artikis, Panagiotis T. Artikis — 2009
• Applications in agent-based computational economicsStephan C. Schuster — 2012
• Using predictions for planning and modeling in *stochastic environmentsM. R. James, Satinder Singh Baveja — 2005
• Toward Constructing a Modular Model of Distributed IntelligenceYu.L. Slovokhotov, I. S. Neretin — 2018
• Systems Theory in the Social Sciences: Stochastic and Control Systems Pattern Recognition Fuzzy Analysis Simulation Behavioral ModelsHartmut Bossel, Salomón Klaczko-Ryndziun, Norbert Müller — 1980
• Modelling Learning as ModellingScott Moss, Bruce Edmonds — 1994
• Stochastic Evolving Differential Games Toward a Systems Theory of Behavioral Social DynamicsGiulia Ajmone Marsan, Nicola Bellomo, Livio Gibelli — 2015