Time−Bounded Model Checking of Infinite−State Continuous−Time Markov Chains

Time−Bounded Model Checking of Infinite−State Continuous−Time Markov Chains

The design of complex concurrent systems often involves intricate performance and dependability considerations. Continuous-time Markov chains (CTMCs) are a widely used modeling formalism that captures such performance and dependability properties, and makes them analyzable by model checking. In this...

সম্পূর্ণ বিবরণ

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Hahn, E, Hermanns, H, Wachter, B, Zhang, L
বিন্যাস:	Journal article
প্রকাশিত:	2009

অনুরূপ উপাদানগুলি

INFAMY: An Infinite−State Markov Model Checker
অনুযায়ী: Hahn, E, অন্যান্য
প্রকাশিত: (2009)

Importance Sampling for Model Checking of Continuous Time Markov Chains
অনুযায়ী: Barbot, B, অন্যান্য
প্রকাশিত: (2015)

Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
অনুযায়ী: Taolue Chen, অন্যান্য
প্রকাশিত: (2011-03-01)

Two Approaches to the Construction of Perturbation Bounds for Continuous-Time Markov Chains
অনুযায়ী: Alexander Zeifman, অন্যান্য
প্রকাশিত: (2020-02-01)

PASS: Abstraction Refinement for Infinite Probabilistic Models
অনুযায়ী: Hahn, E, অন্যান্য
প্রকাশিত: (2010)

Generalization bounds of ERM-based learning processes for continuous-time Markov chains
অনুযায়ী: Zhang, Chao, অন্যান্য
প্রকাশিত: (2013)

The Arsenal of Perturbation Bounds for Finite Continuous-Time Markov Chains: A Perspective
অনুযায়ী: Alexander Y. Mitrophanov
প্রকাশিত: (2024-05-01)

On three methods for bounding the rate of convergence for some continuous–time Markov chains
অনুযায়ী: Zeifman Alexander, অন্যান্য
প্রকাশিত: (2020-06-01)

PARAM: A Model Checker for Parametric Markov Models
অনুযায়ী: Hahn, E, অন্যান্য
প্রকাশিত: (2010)

Geometric bounds for stationary distributions of infinite Markov chains via Lyapunov functions
প্রকাশিত: (2003)

Geometric bounds for stationary distributions of infinite Markov chains via Lyapunov functions
প্রকাশিত: (2003)

Lumpability for uncertain continuous-time Markov chains
অনুযায়ী: Cardelli, L, অন্যান্য
প্রকাশিত: (2021)

A Binary-State Continuous-Time Markov Chain Model for Offshoring and Reshoring
অনুযায়ী: Chiara Brambilla, অন্যান্য
প্রকাশিত: (2024-05-01)

Matrix Analysis for Continuous-Time Markov Chains
অনুযায়ী: Le Hung V., অন্যান্য
প্রকাশিত: (2021-12-01)

Rate Reduction for State-labelled Markov Chains with Upper Time-bounded CSL Requirements
অনুযায়ী: Bharath Siva Kumar Tati, অন্যান্য
প্রকাশিত: (2016-07-01)

Algorithmic minimization of uncertain continuous-time Markov chains
অনুযায়ী: Cardelli, L, অন্যান্য
প্রকাশিত: (2023)

LTL model checking of interval Markov chains
অনুযায়ী: Benedikt, M, অন্যান্য
প্রকাশিত: (2013)

Numerical Computation of Distributions in Finite-State Inhomogeneous Continuous Time Markov Chains, Based on Ergodicity Bounds and Piecewise Constant Approximation
অনুযায়ী: Yacov Satin, অন্যান্য
প্রকাশিত: (2023-10-01)

On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models
অনুযায়ী: Aleksandr Andreychenko, অন্যান্য
প্রকাশিত: (2011-07-01)

