Home • Publications • Talks • Teaching • Academic Services • Projects • All News
Talks
Presented Pseudo-Boolean Proof Logging for Optimal Classical Planning at the 17th Alpine Verification Meeting (AVM25).
Presented Pseudo-Boolean Proof Logging for Optimal Classical Planning at the 2nd International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS25). (Slides) (Video)
Presented Verifying Unsolvability in Classical Planning with VeriPB at the 16th Alpine Verification Meeting (AVM24). (Slides)