作者: Radu I. Siminiceanu , Rick W. Butler , César A. Muñoz
DOI: 10.1007/978-3-642-00431-5_9
关键词:
摘要: The marriage of model checking and planning faces two seemingly diverging alternatives: the need for a language expressive enough to capture complexity real-life applications, as opposed simple, yet robust be amenable exhaustive verification validation techniques. In an attempt reconcile these differences, we have designed abstract plan description language, ANMLite, inspired from Action Notation Modeling Language (ANML). We present basic concepts ANMLite well automatic translator checker SAL (Symbolic Analysis Laboratory). discuss various aspects specifying in terms constraints explore implications choosing logic behind specification constraints, rather than simply propose new language. Additionally, provide initial assessment efficiency search solutions problems. To this end, design test benchmark study scalability generated models complexity.