Login / Signup
Byeongjee Kang
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 2
Top Topics
Timed Automata
Planning Problems
Reachability Analysis
State Space Search
Top Venues
FTSCS
Sci. Comput. Program.
</>
Publications
</>
Byeongjee Kang
,
Kyungmin Bae
Narrowing and heuristic search for symbolic reachability analysis of concurrent object-oriented systems.
Sci. Comput. Program.
235 (2024)
Byeongjee Kang
,
Kyungmin Bae
Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic Search.
FTSCS
(2022)