On the public citation graph

Synthesis for multi-robot controllers with interleaved motion

https://doi.org/10.1109/icra.2014.6907487

0 signed · 41 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/11609773_24openalex-snapshot

Synthesis of Reactive(1) Designs

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

Discrete abstractions of hybrid systems

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.2009.5400278openalex-snapshot

Sampling-based motion planning with deterministic μ-calculus specifications

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

Recycling controllers

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

Provably correct continuous control for high-level robot behaviors with actions of arbitrary execution durations

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/robot.2008.4543490openalex-snapshot

Decentralized feedback controllers for multi-agent teams in environments with obstacles

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

Sampling-based motion planning with temporal goals

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

Discrete abstractions for robot motion planning and control in polygonal environments

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

Temporal Logic Planning and Control of Robotic Swarms by Hierarchical Abstractions

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.2009.2035776openalex-snapshot

Automatic Deployment of Distributed Teams of Robots From Temporal Logic Motion Specifications

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

Decentralized Feedback Controllers for Multiagent Teams in Environments With Obstacles

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

Formal Approach to the Deployment of Distributed Robotic Teams

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

Receding horizon control for temporal logic specifications

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-00151-3_5openalex-snapshot

Reactive Synthesis for Robotic Swarms

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-73008-0_18openalex-snapshot

Decomposition of Finite LTL Specifications for Efficient Multi-agent Planning

inferred← citeshttps://doi.org/10.1007/s10514-017-9665-6openalex-snapshot

Reactive mission and motion planning with deadlock resolution avoiding dynamic obstacles

inferred← citeshttps://doi.org/10.1007/s10514-019-09861-4openalex-snapshot

Automated synthesis of decentralized controllers for robot swarms from high-level temporal logic specifications

inferred← citeshttps://doi.org/10.1049/cth2.12254openalex-snapshot

Distributed model predictive control for multi‐robot systems with conflicting signal temporal logic tasks

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

Hybrid control of multi-agent systems under local temporal tasks and relative-distance constraints

inferred← citeshttps://doi.org/10.1109/cis-ram47153.2019.9095786openalex-snapshot

Formal Synthesis of Warehouse Robotic Systems with Temporal Logic Specifications

inferred← citeshttps://doi.org/10.1109/icca51439.2020.9264491openalex-snapshot

A Distributed Framework for Multi-Robot Task Planning with Temporal Logic Specifications

inferred← citeshttps://doi.org/10.1109/icra.2015.7139021openalex-snapshot

Let's talk: Autonomous conflict resolution for robots carrying out individual high-level tasks in a shared workspace

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

Reactive switching protocols for multi-robot high-level tasks

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

Synthesizing cooperative reactive mission plans

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

Need-based coordination for decentralized high-level robot control

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

A framework for multi-vehicle navigation using feedback-based motion primitives

inferred← citeshttps://doi.org/10.1109/iros45743.2020.9341466openalex-snapshot

Automatic Control Synthesis for Swarm Robots from Formation and Location-based High-level Specifications

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

Event-Based Signal Temporal Logic Synthesis for Single and Multi-Robot Tasks

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

Event-Based Signal Temporal Logic Tasks: Execution and Feedback in Complex Environments

inferred← citeshttps://doi.org/10.1109/tie.2022.3215812openalex-snapshot

Multiple Subformulae Cooperative Control for Multiagent Systems Under Conflicting Signal Temporal Logic Tasks

inferred← citeshttps://doi.org/10.1109/tr.2020.2979873openalex-snapshot

Iterative Controller Synthesis for Multirobot System

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

A Modular Framework for Motion Planning Using Safe-by-Design Motion Primitives

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

Robust degradation and enhancement of robot mission behaviour in unpredictable environments

inferred← citeshttps://doi.org/10.1146/annurev-control-060117-104838openalex-snapshot

Synthesis for Robots: Guarantees and Feedback for Robot Behavior

inferred← citeshttps://doi.org/10.15607/rss.2018.xiv.031openalex-snapshot

Improving Multi-Robot Behavior Using Learning-Based Receding Horizon Task Allocation

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

A Modular Framework for Motion Planning using Safe-by-Design Motion Primitives

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.