ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
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
◽
Cited By ~ 1
Author(s):
Matej Hajnal
◽
Morgane Nouvian
◽
David Šafránek
◽
Tatjana Petrov
Keyword(s):
Markov Chains
◽
Parameter Synthesis
◽
Data Informed
Download Full-text
Related Documents
Cited By
References
DiPS: A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications
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
◽
Data Informed
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
◽
Data Informed
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
◽
Cited By ~ 2
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
◽
Cited By ~ 8
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
◽
Cited By ~ 1
Author(s):
Jasleen K. Grewal
◽
Martin Krzywinski
◽
Naomi Altman
Keyword(s):
Markov Chains
◽
Markov Models
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
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close