Parametric LTL on Markov Chains

DOI10.1007/978-3-662-44602-7_17zbMath1417.68099arXiv1406.6683OpenAlexW1544797161WikidataQ57800874 ScholiaQ57800874MaRDI QIDQ3190162

Souymodip Chakraborty, Joost-Pieter Katoen

Publication date: 15 September 2014

Published in: Advanced Information Systems Engineering (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1406.6683

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (1)

Markov chains and unambiguous automata

This page was built for publication: Parametric LTL on Markov Chains