Home • Publications • Talks • Teaching • Academic Services • Projects • Visits • 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 Pseudo-Boolean Proof Logging for Optimal Classical Planning at the European Research Meeting on Automated Planning and Scheduling (ourAMSTERcaps25).
Presented Verifying Unsolvability in Classical Planning with VeriPB at the 16th Alpine Verification Meeting (AVM24). (Slides)