On the public citation graph

Planning with State Abstractions for Non-Markovian Task Specifications

https://doi.org/10.15607/rss.2019.xv.059
0 signed · 46 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/978-1-4613-8928-6_23openalex-snapshot
On a Decision Method in Restricted Second Order Arithmetic
inferredcites →https://doi.org/10.1007/s10514-014-9418-8openalex-snapshot
Provably correct reactive control from natural language
inferredcites →https://doi.org/10.1016/j.automatica.2008.08.008openalex-snapshot
Temporal logic motion planning for dynamic robots
inferredcites →https://doi.org/10.1016/s0004-3702(99)00052-1openalex-snapshot
Between MDPs and semi-MDPs: A framework for temporal abstraction in reinforcement learning
inferredcites →https://doi.org/10.1109/cdc.2011.6161122openalex-snapshot
MDP optimal control under temporal logic constraints
inferredcites →https://doi.org/10.1109/cdc.2012.6426174openalex-snapshot
Robust control of uncertain Markov Decision Processes with temporal logic specifications
inferredcites →https://doi.org/10.1109/cdc.2014.7039527openalex-snapshot
A learning based approach to control synthesis of Markov decision processes for linear temporal logic specifications
inferredcites →https://doi.org/10.1109/cdc.2017.8263891openalex-snapshot
Robust multi-layered sampling-based path planning for temporal logic-based missions
inferredcites →https://doi.org/10.1109/cdc.2017.8264386openalex-snapshot
Interpretable apprenticeship learning with temporal logic specifications
inferredcites →https://doi.org/10.1109/iros.2010.5650371openalex-snapshot
LTLMoP: Experimenting with language, Temporal Logic and robot control
inferredcites →https://doi.org/10.1109/iros.2014.6943085openalex-snapshot
Sampling-based tree search with discrete abstractions for motion planning with dynamics and temporal logic
inferredcites →https://doi.org/10.1109/iros.2016.7759412openalex-snapshot
A model for verifiable grounding and execution of complex natural language instructions
inferredcites →https://doi.org/10.1109/iros.2018.8593943openalex-snapshot
PiDrone: An Autonomous Educational Drone Using Raspberry Pi and Python
inferredcites →https://doi.org/10.1109/lra.2017.2727514openalex-snapshot
Cost-Aware Path Planning Under Co-Safe Temporal Logic Specifications
inferredcites →https://doi.org/10.1109/tac.2014.2298143openalex-snapshot
Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints
inferredcites →https://doi.org/10.1145/2814347.2814350openalex-snapshot
3D Collaboration Method over HoloLens™ and Skype™ End Points
inferredcites →https://doi.org/10.1163/156855308x344864openalex-snapshot
Translating Structured English to Robot Controllers
inferredcites →https://doi.org/10.15607/rss.2014.x.039openalex-snapshot
Probably Approximately Correct MDP Learning and Control With Temporal Logic Constraints
inferredcites →https://doi.org/10.15607/rss.2015.xi.018openalex-snapshot
Grounding English Commands to Reward Functions
inferredcites →https://doi.org/10.15607/rss.2018.xiv.067openalex-snapshot
Sequence-to-Sequence Language Grounding of Non-Markovian Task Specifications
inferredcites →https://doi.org/10.1609/icaps.v27i1.13867openalex-snapshot
Planning with Abstract Markov Decision Processes
inferredcites →https://doi.org/10.1613/jair.5575openalex-snapshot
From Skills to Symbols: Learning Symbolic Representations for Abstract High-Level Planning
inferredcites →https://doi.org/10.18653/v1/w17-3204openalex-snapshot
Six Challenges for Neural Machine Translation
inferredcites →https://doi.org/10.23919/acc.2019.8814646openalex-snapshot
Compositional planning in Markov decision processes: Temporal abstraction meets generalized logic composition
inferredcites →https://doi.org/10.48550/arxiv.1412.6980openalex-snapshot
Adam: A Method for Stochastic Optimization
inferredcites →https://doi.org/10.48550/arxiv.1509.07582openalex-snapshot
Constructing Abstraction Hierarchies Using a Skill-Symbol Loop
inferredcites →https://doi.org/10.48550/arxiv.1604.06057openalex-snapshot
Hierarchical Deep Reinforcement Learning: Integrating Temporal Abstraction and Intrinsic Motivation
inferredcites →https://doi.org/10.48550/arxiv.1802.04302openalex-snapshot
Evaluating Compositionality in Sentence Embeddings

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-3-031-45072-3_13openalex-snapshot
Semantic Role Assisted Natural Language Rule Formalization for Intelligent Vehicle
inferred← citeshttps://doi.org/10.1007/978-3-031-75778-5_6openalex-snapshot
What Is Formal Verification Without Specifications? A Survey on Mining LTL Specifications
inferred← citeshttps://doi.org/10.1007/s10514-022-10043-yopenalex-snapshot
Hierarchical planning with state abstractions for temporal task specifications
inferred← citeshttps://doi.org/10.1109/access.2026.3721879openalex-snapshot
GCR-RL: Gradient Control Reward Shaping for Reinforcement Learning
inferred← citeshttps://doi.org/10.1109/iccr51572.2020.9344198openalex-snapshot
Grounding Implicit Goal Description for Robot Indoor Navigation via Recursive Belief Update
inferred← citeshttps://doi.org/10.1109/icra40945.2020.9197068openalex-snapshot
Grounding Language to Landmarks in Arbitrary Outdoor Environments
inferred← citeshttps://doi.org/10.1109/icra46639.2022.9812169openalex-snapshot
Generalizing to New Domains by Mapping Natural Language to Lifted LTL
inferred← citeshttps://doi.org/10.1109/icra46639.2022.9812355openalex-snapshot
Using Language to Generate State Abstractions for Long-Range Planning in Outdoor Environments
inferred← citeshttps://doi.org/10.1109/icra48891.2023.10161125openalex-snapshot
Data-Efficient Learning of Natural Language to Linear Temporal Logic Translators for Robot Task Specification
inferred← citeshttps://doi.org/10.1109/icra55743.2025.11128420openalex-snapshot
SELP: Generating Safe and Efficient Task Plans for Robot Agents with Large Language Models
inferred← citeshttps://doi.org/10.1109/iros58592.2024.10801817openalex-snapshot
CoT-TL: Low-Resource Temporal Knowledge Representation of Planning Instructions Using Chain-of-Thought Reasoning
inferred← citeshttps://doi.org/10.1109/iros58592.2024.10802696openalex-snapshot
Lang2LTL-2: Grounding Spatiotemporal Navigation Commands Using Large Language and Vision-Language Models
inferred← citeshttps://doi.org/10.1109/iv55156.2024.10588650openalex-snapshot
TR2MTL: LLM based framework for Metric Temporal Logic Formalization of Traffic Rules
inferred← citeshttps://doi.org/10.1109/lra.2020.2977217openalex-snapshot
Planning With Uncertain Specifications (PUnS)
inferred← citeshttps://doi.org/10.1145/3371382.3377437openalex-snapshot
Interactive Robot Training for Temporal Tasks
inferred← citeshttps://doi.org/10.15607/rss.2020.xvi.016openalex-snapshot
Grounding Language to Non-Markovian Tasks with No Supervision of Task Specifications
inferred← citeshttps://doi.org/10.48550/arxiv.2003.02232openalex-snapshot
Interactive Robot Training for Non-Markov Tasks
inferred← citeshttps://doi.org/10.48550/arxiv.2102.12571openalex-snapshot
The Logical Options Framework
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.