On the public citation graph

On Provably Safe Obstacle Avoidance for Autonomous Robotic Ground Vehicles

https://doi.org/10.15607/rss.2013.ix.014

0 signed · 111 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-8997-2_29openalex-snapshot

Real-Time Obstacle Avoidance for Manipulators and Mobile Robots

inferredcites →https://doi.org/10.1007/978-3-642-05089-3_35openalex-snapshot

Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study

inferredcites →https://doi.org/10.1007/978-3-642-14509-4openalex-snapshot

Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics

inferredcites →https://doi.org/10.1007/978-3-642-21437-0_6openalex-snapshot

Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified

inferredcites →https://doi.org/10.1007/978-3-642-22110-1_30openalex-snapshot

SpaceEx: Scalable Verification of Hybrid Systems

inferredcites →https://doi.org/10.1007/s10514-006-5363-5openalex-snapshot

Abstracting Vehicle Shape and Kinematic Constraints from Obstacle Avoidance Methods

inferredcites →https://doi.org/10.1007/s10514-006-9721-0openalex-snapshot

Safe and effective navigation of autonomous robots in hazardous environments

inferredcites →https://doi.org/10.1007/s10514-011-9257-9openalex-snapshot

Safety assessment of robot trajectories for navigation in uncertain and dynamic environments

inferredcites →https://doi.org/10.1007/s10514-011-9258-8openalex-snapshot

Provably safe navigation for mobile robots with limited field-of-views in dynamic environments

inferredcites →https://doi.org/10.1007/s10514-011-9266-8openalex-snapshot

Guaranteed infinite horizon avoidance of unpredictable, dynamically constrained obstacles

inferredcites →https://doi.org/10.1007/s10514-011-9271-yopenalex-snapshot

Guaranteeing functional safety: design for provability and computer-aided verification

inferredcites →https://doi.org/10.1007/s10817-008-9103-8openalex-snapshot

Differential Dynamic Logic for Hybrid Systems

inferredcites →https://doi.org/10.1007/s10846-008-9235-4openalex-snapshot

Visual Navigation for Mobile Robots: A Survey

inferredcites →https://doi.org/10.1017/s0269888907218016openalex-snapshot

Principles of Robot Motion: Theory, Algorithms and Implementations by Howie Choset, Kevin M. Lynch, Seth Hutchinson, George Kantor, Wolfram Burgard, Lydia E. Kavraki and Sebastian Thrun, 603 pp., $60.00, ISBN 0-262-033275

inferredcites →https://doi.org/10.1023/a:1008954632763openalex-snapshot

Cleaning and Household Robots: A Technology Survey

inferredcites →https://doi.org/10.1093/logcom/exn070openalex-snapshot

Differential-algebraic Dynamic Logic for Differential-algebraic Programs

inferredcites →https://doi.org/10.1109/100.580977openalex-snapshot

The dynamic window approach to collision avoidance

inferredcites →https://doi.org/10.1109/iccps.2012.25openalex-snapshot

Towards Formal Verification of Freeway Traffic Control

inferredcites →https://doi.org/10.1109/lics.2012.64openalex-snapshot

The Complete Proof Theory of Hybrid Systems

inferredcites →https://doi.org/10.1109/robot.1985.1087247openalex-snapshot

Real-time obstacle avoidance for manipulators and mobile robots

inferredcites →https://doi.org/10.1109/robot.1999.770002openalex-snapshot

High-speed navigation using the global dynamic window approach

inferredcites →https://doi.org/10.1145/2461328.2461350openalex-snapshot

Formal verification of distributed aircraft controllers

inferredcites →https://doi.org/10.1177/0278364911406562openalex-snapshot

LQG-MP: Optimized path planning for robots with motion uncertainty and imperfect state information

inferredcites →https://doi.org/10.1177/0278364912453186openalex-snapshot

Collision-free and smooth trajectory computation in cluttered environments

inferredcites →https://doi.org/10.1177/027836499801700706openalex-snapshot

Motion Planning in Dynamic Environments Using Velocity Obstacles

inferredcites →https://doi.org/10.15607/rss.2010.vi.017openalex-snapshot

LQG-MP: Optimized Path Planning for Robots with Motion Uncertainty and Imperfect State Information

inferredcites →https://doi.org/10.15607/rss.2012.viii.048openalex-snapshot

Guaranteeing High-Level Behaviors while Exploring Partially Known Maps

inferredcites →https://doi.org/10.7551/mitpress/9123.003.0021openalex-snapshot

LQG-MP: Optimized Path Planning for Robots with Motion Uncertainty and Imperfect State Information

