Mechanical verification on strategies

DOI10.1007/BF00881831zbMath0842.68074MaRDI QIDQ1896369

Sakthi Subramanian

Publication date: 27 August 1995

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

Boyer-Moore logicplanning domain

Mathematics Subject Classification ID

Uses Software

• NQTHM
• CLAM
• Oyster

Cites Work

• How to clear a block: a theory of plans
• STRIPS: A new approach to the application of theorem proving to problem solving
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Mechanical verification on strategies