On the public citation graph
Guaranteeing High-Level Behaviors while Exploring Partially Known Maps
0 signed · 39 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/11730637_26openalex-snapshot
A Fully Automated Framework for Control of Linear Systems from LTL Specifications
inferredcites →https://doi.org/10.1007/978-1-4613-8997-2_18openalex-snapshot
Sonar-Based Real-World Mapping and Navigation
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.1016/j.automatica.2008.08.008openalex-snapshot
Temporal logic motion planning for dynamic robots
inferredcites →https://doi.org/10.1016/s0898-1221(98)90095-5openalex-snapshot
Computational geometry: Algorithms and applications
inferredcites →https://doi.org/10.1109/cdc.2004.1428674openalex-snapshot
Constructing decidable hybrid systems with velocity bounds
inferredcites →https://doi.org/10.1109/cdc.2009.5400278openalex-snapshot
Sampling-based motion planning with deterministic μ-calculus specifications
inferredcites →https://doi.org/10.1109/iros.2003.1249705openalex-snapshot
Composition of local potential functions for global robot control and navigation
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/jra.1987.1087096openalex-snapshot
Sonar-based real-world mapping and navigation
inferredcites →https://doi.org/10.1109/robot.2007.363944openalex-snapshot
Smooth Feedback for Car-Like Vehicles in Polygonal Environments
inferredcites →https://doi.org/10.1109/robot.2010.5509503openalex-snapshot
Sampling-based motion planning with temporal goals
inferredcites →https://doi.org/10.1109/robot.2010.5509686openalex-snapshot
Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees
inferredcites →https://doi.org/10.1109/tac.2012.2195811openalex-snapshot
Receding Horizon Temporal Logic Planning
inferredcites →https://doi.org/10.1109/tro.2009.2030225openalex-snapshot
Temporal-Logic-Based Reactive Mission and Motion Planning
inferredcites →https://doi.org/10.1163/156855308x344864openalex-snapshot
Translating Structured English to Robot Controllers
inferredcites →https://doi.org/10.15607/rss.2011.vii.020openalex-snapshot
Probabilistic Analysis of Correctness of High-Level Robot Behavior with Sensor Error
inferredcites →https://doi.org/10.7551/mitpress/9481.003.0023openalex-snapshot
Probabilistic Analysis of Correctness of High-Level Robot Behavior with Sensor Error
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-319-22102-1_3openalex-snapshot
ROSCoq: Robots Powered by Constructive Reals
inferred← citeshttps://doi.org/10.1016/j.robot.2017.07.001openalex-snapshot
Performance verification for robot missions in uncertain environments
inferred← citeshttps://doi.org/10.1017/s0263574720000806openalex-snapshot
Safe Motion Planning Based on a New Encoding Technique for Tree Expansion Using Particle Swarm Optimization
inferred← citeshttps://doi.org/10.1109/cdc.2014.7039366openalex-snapshot
Hot-swapping robot task goals in reactive formal synthesis
inferred← citeshttps://doi.org/10.1109/cdc40024.2019.9030133openalex-snapshot
An Efficient Reachability-Based Framework for Provably Safe Autonomous Navigation in Unknown Environments
inferred← citeshttps://doi.org/10.1109/cdc42340.2020.9304219openalex-snapshot
Towards Safe Locomotion Navigation in Partially Observable Environments with Uneven Terrain
inferred← citeshttps://doi.org/10.1109/icra.2014.6907489openalex-snapshot
Open-world mission specification for reactive robots
inferred← citeshttps://doi.org/10.1109/icra.2016.7487553openalex-snapshot
Simultaneous model identification and task satisfaction in the presence of temporal logic constraints
inferred← citeshttps://doi.org/10.1109/icra48506.2021.9561819openalex-snapshot
Learning and Planning for Temporally Extended Tasks in Unknown Environments
inferred← citeshttps://doi.org/10.1109/ictai.2015.22openalex-snapshot
Probabilistic Verification of Multi-robot Missions in Uncertain Environments
inferred← citeshttps://doi.org/10.1109/iros.2013.6697120openalex-snapshot
Temporal logic motion planning in unknown environments
inferred← citeshttps://doi.org/10.1109/ojcsys.2023.3296000openalex-snapshot
Abstraction-Based Planning for Uncertainty-Aware Legged Navigation
inferred← citeshttps://doi.org/10.1109/tro.2016.2544339openalex-snapshot
Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees
inferred← citeshttps://doi.org/10.1142/s2301385014300029openalex-snapshot
Mission Accomplished: An Introduction to Formal Methods in Mobile Robot Motion Planning and Control
inferred← citeshttps://doi.org/10.1145/2461328.2461380openalex-snapshot
Iterative temporal motion planning for hybrid systems in partially unknown environments
inferred← citeshttps://doi.org/10.1177/0278364917733549openalex-snapshot
Formal verification of obstacle avoidance and navigation of ground robots
inferred← citeshttps://doi.org/10.15607/rss.2013.ix.014openalex-snapshot
On Provably Safe Obstacle Avoidance for Autonomous Robotic Ground Vehicles
inferred← citeshttps://doi.org/10.15607/rss.2013.ix.040openalex-snapshot
Correct Software Synthesis for Stable Speed-Controlled Robotic Walking
inferred← citeshttps://doi.org/10.3233/aic-150682openalex-snapshot
Motion planning with temporal-logic specifications: Progress and challenges
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.