Automated Vulnerability Analysis Using AI Planning.
Steven A. HarpJohnathan GohdeThomas HaighMark S. BoddyPublished in: AAAI Spring Symposium: AI Technologies for Homeland Security (2005)
Keyphrases
- ai planning
- integer programming
- heuristic search
- planning under uncertainty
- web service composition
- planning problems
- planning domains
- automated web service composition
- planning systems
- action models
- temporal planning
- automated planning
- machine learning
- process model
- petri net
- dynamic programming
- video sequences
- genetic algorithm
- control knowledge
- information retrieval