Star-topology decoupled state space search (Q1749386): Difference between revisions

@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Cunf
@@ Property / describes a project that uses: Cunf / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.artint.2017.12.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2777796911
@@ Property / OpenAlex ID: W2777796911 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5313998
@@ Property / cites work: Q5313998 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4423257
@@ Property / cites work: Q4423257 / rank @@
+Normal rank
@@ Property / cites work @@
+A stubborn attack on state explosion
@@ Property / cites work: A stubborn attack on state explosion / rank @@
+Normal rank
@@ Property / cites work @@
+Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
+Normal rank
@@ Property / cites work @@
+Q3455593
@@ Property / cites work: Q3455593 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3359783
@@ Property / cites work: Q3359783 / rank @@
+Normal rank
@@ Property / cites work @@
+An improvement of McMillan's unfolding algorithm
@@ Property / cites work: An improvement of McMillan's unfolding algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Directed Unfolding of Petri Nets
@@ Property / cites work: Directed Unfolding of Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Unfoldings: A partial-order approach to model checking.
+Normal rank
@@ Property / cites work @@
+Efficient unfolding of contextual Petri nets
@@ Property / cites work: Efficient unfolding of contextual Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Recent advances in unfolding technique
@@ Property / cites work: Recent advances in unfolding technique / rank @@
+Normal rank
@@ Property / cites work @@
+Planning in a hierarchy of abstraction spaces
@@ Property / cites work: Planning in a hierarchy of abstraction spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Automatically generating abstractions for planning
+Normal rank
@@ Property / cites work @@
+On the complexity of planning for agent teams and its implications for single agent planning
+Normal rank
@@ Property / cites work @@
+Distributed Heuristic Forward Search for Multi-agent Planning
+Normal rank
@@ Property / cites work @@
+Q5283006
@@ Property / cites work: Q5283006 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791845
@@ Property / cites work: Q4791845 / rank @@
+Normal rank
@@ Property / cites work @@
+Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs
+Normal rank
@@ Property / cites work @@
+Q3624141
@@ Property / cites work: Q3624141 / rank @@
+Normal rank
@@ Property / cites work @@
+Using regression-match graphs to control search in planning
+Normal rank
@@ Property / cites work @@
+Planning as heuristic search
@@ Property / cites work: Planning as heuristic search / rank @@
+Normal rank
@@ Property / cites work @@
+Q2717791
@@ Property / cites work: Q2717791 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449304
@@ Property / cites work: Q4449304 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624014
@@ Property / cites work: Q3624014 / rank @@
+Normal rank
@@ Property / cites work @@
+The LAMA Planner: Guiding Cost-Based Anytime Planning with Landmarks
+Normal rank
@@ Property / cites work @@
+Red-black planning: a new systematic approach to partial delete relaxation
+Normal rank
@@ Property / cites work @@
+The computational complexity of propositional STRIPS planning
+Normal rank
@@ Property / cites work @@
+Towards efficient universal planning: A randomized approach
+Normal rank
@@ Property / cites work @@
+Q4411159
@@ Property / cites work: Q4411159 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4252730
@@ Property / cites work: Q4252730 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Interpolants and Symbolic Model Checking
@@ Property / cites work: Interpolants and Symbolic Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449303
@@ Property / cites work: Q4449303 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5715685
@@ Property / cites work: Q5715685 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4580275
@@ Property / cites work: Q4580275 / rank @@
+Normal rank
@@ Property / cites work @@
+Merge-and-Shrink Abstraction
@@ Property / cites work: Merge-and-Shrink Abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Downward refinement and the efficiency of hierarchical problem solving
+Normal rank
@@ Property / cites work @@
+Q3624132
@@ Property / cites work: Q3624132 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624119
@@ Property / cites work: Q3624119 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624197
@@ Property / cites work: Q3624197 / rank @@
+Normal rank
@@ Property / cites work @@
+The influence of \(k\)-dependence on the complexity of planning
+Normal rank
@@ Property / cites work @@
+Q5715683
@@ Property / cites work: Q5715683 / rank @@
+Normal rank
@@ Property / cites work @@
+Concise finite-domain representations for PDDL planning tasks
+Normal rank
@@ Property / cites work @@
+Fast planning through planning graph analysis
@@ Property / cites work: Fast planning through planning graph analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449294
@@ Property / cites work: Q4449294 / rank @@
+Normal rank
@@ Property / cites work @@
+ParamILS: An Automatic Algorithm Configuration Framework
+Normal rank
@@ Property / cites work @@
+A Verification-Based Approach to Memory Fence Insertion in PSO Memory Systems
+Normal rank
@@ Property / cites work @@
+Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude?
+Normal rank
@@ Property / cites work @@
+Q4265497
@@ Property / cites work: Q4265497 / rank @@
+Normal rank