Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 10 of 778 results
Sort by: relevance publication year

Model Checking Continuous-Time Markov Chains by Transient Analysis

BOOK CHAPTER published 2000 in Computer Aided Verification

Authors: Christel Baier | Boudewijn Haverkort | Holger Hermanns | Joost-Pieter Katoen

https://doi.org/10.1007/10722167_28 Actions

Rapid Mixing of Several Markov Chains for a Hard-Core Model

BOOK CHAPTER published 2003 in Algorithms and Computation

Authors: Ravi Kannan | Michael W. Mahoney | Ravi Montenegro

https://doi.org/10.1007/978-3-540-24587-2_68 Actions

Optimality conditions for continuous time systems with controlled jump Markov disturbances: Application to an FMS planning problem

BOOK CHAPTER published 1988 in Analysis and Optimization of Systems

Authors: K. Boukas | A. Haurie

https://doi.org/10.1007/bfb0042254 Actions

Qualitative Reachability for Open Interval Markov Chains

BOOK CHAPTER published 2018 in Lecture Notes in Computer Science

Authors: Jeremy Sproston

https://doi.org/10.1007/978-3-030-00250-3_11 Actions

Behavior of Limiting Diffusions for Density-Dependent Branching processes

BOOK CHAPTER published 1980 in Biological Growth and Spread

Authors: Carla Wofsy

https://doi.org/10.1007/978-3-642-61850-5_13 Actions

Positive Recurrence of Multi-Dimensional Population-Dependent Branching Processes

BOOK CHAPTER published 1980 in Biological Growth and Spread

Authors: W. Rittgen

https://doi.org/10.1007/978-3-642-61850-5_10 Actions

Validation of a railway interlocking model

BOOK CHAPTER published 1994 in Lecture Notes in Computer Science

Authors: Kirsten Mark Hansen

https://doi.org/10.1007/3-540-58555-9_117 Actions

Synthesizing Routes for Low Sampling Trajectories with Absorbing Markov Chains

BOOK CHAPTER published 2011 in Web-Age Information Management

Authors: Chengxuan Liao | Jiaheng Lu | Hong Chen

https://doi.org/10.1007/978-3-642-23535-1_52 Actions

Characterizing Markov Decision Processes

BOOK CHAPTER published 2002 in Lecture Notes in Computer Science

Authors: Bohdana Ratitch | Doina Precup

https://doi.org/10.1007/3-540-36755-1_33 Actions

Stochastic Algorithms in Linear Algebra - beyond the Markov Chains and von Neumann - Ulam Scheme

BOOK CHAPTER published 2011 in Numerical Methods and Applications

Authors: Karl Sabelfeld

https://doi.org/10.1007/978-3-642-18466-6_2 Actions

Proofs Of Some Statements In Probability Theory

BOOK CHAPTER published in Lecture Notes in Mathematics

https://doi.org/10.1007/3-540-44623-0_13 Actions

Model Checking of Infinite State Space Markov Chains by Stochastic Bounds

BOOK CHAPTER published in Analytical and Stochastic Modeling Techniques and Applications

Authors: Mouad Ben Mamoun | Nihal Pekergin

https://doi.org/10.1007/978-3-540-68982-9_19 Actions

Random Generation of Deterministic Acyclic Automata Using Markov Chains

BOOK CHAPTER published 2011 in Implementation and Application of Automata

Authors: Vincent Carnino | Sven De Felice

https://doi.org/10.1007/978-3-642-22256-6_7 Actions

Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains

BOOK CHAPTER published in Hybrid Systems: Computation and Control

Authors: Tingting Han | Joost-Pieter Katoen | Alexandru Mereacre

https://doi.org/10.1007/978-3-540-78929-1_18 Actions

Sur la densite du maximum d'une fonction aleatoire gaussienne

BOOK CHAPTER published 1982 in Séminaire de Probabilités XVI 1980/81

Authors: Antoine Ehrhard

https://doi.org/10.1007/bfb0092817 Actions

A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains

BOOK CHAPTER published in Automated Technology for Verification and Analysis

Authors: Hichem Boudali | Pepijn Crouzen | Mariëlle Stoelinga

https://doi.org/10.1007/978-3-540-75596-8_31 Actions

Model Checking Markov Chains Using Krylov Subspace Methods: An Experience Report

BOOK CHAPTER published 2010 in Computer Performance Engineering

Authors: Falko Dulat | Joost-Pieter Katoen | Viet Yen Nguyen

https://doi.org/10.1007/978-3-642-15784-4_8 Actions

Markov Chains for High Frequency Stock Trading Strategies

BOOK CHAPTER published 2022 in Lecture Notes in Networks and Systems

Authors: Cesar C. Almiñana

https://doi.org/10.1007/978-3-031-10461-9_47 Actions

Interacting Markov Processes

BOOK CHAPTER published 1980 in Biological Growth and Spread

Authors: Thomas M. Liggett

https://doi.org/10.1007/978-3-642-61850-5_15 Actions

Model-Checking ω-Regular Properties of Interval Markov Chains

BOOK CHAPTER published in Foundations of Software Science and Computational Structures

Authors: Krishnendu Chatterjee | Koushik Sen | Thomas A. Henzinger

https://doi.org/10.1007/978-3-540-78499-9_22 Actions
Feedback: support@crossref.org