On the public citation graph

Probabilistic Temporal Logic for Motion Planning with Resource Threshold Constraints

https://doi.org/10.15607/rss.2012.viii.058
0 signed · 38 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-3-540-72522-0_6openalex-snapshot
Stochastic Model Checking
inferredcites →https://doi.org/10.1007/s11241-006-6883-yopenalex-snapshot
Verifying distributed real-time properties of embedded systems via graph transformations and model checking
inferredcites →https://doi.org/10.1016/0167-6423(83)90017-5openalex-snapshot
Using branching time temporal logic to synthesize synchronization skeletons
inferredcites →https://doi.org/10.1016/s1571-0661(04)80410-9openalex-snapshot
Liveness Checking as Safety Checking
inferredcites →https://doi.org/10.1109/eurmic.2000.874622openalex-snapshot
Formal coverification of embedded systems using model checking
inferredcites →https://doi.org/10.1109/mra.2011.942115openalex-snapshot
Motion Planning with Complex Goals
inferredcites →https://doi.org/10.1109/mra.2011.942116openalex-snapshot
Correct, Reactive, High-Level Robot Control: Mitigating the State Explosion Problem of Temporal Logic Synthesis
inferredcites →https://doi.org/10.1109/mra.2011.942117openalex-snapshot
Automatic Deployment of Robotic Teams
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/robot.2010.5509743openalex-snapshot
An online algorithm for constrained POMDPs
inferredcites →https://doi.org/10.1109/sfcs.1977.32openalex-snapshot
The temporal logic of programs
inferredcites →https://doi.org/10.1145/123186.123223openalex-snapshot
Sequential circuit verification using symbolic model checking
inferredcites →https://doi.org/10.1163/156855308x344864openalex-snapshot
Translating Structured English to Robot Controllers
inferredcites →https://doi.org/10.1201/9781420008548.ch4openalex-snapshot
Stochastic Model Checking
inferredcites →https://doi.org/10.15607/rss.2011.vii.003openalex-snapshot
Controlling Wild Bodies Using Linear Temporal Logic
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.2514/1.52236openalex-snapshot
Autonomous Exploration of a Wind Field with a Gliding Aircraft
inferredcites →https://doi.org/10.3166/ejc.16.624-641openalex-snapshot
Approximate Model Checking of Stochastic Hybrid Systems
inferredcites →https://doi.org/10.3182/20110828-6-it-1002.02287openalex-snapshot
LTL Control in Uncertain Environments with Probabilistic Satisfaction Guarantees*
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-030-43089-4_9openalex-snapshot
Language-Guided Sampling-based Planning using Temporal Relaxation
inferred← citeshttps://doi.org/10.1007/978-3-319-16595-0_41openalex-snapshot
Online Task Planning and Control for Aerial Robots with Fuel Constraints in Winds
inferred← citeshttps://doi.org/10.1109/icra.2013.6630692openalex-snapshot
Provably-correct stochastic motion planning with safety constraints
inferred← citeshttps://doi.org/10.1109/icra.2019.8793567openalex-snapshot
Streamlines for Motion Planning in Underwater Currents
inferred← citeshttps://doi.org/10.1109/icra40945.2020.9197513openalex-snapshot
Hierarchical Planning in Time-Dependent Flow Fields for Marine Robots
inferred← citeshttps://doi.org/10.1109/icra48506.2021.9560929openalex-snapshot
Signal Temporal Logic Synthesis as Probabilistic Inference
inferred← citeshttps://doi.org/10.1109/icra48506.2021.9561626openalex-snapshot
Path Planning in Uncertain Ocean Currents using Ensemble Forecasts
inferred← citeshttps://doi.org/10.1109/icra48891.2023.10161424openalex-snapshot
Efficient Optimal Planning in non-FIFO Time-Dependent Flow Fields
inferred← citeshttps://doi.org/10.1109/icra57147.2024.10611501openalex-snapshot
Multi-query TDSP for Path Planning in Time-varying Flow Fields
inferred← citeshttps://doi.org/10.1109/iros.2014.6943250openalex-snapshot
Persistent monitoring with a team of autonomous gliders using static soaring
inferred← citeshttps://doi.org/10.1109/iros40897.2019.8968250openalex-snapshot
Stochastic Path Planning for Autonomous Underwater Gliders with Safety Constraints
inferred← citeshttps://doi.org/10.1109/tciaig.2015.2494599openalex-snapshot
Creating Affective Autonomous Characters Using Planning in Partially Observable Stochastic Domains
inferred← citeshttps://doi.org/10.1177/0278364915595278openalex-snapshot
Online task planning and control for fuel-constrained aerial robots in wind fields
inferred← citeshttps://doi.org/10.15607/rss.2015.xi.042openalex-snapshot
Online Localization of Radio-Tagged Wildlife with an Autonomous Aerial Robot System
inferred← citeshttps://doi.org/10.15607/rss.2017.xiii.060openalex-snapshot
Rich Time Series Classification Using Temporal Logic
inferred← citeshttps://doi.org/10.1609/aaai.v32i1.11592openalex-snapshot
Preallocation and Planning Under Stochastic Resource Constraints
inferred← citeshttps://doi.org/10.34218/ijcet.12.2.2021.001openalex-snapshot
OPTIMIZATION OF QOS REQUIREMENTS FOR APPLICATIONS
inferred← citeshttps://doi.org/10.48550/arxiv.1510.08474openalex-snapshot
Control with Probabilistic Signal Temporal Logic
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.