1. K Planning System. http://www.dlvsystem.com/k-planning-system/. K Planning System. http://www.dlvsystem.com/k-planning-system/.
2. Metasploit penetration testing software. https://www.metasploit.com/. Metasploit penetration testing software. https://www.metasploit.com/.
3. Scalable, graph-based network vulnerability analysis
4. Monte Carlo tree search in Kriegspiel