From c82f08d40b47bb5b8f0ed9394af040427167ebe8 Mon Sep 17 00:00:00 2001 From: Brandon Rozek Date: Fri, 29 Mar 2024 17:43:34 -0400 Subject: [PATCH] Fixed spelling --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 6c018b5..c68cc84 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,6 @@ # Spectra -Spectra is a general purpose planning system. It extends STRIPS-style planning by allowing arbitray DCEC and first-order formulae for state descriptions, background knowledge, and action descriptions rather than just predicates. This allows, for instance, handling domains with infinite or unbounded objects elegantly (among other things). +Spectra is a general purpose planning system. It extends STRIPS-style planning by allowing arbitrary DCEC and first-order formulae for state descriptions, background knowledge, and action descriptions rather than just predicates. This allows, for instance, handling domains with infinite or unbounded objects elegantly (among other things). [Overview Presentation (pdf)](https://drive.google.com/open?id=1RHulFDgASACBkjvl-8ZEidj50NbGmKPu)