DiPS: A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications

Mapping Intimacies ◽

10.1007/978-3-030-91825-5_5 ◽

2021 ◽

pp. 79-95

Author(s):

Matej Hajnal ◽

David Šafránek ◽

Tatjana Petrov

Keyword(s):

Markov Chains ◽

Parameter Synthesis ◽

Download Full-text

Data-Informed Parameter Synthesis for Population Markov Chains

Hybrid Systems Biology - Lecture Notes in Computer Science ◽

10.1007/978-3-030-28042-0_10 ◽

2019 ◽

pp. 147-164 ◽

Author(s):

Matej Hajnal ◽

Morgane Nouvian ◽

David Šafránek ◽

Tatjana Petrov

Keyword(s):

Markov Chains ◽

Parameter Synthesis ◽

Download Full-text

Data-Informed Parameter Synthesis for Population Markov Chains

Computational Methods in Systems Biology - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31304-3_32 ◽

2019 ◽

pp. 383-386

Author(s):

Matej Hajnal ◽

Morgane Nouvian ◽

Tatjana Petrov ◽

David Šafránek

Keyword(s):

Markov Chains ◽

Parameter Synthesis ◽

Download Full-text

Parameter Synthesis Algorithms for Parametric Interval Markov Chains

Formal Techniques for Distributed Objects, Components, and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-92612-4_7 ◽

2018 ◽

pp. 121-140 ◽

Author(s):

Laure Petrucci ◽

Jaco van de Pol

Keyword(s):

Markov Chains ◽

Parameter Synthesis

Download Full-text

Parameter Synthesis for Parametric Interval Markov Chains

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-662-49122-5_18 ◽

2015 ◽

pp. 372-390 ◽

Author(s):

Benoît Delahaye ◽

Didier Lime ◽

Laure Petrucci

Keyword(s):

Markov Chains ◽

Parameter Synthesis

Download Full-text

Empirical Markov chains as models of dynamic processes

PsycEXTRA Dataset ◽

10.1037/e484502008-001 ◽

2008 ◽

Author(s):

Stephen Merrill

Keyword(s):

Markov Chains ◽

Dynamic Processes

Download Full-text

Markov models—Markov chains

Nature Methods ◽

10.1038/s41592-019-0476-x ◽

2019 ◽

Vol 16 (8) ◽

pp. 663-664 ◽

Author(s):

Jasleen K. Grewal ◽

Martin Krzywinski ◽

Naomi Altman

Keyword(s):

Markov Chains ◽

Download Full-text

A Comprehensive Performance Evaluation on Iterative Algorithms for Sensitivity Analysis of Continuous-Time Markov Chains

IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences ◽

10.1587/transfun.2019eap1171 ◽

2020 ◽

Vol E103.A (11) ◽

pp. 1252-1259

Author(s):

Yepeng CHENG ◽

Hiroyuki OKAMURA ◽

Tadashi DOHI

Keyword(s):

Sensitivity Analysis ◽

Performance Evaluation ◽

Markov Chains ◽

Continuous Time ◽

Iterative Algorithms ◽

Continuous Time Markov Chains ◽

Comprehensive Performance

Download Full-text

Optimal and Near-Optimal Incentive Strategies in the Hierarchical Control of Markov Chains

10.23919/acc.1983.4788279 ◽

1983 ◽

Author(s):

Vikram R. Saksena ◽

J. B. Cruz

Keyword(s):

Markov Chains ◽

Hierarchical Control ◽

Incentive Strategies

Download Full-text

On Hankel-Norm Approximation of Large-Scale Markov Chains

1991 American Control Conference ◽

10.23919/acc.1991.4791662 ◽

1991 ◽

Author(s):

Guanrong Chen ◽

Charles K. Chui ◽

Yaoqi Yu

Keyword(s):

Markov Chains ◽

Large Scale ◽

Hankel Norm ◽

Norm Approximation

Download Full-text

A note on some new results on the ergodic control of partially observed Markov chains

Proceedings of the 2004 American Control Conference ◽

10.23919/acc.2004.1383687 ◽

2004 ◽

Author(s):

Shun-Pin Hsu ◽

A. Arapostathis

Keyword(s):

Markov Chains ◽

Ergodic Control ◽

Partially Observed

Download Full-text