inferredcites →https://doi.org/10.7551/mitpress/9816.003.0053openalex-snapshot

Guaranteeing High-Level Behaviors While Exploring Partially Known Maps

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-30856-8_3openalex-snapshot

Modelling Autonomous Resilient Multi-robotic Systems

inferred← citeshttps://doi.org/10.1007/978-3-030-37487-7_11openalex-snapshot

A Metamodel-Based Approach for Adding Modularization to KeYmaera’s Input Syntax

inferred← citeshttps://doi.org/10.1007/978-3-030-46902-3_1openalex-snapshot

Formal Verification of Cyber-Physical Systems Using Theorem Proving

inferred← citeshttps://doi.org/10.1007/978-3-030-64354-6_2openalex-snapshot

A Retrospective on Developing Hybrid System Provers in the KeYmaera Family

inferred← citeshttps://doi.org/10.1007/978-3-030-89247-0_5openalex-snapshot

Introducing Interval Differential Dynamic Logic

inferred← citeshttps://doi.org/10.1007/978-3-032-28079-4_25openalex-snapshot

Automatic Certification of the Active Corner Method for Collision Avoidance

inferred← citeshttps://doi.org/10.1007/978-3-319-06410-9_33openalex-snapshot

Refactoring, Refinement, and Reasoning

inferred← citeshttps://doi.org/10.1007/978-3-319-10575-8_30openalex-snapshot

Verification of Hybrid Systems

inferred← citeshttps://doi.org/10.1007/978-3-319-11164-3_17openalex-snapshot

ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models

inferred← citeshttps://doi.org/10.1007/978-3-319-12096-6_33openalex-snapshot

A Conceptual Reference Model of Modeling and Verification Concepts for Hybrid Systems

inferred← citeshttps://doi.org/10.1007/978-3-319-22102-1_3openalex-snapshot

ROSCoq: Robots Powered by Constructive Reals

inferred← citeshttps://doi.org/10.1007/978-3-319-23820-3_13openalex-snapshot

Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information About the Environment

inferred← citeshttps://doi.org/10.1007/978-3-319-33693-0_28openalex-snapshot

A Component-Based Approach to Hybrid Systems Safety Verification

inferred← citeshttps://doi.org/10.1007/978-3-319-61607-0_8openalex-snapshot

Validation and Introduction of Automated Driving

inferred← citeshttps://doi.org/10.1007/978-3-319-98938-9_10openalex-snapshot

Robotics and Integrated Formal Methods: Necessity Meets Opportunity

inferred← citeshttps://doi.org/10.1007/978-3-658-32266-3_6openalex-snapshot

Synergiepotenziale von Virtual City Twins im Bereich automatisiertes Fahren – Beschleunigung der technischen Entwicklung und Überwindung von Akzeptanzbarrieren

inferred← citeshttps://doi.org/10.1007/978-3-662-45854-9_21openalex-snapshot

Die Freigabe des autonomen Fahrens

inferred← citeshttps://doi.org/10.1007/978-3-662-48847-8_21openalex-snapshot

The Release of Autonomous Vehicles

inferred← citeshttps://doi.org/10.1007/978-3-662-54494-5_8openalex-snapshot

Change and Delay Contracts for Hybrid System Component Verification

inferred← citeshttps://doi.org/10.1007/978-981-16-1681-5_9openalex-snapshot

Analysis and Deployment of an OCR—SSD Deep Learning Technique for Real-Time Active Car Tracking and Positioning on a Quadrotor

inferred← citeshttps://doi.org/10.1007/978-981-95-4213-0_21openalex-snapshot

Formal Modelling of Fault Tolerant Robotic Missions

inferred← citeshttps://doi.org/10.1007/s10009-015-0367-0openalex-snapshot

How to model and prove hybrid systems with KeYmaera: a tutorial on safety

inferred← citeshttps://doi.org/10.1007/s10703-016-0241-zopenalex-snapshot

ModelPlex: verified runtime validation of verified cyber-physical system models

inferred← citeshttps://doi.org/10.1007/s10703-016-0265-4openalex-snapshot

Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles

inferred← citeshttps://doi.org/10.1007/s10846-018-0955-9openalex-snapshot

Viability-Based Guaranteed Safe Robot Navigation

inferred← citeshttps://doi.org/10.1007/s11416-019-00344-9openalex-snapshot

Formalization and co-simulation of attacks on cyber-physical systems

inferred← citeshttps://doi.org/10.1007/s11786-014-0176-yopenalex-snapshot

Collaborative Verification-Driven Engineering of Hybrid Systems

