On the public citation graph
Sorry Dave, I'm Afraid I Can't Do That: Explaining Unachievable Robot Tasks Using Natural Language
0 signed · 71 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/978-3-642-22110-1_54openalex-snapshot
Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP
inferredcites →https://doi.org/10.1109/cdc.2009.5400278openalex-snapshot
Sampling-based motion planning with deterministic μ-calculus specifications
inferredcites →https://doi.org/10.1109/icra.2011.5979895openalex-snapshot
Revising temporal logic specifications for motion planning
inferredcites →https://doi.org/10.1109/icra.2012.6224807openalex-snapshot
Automated feedback for unachievable high-level robot behaviors
inferredcites →https://doi.org/10.1109/icra.2012.6224826openalex-snapshot
On the revision problem of specification automata
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/robot.2009.5152776openalex-snapshot
What to do and how to do it: Translating natural language directives into temporal and dynamic logic representation for goal management and action execution
inferredcites →https://doi.org/10.1109/robot.2010.5509503openalex-snapshot
Sampling-based motion planning with temporal goals
inferredcites →https://doi.org/10.1109/tac.2007.914952openalex-snapshot
A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
inferredcites →https://doi.org/10.1109/tro.2009.2030225openalex-snapshot
Temporal-Logic-Based Reactive Mission and Motion Planning
inferredcites →https://doi.org/10.1109/tro.2012.2214558openalex-snapshot
Explaining Impossible High-Level Robot Behaviors
inferredcites →https://doi.org/10.1145/1734454.1734552openalex-snapshot
Following directions using statistical machine translation
inferredcites →https://doi.org/10.1145/1755952.1755968openalex-snapshot
Receding horizon control for temporal logic specifications
inferredcites →https://doi.org/10.1162/0891201042544929openalex-snapshot
Intricacies of Collins' Parsing Model
inferredcites →https://doi.org/10.1163/156855308x344864openalex-snapshot
Translating Structured English to Robot Controllers
inferredcites →https://doi.org/10.15607/rss.2011.vii.003openalex-snapshot
Controlling Wild Bodies Using Linear Temporal Logic
inferredcites →https://doi.org/10.1609/aaai.v25i1.7979openalex-snapshot
Understanding Natural Language Commands for Robotic Navigation and Mobile Manipulation
inferredcites →https://doi.org/10.3115/1220835.1220859openalex-snapshot
Fully parsing the Penn Treebank
inferredcites →https://doi.org/10.5281/zenodo.8100882openalex-snapshot
VerbNet: A broad-coverage, comprehensive verb lexicon
inferredcites →https://doi.org/10.5555/1734454.1734552openalex-snapshot
Following directions using statistical machine translation
inferredcites →https://doi.org/10.7551/mitpress/9481.003.0008openalex-snapshot
Controlling Wild Bodies Using Linear Temporal Logic
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.2139/ssrn.4676007openalex-extracted
Synthesizing Controller for Unsynthesizable Specification Based on Safety Levels
inferred← citeshttps://doi.org/10.1007/978-3-030-25540-4_13openalex-snapshot
Synthesizing Approximate Implementations for Unrealizable Specifications
inferred← citeshttps://doi.org/10.1007/978-3-030-28423-7_1openalex-snapshot
Trust, Resilience and Interpretability of AI Models
inferred← citeshttps://doi.org/10.1007/978-3-032-05005-2_26openalex-snapshot
Towards a More Natural Approach to Property Specification in the IVY Workbench
inferred← citeshttps://doi.org/10.1007/978-3-319-57288-8_7openalex-snapshot
On Learning Sparse Boolean Formulae for Explaining AI Decisions
inferred← citeshttps://doi.org/10.1007/978-3-319-60916-4_36openalex-snapshot
Robot Creation from Functional Specifications
inferred← citeshttps://doi.org/10.1007/978-3-319-68189-4_11openalex-snapshot
Multimodal Semantic Simulations of Linguistically Underspecified Motion Events
inferred← citeshttps://doi.org/10.1007/978-981-96-0617-7_1openalex-snapshot
NL2CTL: Automatic Generation of Formal Requirements Specifications via Large Language Models
inferred← citeshttps://doi.org/10.1007/s00165-021-00564-1openalex-snapshot
TOrPEDO: witnessing model correctness with topological proofs
inferred← citeshttps://doi.org/10.1007/s10458-020-09487-2openalex-snapshot
Towards a framework for certification of reliable autonomous systems
inferred← citeshttps://doi.org/10.1007/s10514-014-9418-8openalex-snapshot
Provably correct reactive control from natural language
inferred← citeshttps://doi.org/10.1007/s10817-018-9499-8openalex-snapshot
Explaining AI Decisions Using Efficient Methods for Learning Sparse Boolean Formulae
inferred← citeshttps://doi.org/10.1109/aero55745.2023.10115982openalex-snapshot
Resolving Ambiguity via Dialogue to Correct Unsynthesizable Controllers for Free-Flying Robots
inferred← citeshttps://doi.org/10.1109/aivr.2018.00012openalex-snapshot
A Natural Language Programming Application for Lego Mindstorms EV3
inferred← citeshttps://doi.org/10.1109/hri.2019.8673193openalex-snapshot
Plan Explanations as Model Reconciliation -- An Empirical Study
inferred← citeshttps://doi.org/10.1109/icra.2014.6907489openalex-snapshot
Open-world mission specification for reactive robots
inferred← citeshttps://doi.org/10.1109/icra.2014.6907842openalex-snapshot
Ensuring safety in human-robot dialog — A cost-directed approach
inferred← citeshttps://doi.org/10.1109/icra.2019.8794208openalex-snapshot
SMT-Based Control and Feedback for Social Navigation
inferred← citeshttps://doi.org/10.1109/icra57147.2024.10611447openalex-snapshot
Plug in the Safety Chip: Enforcing Constraints for LLM-driven Robot Agents
inferred← citeshttps://doi.org/10.1109/indin41052.2019.8972130openalex-snapshot
Formalization of natural language requirements into temporal logics: a survey
inferred← citeshttps://doi.org/10.1109/iros.2016.7759412openalex-snapshot
A model for verifiable grounding and execution of complex natural language instructions
inferred← citeshttps://doi.org/10.1109/iros.2017.8206505openalex-snapshot
Combining neural networks and tree search for task and motion planning in challenging environments
inferred← citeshttps://doi.org/10.1109/iros47612.2022.9981810openalex-snapshot
Reshaping Robot Trajectories Using Natural Language Commands: A Study of Multi-Modal Data Alignment Using Transformers
inferred← citeshttps://doi.org/10.1109/memocode51338.2020.9315065openalex-snapshot
CROME: Contract-Based Robotic Mission Specification
inferred← citeshttps://doi.org/10.1109/tits.2021.3122865openalex-snapshot
Explanations in Autonomous Driving: A Survey
inferred← citeshttps://doi.org/10.1109/tr.2020.2979873openalex-snapshot
Iterative Controller Synthesis for Multirobot System
inferred← citeshttps://doi.org/10.1109/tse.2019.2945329openalex-snapshot
Specification Patterns for Robotic Missions
inferred← citeshttps://doi.org/10.1145/2909824.3020241openalex-snapshot
Navigational Instruction Generation as Inverse Reinforcement Learning with Neural Machine Translation
inferred← citeshttps://doi.org/10.1145/3171221.3171276openalex-snapshot
Expressing Robot Incapability
inferred← citeshttps://doi.org/10.1145/3237189openalex-snapshot
Miscommunication Detection and Recovery in Situated Human–Robot Dialogue
inferred← citeshttps://doi.org/10.1145/3319502.3374831openalex-snapshot
Exploring the Role of Gender in Perceptions of Robotic Noncompliance
inferred← citeshttps://doi.org/10.1146/annurev-control-101119-071628openalex-snapshot
Robots That Use Language
inferred← citeshttps://doi.org/10.1177/0278364915587034openalex-snapshot
On the minimal revision problem of specification automata
inferred← citeshttps://doi.org/10.1177/0278364920917755openalex-snapshot
Multimodal estimation and communication of latent semantic knowledge for robust execution of robot instructions
inferred← citeshttps://doi.org/10.1515/pjbr-2021-0001openalex-snapshot
Verbal explanations by collaborating robot teams
inferred← citeshttps://doi.org/10.15607/rss.2016.xii.040openalex-snapshot
Situated Language Understanding with Human-like and Visualization-Based Transparency
inferred← citeshttps://doi.org/10.15607/rss.2018.xiv.067openalex-snapshot
Sequence-to-Sequence Language Grounding of Non-Markovian Task Specifications
inferred← citeshttps://doi.org/10.1561/9781680832099openalex-snapshot
Computational Human-Robot Interaction
inferred← citeshttps://doi.org/10.1609/icaps.v29i1.3463openalex-snapshot
Explicability? Legibility? Predictability? Transparency? Privacy? Security? The Emerging Landscape of Interpretable Agent Behavior
inferred← citeshttps://doi.org/10.1609/icaps.v30i1.6740openalex-snapshot
Generating Explanations for Temporal Logic Planner Decisions
inferred← citeshttps://doi.org/10.18653/v1/2023.emnlp-main.985openalex-snapshot
NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models
inferred← citeshttps://doi.org/10.18653/v1/w19-8406openalex-snapshot
Engaging in Dialogue about an Agent’s Norms and Behaviors
inferred← citeshttps://doi.org/10.26686/wgtn.13490913openalex-snapshot
Towards a framework for certification of reliable autonomous systems
inferred← citeshttps://doi.org/10.26686/wgtn.13490913.v1openalex-snapshot
Towards a framework for certification of reliable autonomous systems
inferred← citeshttps://doi.org/10.3390/ai5030048openalex-snapshot
A Review of Natural-Language-Instructed Robot Execution Systems
inferred← citeshttps://doi.org/10.48550/arxiv.1710.01417openalex-snapshot
Robot-Initiated Specification Repair through Grounded Language Interaction
inferred← citeshttps://doi.org/10.48550/arxiv.2103.09990openalex-snapshot
Human-AI Symbiosis: A Survey of Current Approaches
inferred← citeshttps://doi.org/10.70675/08eadb30z8466z4763zbba6za6a4dab9a29eopenalex-snapshot
Task Specification and Generalization in Multi-Task Reinforcement Learning
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.