Byeongjee Kang

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Top Topics

Distributed Systems

Heuristic Search

State Space Search

Partially Observable

Top Venues

Publications

Byeongjee Kang, Kyungmin Bae
Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic Search. FTSCS (2022)