inferred← citeshttps://doi.org/10.1016/j.inffus.2014.01.008openalex-snapshot

A tour of BeAware – A situation awareness framework for control centers

inferred← citeshttps://doi.org/10.1016/j.prime.2024.100581openalex-snapshot

Modeling and simulation of a double DQN algorithm for dynamic obstacle avoidance in autonomous vehicle navigation

inferred← citeshttps://doi.org/10.1016/j.robot.2020.103569openalex-snapshot

Obstacle avoidance in dynamic environments based on velocity space optimization

inferred← citeshttps://doi.org/10.1016/j.sysarc.2020.101850openalex-snapshot

Formal analysis of the continuous dynamics of cyber–physical systems using theorem proving

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/ccta.2019.8920597openalex-snapshot

Provably-Safe Autonomous Navigation of Traffic Circles

inferred← citeshttps://doi.org/10.1109/cdc.2016.7799283openalex-snapshot

Formal design of robot Integrated Task and Motion Planning

inferred← citeshttps://doi.org/10.1109/complexsys.2015.7385983openalex-snapshot

How to prove hybrid systems and why that matters

inferred← citeshttps://doi.org/10.1109/hase.2017.28openalex-snapshot

High Assurance Code Generation for Cyber-Physical Systems

inferred← citeshttps://doi.org/10.1109/ica.2019.8916737openalex-snapshot

Multilayer Control for Coordinating Three - Wheeled Omnidirectional Mobile Robots

inferred← citeshttps://doi.org/10.1109/icaiset66439.2026.11541980openalex-snapshot

A survey on formal methods for authentication in self-driving platforms

inferred← citeshttps://doi.org/10.1109/icma.2016.7558699openalex-snapshot

Formally verifying navigation safety for ground robots

inferred← citeshttps://doi.org/10.1109/iros.2014.6942751openalex-snapshot

Formal verification of maneuver automata for parameterized motion primitives

inferred← citeshttps://doi.org/10.1109/iros.2014.6942753openalex-snapshot

Verification and testing of mobile robot navigation algorithms: A case study in SPARK

inferred← citeshttps://doi.org/10.1109/iros.2017.8202313openalex-snapshot

Provably safe motion of mobile robots in human environments

inferred← citeshttps://doi.org/10.1109/isse63315.2024.10741133openalex-snapshot

Conception of an Automatic Scenario Generator for Seamless Testing of Intelligent Autonomous Functions

inferred← citeshttps://doi.org/10.1109/itsc.2018.8569959openalex-snapshot

Evaluation of Different Approaches to Address Safety Validation of Automated Driving

inferred← citeshttps://doi.org/10.1109/ivs.2019.8813875openalex-snapshot

Specifying Safety of Autonomous Vehicles in Signal Temporal Logic

inferred← citeshttps://doi.org/10.1109/lra.2022.3161710openalex-snapshot

Obstacle Avoidance With Dynamic Avoidance Risk Region for Mobile Robots in Dynamic Environments

inferred← citeshttps://doi.org/10.1109/lra.2023.3292071openalex-snapshot

Safe Planning in Dynamic Environments Using Conformal Prediction

inferred← citeshttps://doi.org/10.1109/mcs.2016.2643244openalex-snapshot

High-Assurance SPIRAL: End-to-End Guarantees for Robot and Car Control

inferred← citeshttps://doi.org/10.1109/qrs-c60940.2023.00106openalex-snapshot

Formal Modeling and Verification of Industrial Robotic Arm - A Case Study

inferred← citeshttps://doi.org/10.1109/syscon.2019.8836933openalex-snapshot

Planning and Runtime Monitoring of Robotic Manipulator using Metric Interval Temporal Logic

inferred← citeshttps://doi.org/10.1109/tcst.2017.2654063openalex-snapshot

Obstacle Avoidance for Low-Speed Autonomous Vehicles With Barrier Function

inferred← citeshttps://doi.org/10.1109/tits.2019.2913998openalex-snapshot

A Review of Motion Planning for Highway Autonomous Driving

inferred← citeshttps://doi.org/10.1109/tiv.2020.2991953openalex-snapshot

Provably-Correct and Comfortable Adaptive Cruise Control

inferred← citeshttps://doi.org/10.1109/tro.2023.3249564openalex-snapshot

BarrierNet: Differentiable Control Barrier Functions for Learning of Safe Robot Control

inferred← citeshttps://doi.org/10.1109/tvt.2016.2600281openalex-snapshot

Measuring Vehicle Velocity in Real Time using Modulated Motion Blur of Camera Image Data

inferred← citeshttps://doi.org/10.11128/arep.21openalex-snapshot

