PPlan

MaRDI QIDQ32502swMATHFDO

Official website http://www.cs.toronto.edu/~sheila/PPLAN/

Described by source

• Specifying and computing preferred plans

Cited in

(3)

• NMRDPP
• Yochan
• SAT-based explicit \(\mathsf{LTL}_f\) satisfiability checking

This page was built for software: PPlan