Estimation–Calibration of Continuous-Time Non-Homogeneous Markov Chains with Finite State Space
অনুযায়ী: Manuel L. Esquível, অন্যান্য
প্রকাশিত: (2024-02-01)

Multi-state SVIRD Model with Continuous-time Markov Chain Assumption on the Spread of Infectious Diseases
অনুযায়ী: Faihatuz Zuhairoh, অন্যান্য
প্রকাশিত: (2024-01-01)

Modeling Emergency Traffic Using a Continuous-Time Markov Chain
অনুযায়ী: Ahmad Hani El Fawal, অন্যান্য
প্রকাশিত: (2024-10-01)

Uniqueness criteria for continuous-time Markov chains with general transition structures
অনুযায়ী: Chen, A, অন্যান্য
প্রকাশিত: (2005)

Quantitative model-checking of controlled discrete-time Markov processes
অনুযায়ী: Tkachev, I, অন্যান্য
প্রকাশিত: (2016)

Model Checking CSL for Markov Population Models
অনুযায়ী: David Spieler, অন্যান্য
প্রকাশিত: (2014-06-01)

Strong Law of Large Numbers for Countable Markov Chains Indexed by an Infinite Tree with Uniformly Bounded Degree
অনুযায়ী: Bao Wang, অন্যান্য
প্রকাশিত: (2014-01-01)

Facilitating Numerical Solutions of Inhomogeneous Continuous Time Markov Chains Using Ergodicity Bounds Obtained with Logarithmic Norm Method
অনুযায়ী: Alexander Zeifman, অন্যান্য
প্রকাশিত: (2020-12-01)

Adaptive Continuous time Markov Chain Approximation Model to General Jump-Diffusions
অনুযায়ী: Cerrato, Mario, অন্যান্য
প্রকাশিত: (2011)

A continuous-time Markov chain model of fibrosis progression in NAFLD and NASH
অনুযায়ী: Lyndsey F. Meyer, অন্যান্য
প্রকাশিত: (2023-05-01)

Verification of Linear Duration Properties over Continuous Time Markov Chains
অনুযায়ী: Chen, T, অন্যান্য
প্রকাশিত: (2012)

Verification of Linear Duration Properties over Continuous−Time Markov Chains
অনুযায়ী: Chen, T, অন্যান্য
প্রকাশিত: (2012)

Subgeometric Ergodicity Analysis of Continuous-Time Markov Chains under Random-Time State-Dependent Lyapunov Drift Conditions
অনুযায়ী: Mokaedi V. Lekgari
প্রকাশিত: (2014-01-01)

Stochastic differential equations to model influenza transmission with continuous and discrete-time Markov chains
অনুযায়ী: Kazi Mehedi Mohammad, অন্যান্য
প্রকাশিত: (2025-01-01)

Information diffusion model with homogeneous continuous time Markov chain on Indonesian Twitter users
অনুযায়ী: Firdaniza Firdaniza, অন্যান্য
প্রকাশিত: (2022-01-01)

A continuous-time Markov chain and stochastic differential equations approach for modeling malaria propagation
অনুযায়ী: Asma Akter Akhi, অন্যান্য
প্রকাশিত: (2023-12-01)

Non-homogeneous continuous time Markov chain model for information dissemination on Indonesian Twitter users
অনুযায়ী: Firdaniza Firdaniza, অন্যান্য
প্রকাশিত: (2023-01-01)

Infinite hierarchical hidden Markov models
অনুযায়ী: Heller, K, অন্যান্য
প্রকাশিত: (2009)

The infinite factorial hidden Markov model
অনুযায়ী: Van Gael, J, অন্যান্য
প্রকাশিত: (2009)

Infinite Horizon Discrete Time Control Problems for Bounded Processes
প্রকাশিত: (2009-03-01)

Analysis of Exchange Rates as Time-Inhomogeneous Markov Chain with Finite States
অনুযায়ী: Felix O. Mettle, অন্যান্য
প্রকাশিত: (2022-01-01)