01HSVI2 belief-space planning for optimal attacker/defender strategy and game value computation
02CVSS-admissible A* heuristic for synthesizing optimal-cost multi-step exploit chains
030 GitHub stars
048 distinct mathematical frameworks (POSG, AND-OR A*, Hawkes process, Colonel Blotto, Exp3 bandit, absorbing Markov chain, GPD extreme value theory, replicator dynamics)
05Attack graph construction from heterogeneous inputs into a unified weighted directed graph
0615 live data sources queried in parallel for comprehensive intelligence