Efficient planning with state trajectory constraints (original) (raw)
Related papers
Handling PDDL3.0 State Trajectory Constraints with Temporal Landmarks
arXiv (Cornell University), 2017
PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains
Journal of Artificial Intelligence Research, 2003
Experimental Evaluation of a Planning Language Suitable for Formal Verification
Ricky Butler, Radu Siminiceanu
Lecture Notes in Computer Science, 2009
Planning with Derived Predicates through Rule-Action Graphs and Relaxed-Plan Heuristics
PDDL - The Planning Domain Definition Language
PDDL—The Planning Domain Definition Language Version 1.2
1998
Mapping temporal planning constraints into timed automata
Proceedings Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001
Integrating Constraint Models for Sequential and Partial-Order Planning
LTL Plan Specification for Robotic Tasks Modelled as Finite State Automata
Proc. of Workshop ADAPT–Agent Design: Advancing from Practice to Theory, Workshop at AAMAS
COLIN: Planning with Continuous Linear Numeric Change
2014
Algorithms for minimum-violation planning with formal specifications
Path-finding in dynamic environments with PDDL-planners
2013 16th International Conference on Advanced Robotics (ICAR), 2013
Linear temporal logic as an executable semantics for planning languages
Journal of Logic, Language and Information, 2006
Planning in the Wild: Modeling Tools for PDDL
Volker Strobel, Alexandra Kirsch
Planning through Stochastic Local Search and Temporal Action Graphs
Journal of Artificial Intelligence Research, 1994
Automata-based Optimal Planning with Relaxed Specifications
2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
Numeric State Variables in Constraint-Based Planning
Lecture Notes in Computer Science, 2000
Optimized Execution of PDDL Plans using Behavior Trees
arXiv (Cornell University), 2021
Robot motion planning with task specifications via regular languages
Robotica, 2015
2005
Guiding Planning Engines by Transition-Based Domain Control Knowledge
2016
Efficient Constrained Path Planning via Search in State Lattices
2005
Branching Path Planning with Modal Logics
Computación y Sistemas, 2017
A Planning Fully Based on Linear Time Logic
Icaps, 2000
Constraint Models for Sequential Planning
Lecture Notes in Computer Science, 2009
Exploiting state constraints in heuristic state-space planning
2000
Planning with Soft Regular Constraints
2006
Temporal Planning as Refinement-Based Model Checking
Proceedings of the International Conference on Automated Planning and Scheduling
Planning in domains with derived predicates through rule-action graphs and local search
Annals of Mathematics and Artificial Intelligence, 2011
Linear logic for domain-independent ai planning
2003
Incremental deterministic planning
2006
Planning under LTL Environment Specifications
Proceedings of the International Conference on Automated Planning and Scheduling
Yannis Dimopoulos, Alessandro Saetti, Derek Long
State Space Planning Using Transaction Logic
CTP: A new constraint-based formalism for conditional, temporal planning