Collaborated with:A.Turrini E.M.Hahn S.Schewe Y.Chen M.Heizmann O.Lengál Yong Li 0031 M.Tsai
Talks about:algorithm (2) probabilist (1) automata (1) program (1) termin (1) qualit (1) pariti (1) advanc (1) simpl (1) check (1)
Person: Lijun Zhang 0001
DBLP: 0001:Lijun_Zhang
Contributed to:
2016
2018Wrote 2 papers:
- CAV-2016-HahnSTZ #algorithm #game studies #probability
- A Simple Algorithm for Solving Qualitative Probabilistic Parity Games (EMH, SS, AT, LZ0), pp. 291–311.
- PLDI-2018-ChenHLLTTZ #algorithm #termination
- Advanced automata-based algorithms for program termination checking (YFC, MH, OL, YL0, MHT, AT, LZ0), pp. 135–150.