29 citations · 149 across the 31 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.LO2013★ 9 cited
Polsat: A Portfolio LTL Satisfiability Solver
Jianwen Li, Geguang Pu, Lijun Zhang +3
In this paper we present a portfolio LTL-satisfiability solver, called Polsat. To achieve fast satisfiability checking for LTL formulas, the tool integrates four representative LTL…
cs.LO2013★ 1 cited
When Equivalence and Bisimulation Join Forces in Probabilistic Automata
Yuan Feng, Lijun Zhang
Probabilistic automata were introduced by Rabin in 1963 as language acceptors. Two automata are equivalent if and only if they accept each word with the same probability. On the ot…