scientific article; zbMATH DE number 1560500
From MaRDI portal
Publication:4527273
zbMath0963.68196MaRDI QIDQ4527273
Rune Møller Jensen, Manuela M. Veloso
Publication date: 4 June 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Task decomposition on abstract states, for planning under nondeterminism ⋮ State-set branching: leveraging BDDs for heuristic search ⋮ Strong planning under partial observability ⋮ The symbolic OBDD scheme for generating mechanical assembly sequences ⋮ ACTION FAILURE RECOVERY VIA MODEL-BASED DIAGNOSIS AND CONFORMANT PLANNING ⋮ Weak, strong, and strong cyclic planning via symbolic model checking
Uses Software
This page was built for publication: