Travelled to:
1 × China
Collaborated with:
J.Li G.Pu L.Zhang J.He
Talks about:
satisfi (1) infinit (1) checker (1) trace (1) finit (1) aalta (1) ltl (1)
Person: Yinbo Yao
DBLP: Yao:Yinbo
Contributed to:
Wrote 1 papers:
- FSE-2014-LiYP0H #finite #infinity #ltl #named #satisfiability
- Aalta: an LTL satisfiability checker over Infinite/Finite traces (JL, YY, GP, LZ, JH), pp. 731–734.