BOOK-CHAPTER
Parametric LTL on Markov Chains
Souymodip ChakrabortyJoost-Pieter Katoen
Year: 2014 Lecture notes in computer science Pages: 207-221 Publisher: Springer Science+Business Media
Keywords:
Undecidable problem Reachability Decidability Markov chain Mathematics Parametric statistics Natural number Discrete mathematics Algorithm Computer science Combinatorics Statistics
Metrics
14
Cited By
1.77
FWCI (Field Weighted Citation Impact)
20
Refs
0.82
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Logic, Reasoning, and Knowledge
Physical Sciences → Computer Science → Artificial Intelligence
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Related Documents
JOURNAL ARTICLE
Gradient descent on parametric Markov Chains
Journal: RWTH Publications (RWTH Aachen) Year: 2020
BOOK-CHAPTER
Parameter Synthesis for Parametric Interval Markov Chains
Benoît DelahayeDidier LimeLaure Petrucci
Lecture notes in computer science Year: 2015 Pages: 372-390
BOOK-CHAPTER
Parametric estimation of censored semi-Markov chains
Vlad Ștefan BarbuFlorian LecocqNicolas Vergne
Elsevier eBooks Year: 2025 Pages: 83-107
BOOK-CHAPTER
Non parametric Estimation for Semi-Markov Chains
Vlad Ștefan BarbuNikolaos Limnios
Lecture notes in statistics Year: 2008 Pages: 1-25
BOOK-CHAPTER
Accelerated Model Checking of Parametric Markov Chains
Paul GainerErnst Moritz HahnSven Schewe
Lecture notes in computer science Year: 2018 Pages: 300-316