Keyword:Automated Planning

Publications
Analysis of Attack Graph Representations for Ranking Vulnerability Fixes Tom Gonda, Tal Pascal, Rami Puzis, Guy Shani and Bracha Shapira In:GCAI-2018. 4th Global Conference on Artificial Intelligence
Robotics, Temporal Logic and Stream Reasoning Patrick Doherty, Fredrik Heintz and Jonas Kvarnström In:LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning