Pinned Repositories
ATB-DCK
CSMs
CyberDeception
PTT
Planning Task Transformer
Verification-of-Plans-Against-Nature
Source code and benchmark data for the paper "On Verifying Linear Execution Strategies in Planning Against Nature" published at ICAPS 2024
app-trapper
Software for IJCAI17 paper on solving APP with dead-end reasoning
lchrpa's Repositories
lchrpa/ATB-DCK
lchrpa/CyberDeception
lchrpa/PTT
Planning Task Transformer
lchrpa/CSMs
lchrpa/Verification-of-Plans-Against-Nature
Source code and benchmark data for the paper "On Verifying Linear Execution Strategies in Planning Against Nature" published at ICAPS 2024