6 citations · 6 across the 4 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016
An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties
Yong Li, Wanwei Liu, Andrea Turrini +2
In this paper, we propose an efficient algorithm for the parameter synthesis of PLTL formulas with respect to parametric Markov chains. The PLTL formula is translated to an almost…
cs.FL2016
A Short Note on Infinite Union/Intersection of Omega Regular Languages
Wanwei Liu
We in this paper show that omega regular languages are not closed under infinite union and intersection. As an attempt, we propose to add step variables and quantifiers to temporal…