An efficient synthesis algorithm for parametric markov chains against linear time properties

Yong Li, Wanwei Liu, Andrea Turrini*, Ernst Moritz Hahn, Lijun Zhang

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)

Fingerprint

Dive into the research topics of 'An efficient synthesis algorithm for parametric markov chains against linear time properties'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science