Keyword:Automated Planning

Publications
An Interactive Osteotomy Platform for Automated Planning of 3D Multiplanar Leg Malalignment-Correcting Osteotomies Quinten Veerman, Gabriëlle Tuijthof, Judith Olde Heuvel and Roy Hoogeslag In:Proceedings of The 24th Annual Meeting of the International Society for Computer Assisted Orthopaedic Surgery
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