ASIM WS 2023 Proceedings Langbeiträge

inferred← citeshttps://doi.org/10.11128/arep.21.a2123openalex-snapshot

Konzept eines ganzheitlichen, hochflexibel konfigurierbaren HiL-Prüfsystems für den Test autonomer Fahrfunktionen

inferred← citeshttps://doi.org/10.1145/2737166.2737167openalex-snapshot

Architectural Abstractions for Hybrid Programs

inferred← citeshttps://doi.org/10.1145/2764901openalex-snapshot

Logic-Based Modeling Approaches for Qualitative and Hybrid Reasoning in Dynamic Spatial Systems

inferred← citeshttps://doi.org/10.1145/3342355openalex-snapshot

Formal Specification and Verification of Autonomous Robotic Systems

inferred← citeshttps://doi.org/10.1145/3447928.3456653openalex-snapshot

Verifiably safe exploration for end-to-end reinforcement learning

inferred← citeshttps://doi.org/10.1145/3655532.3655588openalex-snapshot

Concept of a holistic HiL test system for autonomous vehicles in cyber-physical Traffic Systems

inferred← citeshttps://doi.org/10.1177/0278364917733549openalex-snapshot

Formal verification of obstacle avoidance and navigation of ground robots

inferred← citeshttps://doi.org/10.1177/1748006x211034970openalex-snapshot

Using formal methods for autonomous systems: Five recipes for formal verification

inferred← citeshttps://doi.org/10.1184/r1/6607466openalex-snapshot

ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models (CMU-CS-14-121)

inferred← citeshttps://doi.org/10.1184/r1/6621098openalex-snapshot

Analytic Dependency Loops in Architectural Models of Cyber-Physical Systems

inferred← citeshttps://doi.org/10.1515/jisys-2025-0101openalex-snapshot

Formal verification of physical human-robot interaction using interactive theorem proving

inferred← citeshttps://doi.org/10.17638/03088168openalex-snapshot

Biologically Inspired Guidance for Autonomous Systems

inferred← citeshttps://doi.org/10.23919/acc.2017.7963718openalex-snapshot

Correct by construction design of autonomous vehicles through a barrier function method

inferred← citeshttps://doi.org/10.2514/1.i010178openalex-snapshot

Hybrid Theorem Proving of Aerospace Systems: Applications and Challenges

inferred← citeshttps://doi.org/10.3390/app14177551openalex-snapshot

Research on AGV Path Planning Integrating an Improved A* Algorithm and DWA Algorithm

inferred← citeshttps://doi.org/10.3390/jmse14100919openalex-snapshot

VK-RRT*: A Multi-Constraint Coupling Approach to Energy-Efficient AUV Path Planning in Three-Dimensional Ocean Current Environments

inferred← citeshttps://doi.org/10.38124/ijisrt/ijisrt24aug591openalex-snapshot

The Ethics of Artificial Intelligence and Autonomous Systems: Review

inferred← citeshttps://doi.org/10.4204/eptcs.232.10openalex-snapshot

Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments

inferred← citeshttps://doi.org/10.48550/arxiv.1609.07006openalex-snapshot

SafeGuardPF: Safety Guaranteed Reactive Potential Fields for Mobile Robots in Unknown and Dynamic Environments

inferred← citeshttps://doi.org/10.48550/arxiv.1703.04741openalex-snapshot

Towards Moral Autonomous Systems

inferred← citeshttps://doi.org/10.48550/arxiv.1806.00143openalex-snapshot

Modeling Preemptive Behaviors for Uncommon Hazardous Situations From Demonstrations

inferred← citeshttps://doi.org/10.48550/arxiv.2003.03729openalex-snapshot

Formal Verification of Cyber-Physical Systems using Theorem Proving (Invited Paper)

inferred← citeshttps://doi.org/10.48550/arxiv.2102.09667openalex-snapshot

Semantics and Axiomatization for Stochastic Differential Dynamic Logic

inferred← citeshttps://doi.org/10.55003/cast.2022.03.23.009openalex-snapshot

Multi-task Autonomous Driving Based on Improved Convolutional Neural Network and ST Loss in MTS and MOD Modes

inferred← citeshttps://doi.org/10.70675/126ca799z2b2bz48afzb08ezf24c06c9a970openalex-snapshot

Motion planning for autonomous highway driving : a unified architecture for decision-maker and trajectory generator

inferred← citeshttps://doi.org/10.70675/c7989081z952bz4beczba7fz196769c89030openalex-snapshot

Préservation de l'équilibre et atténuation des collisions pour les robots bipèdes

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.