Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Tomás Prieto-Rumeau
Selected Topics on Continuous-Time Controlled Markov Chains and Markov Games
ICP Advanced Texts in Mathematics
Related publications
Distributions of Reward Functions on Continuous-Time Markov Chains
Continuous Parameter Markov Chains
A Ruelle Operator for Continuous Time Markov Chains
Sao Paulo Journal of Mathematical Sciences
Mathematics
Statistics
Uncertainty
Probability
Computational Theory
Nonstationary Markov Decision Processes and Related Topics in Nonstationary Markov Chains
Bounding Inferences for Large-Scale Continuous-Time Markov Chains: A New Approach Based on Lumping and Imprecise Markov Chains
International Journal of Approximate Reasoning
Applied Mathematics
Theoretical Computer Science
Artificial Intelligence
Software
Stability Estimates for Finite Homogeneous Continuous-Time Markov Chains
Theory of Probability and its Applications
Uncertainty
Statistics
Probability
Analysis of Signalling Pathways Using Continuous Time Markov Chains
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
CSL^TA: An Expressive Logic for Continuous-Time Markov Chains
