Verification of Linear Duration Properties over Continuous Time Markov Chains

Verification of Linear Duration Properties over Continuous Time Markov Chains

Εμφάνιση άλλων εκδόσεων (1)

Stochastic modeling and algorithmic verification techniques have been proved useful in analyzing and detecting unusual trends in performance and energy usage of systems such as power management controllers and wireless sensor devices. Many important properties are dependent on the cumulated time tha...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Chen, T, Diciolla, M, Kwiatkowska, M, Mereacre, A, ACM
Μορφή:	Conference item
Έκδοση:	2012

Παρόμοια τεκμήρια

Verification of Linear Duration Properties over Continuous−Time Markov Chains
ανά: Chen, T, κ.ά.
Έκδοση: (2012)

Time−Bounded Verification of CTMCs Against Real−Time Specifications
ανά: Chen, T, κ.ά.
Έκδοση: (2011)

Quantitative Verification of Implantable Cardiac Pacemakers
ανά: Chen, T, κ.ά.
Έκδοση: (2015)

A Simulink Hybrid Heart Model for Quantitative Verification of Cardiac Pacemakers
ανά: Chen, T, κ.ά.
Έκδοση: (2013)

Quantitative verification of real-time properties with application to medical devices
ανά: Marco Diciolla, M, κ.ά.
Έκδοση: (2014)

Synthesising Optimal Timing Delays for Timed I/O Automata
ανά: Diciolla, M, κ.ά.
Έκδοση: (2014)

Lumpability for uncertain continuous-time Markov chains
ανά: Cardelli, L, κ.ά.
Έκδοση: (2021)

Algorithmic minimization of uncertain continuous-time Markov chains
ανά: Cardelli, L, κ.ά.
Έκδοση: (2023)

Uniqueness criteria for continuous-time Markov chains with general transition structures
ανά: Chen, A, κ.ά.
Έκδοση: (2005)

Importance Sampling for Model Checking of Continuous Time Markov Chains
ανά: Barbot, B, κ.ά.
Έκδοση: (2015)

Data-efficient Bayesian verification of parametric Markov chains
ανά: Polgreen, E, κ.ά.
Έκδοση: (2016)

Safety Verification of Continuous-Space Pure Jump Markov Processes
ανά: Esmaeil Zadeh Soudjani, S, κ.ά.
Έκδοση: (2016)

Time−Bounded Model Checking of Infinite−State Continuous−Time Markov Chains
ανά: Hahn, E, κ.ά.
Έκδοση: (2009)

Symbolic verification and strategy synthesis for linearly-priced probabilistic timed automata
ανά: Kwiatkowska, M, κ.ά.
Έκδοση: (2017)

Adaptive formal approximations of Markov chains
ανά: Abate, A, κ.ά.
Έκδοση: (2021)

Adaptive Continuous time Markov Chain Approximation Model to General Jump-Diffusions
ανά: Cerrato, Mario, κ.ά.
Έκδοση: (2011)

Generalization bounds of ERM-based learning processes for continuous-time Markov chains
ανά: Zhang, Chao, κ.ά.
Έκδοση: (2013)

Homogeneous row-continuous bivariate Markov chains with boundaries
Έκδοση: (2002)

Quantitative model-checking of controlled discrete-time Markov processes
ανά: Tkachev, I, κ.ά.
Έκδοση: (2016)

ADM-CLE approach for detecting slow variables in continuous time Markov chains and dynamic data
ανά: Cucuringu, M, κ.ά.
Έκδοση: (2015)

ADM-CLE approach for detecting slow variables in continuous time Markov chains and dynamic data
ανά: Cucuringu, M, κ.ά.
Έκδοση: (2017)

Almost-linear-time algorithms for Markov chains and new spectral primitives for directed graphs
ανά: Peng, Richard, κ.ά.
Έκδοση: (2018)

PEMODELAN STOKASTIK REGULASI GEN DALAM MERESPON GRADED HYPOXIA DENGAN CONTINUOUS-TIME MARKOV CHAIN
ανά: , Putu Indah Ciptayani, κ.ά.
Έκδοση: (2012)

Markov chains /
ανά: 229373 Revuz, D.
Έκδοση: (1984)

Markov chains /
ανά: 229373 Revuz, D.
Έκδοση: (1975)

Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks
ανά: Abate, A, κ.ά.
Έκδοση: (2015)

Designing robust software systems through parametric markov chain synthesis
ανά: Kwiatkowska, M, κ.ά.
Έκδοση: (2017)

Formal and efficient synthesis for continuous-time linear stochastic hybrid processes
ανά: Laurenti, L, κ.ά.
Έκδοση: (2020)

Enforcing ω-regular properties in Markov chains by restarting
ανά: Esparza, J, κ.ά.
Έκδοση: (2021)

Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives.
ανά: Brázdil, T, κ.ά.
Έκδοση: (2008)

Denumerable Markov chains /
ανά: 436192 Kemeny, John G., κ.ά.
Έκδοση: (1976)

Efficient CTMC Model Checking of Linear Real−Time Objectives
ανά: Barbot, B, κ.ά.
Έκδοση: (2011)

A scalable approach for continuous time Markov models with covariates
ανά: Hatami, F, κ.ά.
Έκδοση: (2023)

PRISM 4.0: Verification of probabilistic real-time systems
ανά: Kwiatkowska, M, κ.ά.
Έκδοση: (2011)

Verification and control of turn-based probabilistic real-time games
ανά: Kwiatkowska, M, κ.ά.
Έκδοση: (2019)

Acyclic linear SEMs obey the nested Markov property
ανά: Shpitser, I, κ.ά.
Έκδοση: (2018)

Exact sampling with Markov chains
ανά: Wilson, David Bruce
Έκδοση: (2007)

The Markov Chain Tree Theorem
ανά: Leighton, Frank Thomson, κ.ά.
Έκδοση: (2023)

Distinguishing Hidden Markov Chains
ανά: Kiefer, S, κ.ά.
Έκδοση: (2016)

Markov chains and unambiguous automata
ανά: Baier, C, κ.ά.
Έκδοση: (2023)