scientific article; zbMATH DE number 1560498
From MaRDI portal
Publication:4527271
zbMATH Open0963.68195MaRDI QIDQ4527271FDOQ4527271
Authors: Alessandro Cimatti, Marco Roveri 
Publication date: 4 June 2001
Title of this publication is not available (Why is that?)
Recommendations
- Conformant planning via symbolic model checking and heuristic search
- Conformant planning via heuristic forward search: A new approach
- Compiling uncertainty away in conformant planning problems with bounded width
- Weak, strong, and strong cyclic planning via symbolic model checking
- Approximation of action theories and its application to conformant planning
Cited In (28)
- Extending Classical Planning to the Multi-agent Case: A Game-Theoretic Approach
- Conformant planning via heuristic forward search: A new approach
- Symbolic techniques in satisfiability solving
- State-set branching: leveraging BDDs for heuristic search
- State agnostic planning graphs: deterministic, non-deterministic, and probabilistic planning
- Strong planning under partial observability
- Conformant planning via symbolic model checking and heuristic search
- Property directed reachability for automated planning
- A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
- SAT-based planning in complex domains: Concurrency, constraints and nondeterminism
- A correctness result for synthesizing plans with loops in stochastic domains
- Weak, strong, and strong cyclic planning via symbolic model checking
- Model checking approach to automated planning
- Plan aggregation for strong cyclic planning in nondeterministic domains
- Compiling uncertainty away in conformant planning problems with bounded width
- Conformant plans and beyond: principles and complexity
- The symbolic OBDD scheme for generating mechanical assembly sequences
- Proof systems for planning under 0-approximation semantics
- Task decomposition on abstract states, for planning under nondeterminism
- Title not available (Why is that?)
- Approximation of action theories and its application to conformant planning
- CPCES: a planning framework to solve conformant planning problems through a counterexample guided refinement
- A generic approach to planning in the presence of incomplete information: theory and implementation
- Fast strong planning for fully observable nondeterministic planning problems
- Title not available (Why is that?)
- Action failure recovery via model-based diagnosis and conformant planning
- Minimax real-time heuristic search
- Compiling uncertainty away in non-deterministic conformant planning
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4527271)
