On the public citation graph

Experimental Evaluation and Formal Analysis of High‐Level Tasks with Dynamic Obstacle Anticipation on a Full‐Sized Autonomous Vehicle

https://doi.org/10.1002/rob.21695
0 signed · 53 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.1002/rob.20248openalex-snapshot
Odin: Team VictorTango's entry in the DARPA Urban Challenge
inferredcites →https://doi.org/10.1002/rob.20253openalex-snapshot
Team Cornell's Skynet: Robust perception and planning in an urban environment
inferredcites →https://doi.org/10.1002/rob.20255openalex-snapshot
Autonomous driving in urban environments: Boss and the Urban Challenge
inferredcites →https://doi.org/10.1002/rob.20266openalex-snapshot
The MIT–Cornell collision and why it happened
inferredcites →https://doi.org/10.1007/11609773openalex-snapshot
Verification, Model Checking, and Abstract Interpretation
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-3-642-22110-1_47openalex-snapshot
PRISM 4.0: Verification of Probabilistic Real-Time Systems
inferredcites →https://doi.org/10.1016/b978-0-444-88074-1.50021-4openalex-snapshot
Temporal and Modal Logic
inferredcites →https://doi.org/10.1098/rsta.2010.0110openalex-snapshot
Autonomous driving in urban environments: approaches, lessons and challenges
inferredcites →https://doi.org/10.1109/acc.2014.6859020openalex-snapshot
Multiple-step prediction using a two stage Gaussian Process model
inferredcites →https://doi.org/10.1109/cdc.2004.1428622openalex-snapshot
Automatic synthesis of multi-agent motion tasks based on LTL specifications
inferredcites →https://doi.org/10.1109/cdc.2005.1582935openalex-snapshot
Hybrid Controllers for Path Planning: A Temporal Logic Approach
inferredcites →https://doi.org/10.1109/cdc.2009.5399536openalex-snapshot
Receding horizon temporal logic planning for dynamical systems
inferredcites →https://doi.org/10.1109/cdc.2009.5400278openalex-snapshot
Sampling-based motion planning with deterministic μ-calculus specifications
inferredcites →https://doi.org/10.1109/cdc.2009.5400629openalex-snapshot
A probabilistic approach for control of a stochastic system from LTL specifications
inferredcites →https://doi.org/10.1109/cdc.2012.6426346openalex-snapshot
Incremental control synthesis in probabilistic environments with Temporal Logic constraints
inferredcites →https://doi.org/10.1109/cdc.2012.6426524openalex-snapshot
Control of probabilistic systems under dynamic, partially known environments with temporal logic specifications
inferredcites →https://doi.org/10.1109/icra.2012.6224980openalex-snapshot
Execution and analysis of high-level tasks with dynamic obstacle anticipation
inferredcites →https://doi.org/10.1109/iros.2005.1545549openalex-snapshot
Safe motion planning in dynamic environments
inferredcites →https://doi.org/10.1109/iros.2007.4399374openalex-snapshot
Valet parking without a valet
inferredcites →https://doi.org/10.1109/iros.2009.5354147openalex-snapshot
Planning-based prediction for pedestrians
inferredcites →https://doi.org/10.1109/iros.2010.5651625openalex-snapshot
Analytic collision anticipation technology considering agents' future behavior
inferredcites →https://doi.org/10.1109/iros.2010.5653217openalex-snapshot
Collision avoidance method for mobile robot considering motion and personal spaces of evacuees
inferredcites →https://doi.org/10.1109/iros.2013.6697122openalex-snapshot
Getting it right the first time: Robot mission guarantees in the presence of uncertainty
inferredcites →https://doi.org/10.1109/robot.2007.363946openalex-snapshot
Where's Waldo? Sensor-Based Temporal Logic Motion Planning
inferredcites →https://doi.org/10.1109/robot.2010.5509278openalex-snapshot
Robotic motion planning in dynamic, cluttered, uncertain 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.1972.1100034openalex-snapshot
Nonlinear Bayesian estimation using Gaussian sum approximations
inferredcites →https://doi.org/10.1109/tac.2006.886494openalex-snapshot
Linear Time Logic Control of Discrete-Time Linear Systems
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.1109/tro.2011.2166435openalex-snapshot
Robot Motion Planning in Dynamic, Uncertain Environments
inferredcites →https://doi.org/10.1109/tro.2013.2254033openalex-snapshot
Contingency Planning Over Probabilistic Obstacle Predictions for Autonomous Road Vehicles
inferredcites →https://doi.org/10.1109/tro.2013.2291620openalex-snapshot
Discrete and Continuous, Probabilistic Anticipation for Autonomous Robots in Urban Environments
inferredcites →https://doi.org/10.1109/tro.2014.2312453openalex-snapshot
Online Verification of Automated Road Vehicles Using Reachability Analysis
inferredcites →https://doi.org/10.1117/12.280797openalex-snapshot
New extension of the Kalman filter to nonlinear systems
inferredcites →https://doi.org/10.1145/2728606.2728608openalex-snapshot
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
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.15607/rss.2014.x.039openalex-snapshot
Probably Approximately Correct MDP Learning and Control With Temporal Logic Constraints
inferredcites →https://doi.org/10.1609/aimag.v31i1.2237openalex-snapshot
Robotics: Science and Systems (RSS)

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-17465-1_13openalex-snapshot
Environmentally-Friendly GR(1) Synthesis
inferred← citeshttps://doi.org/10.1007/s11063-022-11142-8openalex-snapshot
Transformer-Based Cross-Modal Information Fusion Network for Semantic Segmentation
inferred← citeshttps://doi.org/10.1007/s11831-020-09473-7openalex-snapshot
Unified Framework and Survey for Model Verification, Validation and Uncertainty Quantification
inferred← citeshttps://doi.org/10.1016/j.device.2024.100431openalex-snapshot
Driving intention understanding for autonomous vehicles: Current approaches and beyond
inferred← citeshttps://doi.org/10.1016/j.eng.2023.10.011openalex-snapshot
A Survey on an Emerging Safety Challenge for Autonomous Vehicles: Safety of the Intended Functionality
inferred← citeshttps://doi.org/10.1016/j.simpat.2021.102274openalex-snapshot
Non-deterministic model validation methodology for simulation-based safety assessment of automated vehicles
inferred← citeshttps://doi.org/10.1016/j.sna.2021.112566openalex-snapshot
Sensing system of environmental perception technologies for driverless vehicle: A review of state of the art and challenges
inferred← citeshttps://doi.org/10.1109/access.2018.2885455openalex-snapshot
Hierarchal Application of Receding Horizon Synthesis and Dynamic Allocation for UAVs Fighting Fires
inferred← citeshttps://doi.org/10.1109/access.2020.2993730openalex-snapshot
Survey on Scenario-Based Safety Assessment of Automated Vehicles
inferred← citeshttps://doi.org/10.1109/arso.2018.8625792openalex-snapshot
Receding Horizon Synthesis and Dynamic Allocation of UAVs to Fight Fires
inferred← citeshttps://doi.org/10.1109/ccta.2018.8511569openalex-snapshot
Receding Horizon Synthesis and Dynamic Allocation of UAVs to Fight Fires
inferred← citeshttps://doi.org/10.70675/95fd2fd4z2f06z426ez9456z7e9af006e0feopenalex-snapshot
Safety System Architecture for the Design of Dependable and Adaptable Autonomous Vehicles
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.