Zechen Hou

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 2

Top Topics

Probabilistic Automata

Symbolic Reasoning

Top Venues

Acta Informatica

Publications

Xudong Qin, Simon Bliudze, Eric Madelaine, Zechen Hou, Yuxin Deng, Min Zhang
SMT-based generation of symbolic automata. Acta Informatica 57 (3-5) (2020)
Zechen Hou, Eric Madelaine
Symbolic bisimulation for open and parameterized systems. PEPM@POPL (2020)