Research map / Learning theory and algorithms / Combinatorial and search optimization
Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces
Read the paperCheck your idea against 108,967 papers
AI-extracted summary. Written by AI from the paper's title only (no summary yet). Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.
Measured effects reported in the paper
| What was changed | Where | Measured | Effect |
|---|---|---|---|
| Use alternating-automata (AA) compilation instead of NFA compilation | PRP with LTL-FOND compilation (finite traces) · FOND benchmarks with finite LTL goals | number of new fluents | Hurt |
| Use AA compilation instead of NFA compilation | PRP with LTL-FOND compilation (finite traces) · FOND benchmarks with finite LTL goals | compilation run time | Helped |
| Use AA compilation instead of NFA compilation | PRP with LTL-FOND compilation (finite traces) · FOND benchmarks with finite LTL goals | PRP run time | Hurt |
| Use AA compilation instead of NFA compilation | PRP with LTL-FOND compilation (finite traces) · FOND benchmarks with finite LTL goals | policy size | Hurt |
| Use AA compilation instead of NFA compilation | PRP with LTL-FOND compilation (finite traces) · FOND benchmarks with finite LTL goals | world plan length in shortest policy plan | No clear effect |
| Add non-deterministic actions to deterministic problems | AA and NFA compilations · FOND benchmarks with finite LTL goals | planner performance | No clear effect |
| Use ABA compilation instead of PLG13seq or PLG13par | PRP on Waldo problems · Waldo (infinite LTL goals) | PRP run time | Mixed |
| Use ABA compilation instead of PLG13seq or PLG13par | PRP on Lift problems with many conjunctive goals · Lift (infinite LTL goals) | scalability | Helped |
| Use ABA compilation instead of PLG13seq or PLG13par | PRP on Clerk problems · Clerk (infinite LTL goals) | number of problems solved: 1 and 2 more problems | Hurt |
| Use ABA compilation instead of PLG13par | PRP policies · Waldo, Lift, Clerk | policy size (world actions) | Helped |
Closest papers by meaning
- Situation Calculus Temporally Lifted Abstractions for Generalized Planning (AAAI 2025 · similarity 0.90)
- Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping (AAAI 2022 · similarity 0.89)
- LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments (AAAI 2025 · similarity 0.87)
- Temporal Numeric Planning with Patterns (AAAI 2025 · similarity 0.86)
- DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL (ICLR 2025 · similarity 0.86)
- Towards Practical Classical Planning Compilations of Numeric Planning (AAAI 2025 · similarity 0.85)
Writing a paper in this area? scime draft is a free LaTeX editor with AI included, real-time co-authors and a check of your references and venue rules before you submit. It also imports OpenAI Prism projects.