On the public citation graph

Automatic synthesis of multi-agent motion tasks based on LTL specifications

https://doi.org/10.1109/cdc.2004.1428622
0 signed · 143 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/3-540-36224-x_5openalex-snapshot
Motion Description Languages for Multi-Modal Control in Robotics
inferredcites →https://doi.org/10.1007/3-540-44667-2_7openalex-snapshot
Constructing Automata from Temporal Logic Formulas: A Tutorial⋆
inferredcites →https://doi.org/10.1007/978-1-4612-1416-8_6openalex-snapshot
Languages, Behaviors, Hybrid Architectures, and Motion Control
inferredcites →https://doi.org/10.1007/978-1-4613-8928-6_23openalex-snapshot
On a Decision Method in Restricted Second Order Arithmetic
inferredcites →https://doi.org/10.1016/0196-8858(90)90017-sopenalex-snapshot
Robot navigation functions on manifolds with boundary
inferredcites →https://doi.org/10.1090/s0002-9947-1991-1012512-xopenalex-snapshot
The construction of analytic diffeomorphisms for exact robot navigation on star worlds
inferredcites →https://doi.org/10.1109/70.163777openalex-snapshot
Exact robot navigation using artificial potential functions
inferredcites →https://doi.org/10.1109/irds.2002.1041704openalex-snapshot
Closed loop navigation for multiple holonomic vehicles
inferredcites →https://doi.org/10.1109/iros.2001.977149openalex-snapshot
Nonholonomic stabilization with collision avoidance for mobile robots
inferredcites →https://doi.org/10.1109/robot.2002.1013735openalex-snapshot
Automatic synthesis of controllers for distributed assembly and formation forming
inferredcites →https://doi.org/10.1109/tac.2006.886494openalex-snapshot
Linear Time Logic Control of Discrete-Time Linear Systems
inferredcites →https://doi.org/10.1515/9781400881802openalex-snapshot
Morse Theory. (AM-51)

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.1002/rob.21695openalex-snapshot
Experimental Evaluation and Formal Analysis of High‐Level Tasks with Dynamic Obstacle Anticipation on a Full‐Sized Autonomous Vehicle
inferred← citeshttps://doi.org/10.1007/10992388_1openalex-snapshot
Multi-Robot Systems
inferred← citeshttps://doi.org/10.1007/11730637_26openalex-snapshot
A Fully Automated Framework for Control of Linear Systems from LTL Specifications
inferred← citeshttps://doi.org/10.1007/978-3-031-19759-8_10openalex-snapshot
An Experimental Toolchain for Strategy Synthesis with Spatial Properties
inferred← citeshttps://doi.org/10.1007/978-3-031-71162-6_30openalex-snapshot
Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic
inferred← citeshttps://doi.org/10.1007/978-3-031-98685-7_9openalex-snapshot
A Misconception-Driven Adaptive Tutor for Linear Temporal Logic
inferred← citeshttps://doi.org/10.1007/978-3-540-78929-1_39openalex-snapshot
Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications
inferred← citeshttps://doi.org/10.1007/978-3-642-32723-0_23openalex-snapshot
A Formal Approach to Deployment of Robotic Teams in an Urban-Like Environment
inferred← citeshttps://doi.org/10.1007/s10009-023-00730-1openalex-snapshot
A toolchain for strategy synthesis with spatial properties
inferred← citeshttps://doi.org/10.1007/s10514-012-9301-4openalex-snapshot
Probabilistic guarantees for high-level robot behavior in the presence of sensor error
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.1016/j.automatica.2008.08.008openalex-snapshot
Temporal logic motion planning for dynamic robots
inferred← citeshttps://doi.org/10.1016/j.automatica.2013.11.030openalex-snapshot
LTL receding horizon control for finite deterministic systems
inferred← citeshttps://doi.org/10.1016/j.automatica.2020.108838openalex-snapshot
Finite horizon discrete models for multi-agent control systems with coupled dynamics
inferred← citeshttps://doi.org/10.1016/j.automatica.2022.110228openalex-snapshot
Decentralized route-planning for multi-vehicle teams to satisfy a subclass of linear temporal logic specifications
inferred← citeshttps://doi.org/10.1016/j.ifacol.2017.08.2319openalex-snapshot
Decentralized Reconfigurable Multi-Robot Coordination from Local Connectivity and Collision Avoidance Specifications
inferred← citeshttps://doi.org/10.1016/j.ifacol.2017.08.2322openalex-snapshot
Online Abstractions for Interconnected Multi-Agent Control Systems
inferred← citeshttps://doi.org/10.1016/j.ifacol.2017.08.432openalex-snapshot
Control Synthesis for Multi-Agent Systems under Metric Interval Temporal Logic Specifications
inferred← citeshttps://doi.org/10.1080/23335777.2020.1837248openalex-snapshot
Memory-loss resilient controller design for temporal logic constraints
inferred← citeshttps://doi.org/10.1080/23335777.2022.2083689openalex-snapshot
LTL cross entropy optimisation for quadcopter task orchestration
inferred← citeshttps://doi.org/10.1109/acc.2008.4586912openalex-snapshot
Formal analysis of Piecewise Affine systems under parameter uncertainty with application to gene networks
inferred← citeshttps://doi.org/10.1109/acc.2011.5990952openalex-snapshot
Control of Markov decision processes from PCTL specifications
inferred← citeshttps://doi.org/10.1109/acc.2012.6314936openalex-snapshot
Receding horizon temporal logic control for finite deterministic systems
inferred← citeshttps://doi.org/10.1109/acc.2016.7526541openalex-snapshot
A distributed LTL-based approach for intermittent communication in mobile robot networks
inferred← citeshttps://doi.org/10.1109/acc.2016.7526793openalex-snapshot
Cooperative task planning of multi-agent systems under timed temporal specifications
inferred← citeshttps://doi.org/10.1109/acssc.2015.7421315openalex-snapshot
Intermittent connectivity control in mobile robot networks
inferred← citeshttps://doi.org/10.1109/cdc.2005.1582134openalex-snapshot
Automated Planning of Motion Tasks for Multi-Robot Systems
inferred← citeshttps://doi.org/10.1109/cdc.2005.1582935openalex-snapshot
Hybrid Controllers for Path Planning: A Temporal Logic Approach
inferred← citeshttps://doi.org/10.1109/cdc.2006.377825openalex-snapshot
Translating Temporal Logic to Controller Specifications
inferred← citeshttps://doi.org/10.1109/cdc.2009.5400657openalex-snapshot
Temporal logic control of discrete-time piecewise affine systems
inferred← citeshttps://doi.org/10.1109/cdc.2010.5717131openalex-snapshot
Receding horizon surveillance with temporal logic specifications
inferred← citeshttps://doi.org/10.1109/cdc.2010.5717440openalex-snapshot
Motion planning with hybrid dynamics and temporal goals
inferred← citeshttps://doi.org/10.1109/cdc.2011.6160478openalex-snapshot
Multi-robot deployment from LTL specifications with reduced communication
inferred← citeshttps://doi.org/10.1109/cdc.2011.6161122openalex-snapshot
MDP optimal control under temporal logic constraints
inferred← citeshttps://doi.org/10.1109/cdc.2012.6426027openalex-snapshot
Decentralized multi-agent control from local LTL specifications
inferred← citeshttps://doi.org/10.1109/cdc.2012.6426041openalex-snapshot
Attraction-based receding horizon path planning with temporal logic constraints
inferred← citeshttps://doi.org/10.1109/cdc.2013.6760437openalex-snapshot
Motion planning in crowds using statistical model checking to enhance the social force model
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/cdc.2016.7798525openalex-snapshot
Simultaneous intermittent communication control and path optimization in networks of mobile robots
inferred← citeshttps://doi.org/10.1109/cdc.2018.8619825openalex-snapshot
Automatic Controller Synthesis of Motion-Tasks with Real-Time Objectives
inferred← citeshttps://doi.org/10.1109/cdc51059.2022.9992562openalex-snapshot
Handling Disjunctions in Signal Temporal Logic Based Control Through Nonsmooth Barrier Functions
inferred← citeshttps://doi.org/10.1109/chicc.2016.7553803openalex-snapshot
Robust strategy planning for UAV with LTL specifications
inferred← citeshttps://doi.org/10.1109/coase.2015.7294103openalex-snapshot
Bottom-up motion and task coordination for loosely-coupled multi-agent systems with dependent local tasks
inferred← citeshttps://doi.org/10.1109/dsa.2019.00065openalex-snapshot
Synthesizing Secure Reactive Controller for Unmanned Aerial System
inferred← citeshttps://doi.org/10.1109/icca54724.2022.9831835openalex-snapshot
Implicit Fixed-Time Convergence ISS Safe Control Barrier Functions for Signal Temporal Logic Tasks
inferred← citeshttps://doi.org/10.1109/icca54724.2022.9831850openalex-snapshot
Safe RAN control: A Symbolic Reinforcement Learning Approach
inferred← citeshttps://doi.org/10.1109/icnsc.2006.1673210openalex-snapshot
LTL Planning for Groups of Robots
inferred← citeshttps://doi.org/10.1109/icra.2011.5979895openalex-snapshot
Revising temporal logic specifications for motion planning
inferred← citeshttps://doi.org/10.1109/icra.2012.6224792openalex-snapshot
Robust multi-robot optimal path planning with temporal logic constraints
inferred← citeshttps://doi.org/10.1109/icra.2012.6224826openalex-snapshot
On the revision problem of specification automata
inferred← citeshttps://doi.org/10.1109/icra.2012.6224963openalex-snapshot
Probabilistic control from time-bounded temporal logic specifications in dynamic environments
inferred← citeshttps://doi.org/10.1109/icra.2012.6224980openalex-snapshot
Execution and analysis of high-level tasks with dynamic obstacle anticipation
inferred← citeshttps://doi.org/10.1109/icra.2012.6225290openalex-snapshot
Temporal logic motion control using actor-critic methods
inferred← citeshttps://doi.org/10.1109/icra.2013.6630847openalex-snapshot
Control of noisy differential-drive vehicles from time-bounded temporal logic specifications
inferred← citeshttps://doi.org/10.1109/icra.2014.6907487openalex-snapshot
Synthesis for multi-robot controllers with interleaved motion
inferred← citeshttps://doi.org/10.1109/icra.2015.7139350openalex-snapshot
Planning for decentralized control of multiple robots under uncertainty
inferred← citeshttps://doi.org/10.1109/icra.2019.8794000openalex-snapshot
Reconfigurable Motion Planning and Control in Obstacle Cluttered Environments under Timed Temporal Tasks
inferred← citeshttps://doi.org/10.1109/icra40945.2020.9197066openalex-snapshot
Multi-Agent Task Allocation using Cross-Entropy Temporal Logic Optimization
inferred← citeshttps://doi.org/10.1109/iros.2010.5650644openalex-snapshot
A hierarchical approach to automatic deployment of robotic teams with communication constraints
inferred← citeshttps://doi.org/10.1109/iros.2010.5650896openalex-snapshot
Optimal path planning under temporal logic constraints
inferred← citeshttps://doi.org/10.1109/iros.2011.6094711openalex-snapshot
Temporal logic control in dynamic environments with probabilistic satisfaction guarantees
inferred← citeshttps://doi.org/10.1109/iros.2011.6094884openalex-snapshot
Optimal multi-robot path planning with temporal logic constraints
inferred← citeshttps://doi.org/10.1109/iros.2013.6696434openalex-snapshot
Analyzing and revising high-level robot behaviors under actuator error
inferred← citeshttps://doi.org/10.1109/iros.2013.6696435openalex-snapshot
Guaranteeing reactive high-level behaviors for robots with complex dynamics
inferred← citeshttps://doi.org/10.1109/iros.2014.6943085openalex-snapshot
Sampling-based tree search with discrete abstractions for motion planning with dynamics and temporal logic
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/lra.2023.3343597openalex-snapshot
Online Modifications for Event-Based Signal Temporal Logic Specifications
inferred← citeshttps://doi.org/10.1109/mc.2020.3017343openalex-snapshot
Controller Resynthesis for Multirobot System When Changes Happen
inferred← citeshttps://doi.org/10.1109/mra.2011.942115openalex-snapshot
Motion Planning with Complex Goals
inferred← citeshttps://doi.org/10.1109/robot.2005.1570410openalex-snapshot
Temporal Logic Motion Planning for Mobile Robots
inferred← citeshttps://doi.org/10.1109/robot.2006.1641832openalex-snapshot
Hierarchical abstractions for robotic swarms
inferred← citeshttps://doi.org/10.1109/robot.2008.4543239openalex-snapshot
Distributed implementations of global temporal logic motion specifications
inferred← citeshttps://doi.org/10.1109/robot.2009.5152397openalex-snapshot
Coordination of multiple non-holonomic agents with input constraints
inferred← citeshttps://doi.org/10.1109/robot.2009.5152605openalex-snapshot
Automatic deployment of autonomous cars in a Robotic Urban-Like Environment (RULE)
inferred← citeshttps://doi.org/10.1109/robot.2010.5509326openalex-snapshot
On the need for communication in distributed implementations of LTL motion specifications
inferred← citeshttps://doi.org/10.1109/robot.2010.5509402openalex-snapshot
Automatic synthesis of robot controllers for tasks with locative prepositions
inferred← citeshttps://doi.org/10.1109/robot.2010.5509503openalex-snapshot
Sampling-based motion planning with temporal goals
inferred← citeshttps://doi.org/10.1109/robot.2010.5509686openalex-snapshot
Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees
inferred← citeshttps://doi.org/10.1109/tac.2007.914952openalex-snapshot
A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
inferred← citeshttps://doi.org/10.1109/tac.2010.2072530openalex-snapshot
Formal Analysis of Discrete-Time Piecewise Affine Systems
inferred← citeshttps://doi.org/10.1109/tac.2014.2298143openalex-snapshot
Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints
inferred← citeshttps://doi.org/10.1109/tac.2014.2309033openalex-snapshot
Formal Synthesis of Control Policies for Continuous Time Markov Processes From Time-Bounded Temporal Logic Specifications
inferred← citeshttps://doi.org/10.1109/tac.2014.2351653openalex-snapshot
Finite Bisimulations for Switched Linear Systems
inferred← citeshttps://doi.org/10.1109/tac.2016.2527731openalex-snapshot
Communication-Free Multi-Agent Control Under Local Temporal Tasks and Relative-Distance Constraints
inferred← citeshttps://doi.org/10.1109/tac.2016.2626400openalex-snapshot
Distributed Intermittent Connectivity Control of Mobile Robot Networks
inferred← citeshttps://doi.org/10.1109/tac.2019.2930039openalex-snapshot
Optimal Secure Control With Linear Temporal Logic Constraints
inferred← citeshttps://doi.org/10.1109/tac.2022.3184664openalex-snapshot
Unified Multirate Control: From Low-Level Actuation to High-Level Planning
inferred← citeshttps://doi.org/10.1109/tac.2025.3549288openalex-snapshot
Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multiagent Systems via Assume-Guarantee Contracts
inferred← citeshttps://doi.org/10.1109/tase.2015.2454299openalex-snapshot
LTL-Based Planning in Environments With Probabilistic Observations
inferred← citeshttps://doi.org/10.1109/tase.2016.2628389openalex-snapshot
Task and Motion Coordination for Heterogeneous Multiagent Systems With Loosely Coupled Local Tasks
inferred← citeshttps://doi.org/10.1109/tcad.2018.2857339openalex-snapshot
SeMo: Service-Oriented and Model-Based Software Framework for Cooperating Robots
inferred← citeshttps://doi.org/10.1109/tcns.2016.2555581openalex-snapshot
Hybrid Control of Multiagent Systems With Contingent Temporal Tasks and Prescribed Formation Constraints
inferred← citeshttps://doi.org/10.1109/tcns.2020.3014602openalex-snapshot
Barrier Function Based Collaborative Control of Multiple Robots Under Signal Temporal Logic Tasks
inferred← citeshttps://doi.org/10.1109/tcst.2019.2955628openalex-snapshot
Coupled Multi-Robot Systems Under Linear Temporal Logic and Signal Temporal Logic Tasks
inferred← citeshttps://doi.org/10.1109/tiv.2023.3283055openalex-snapshot
A Formal Control Framework of Autonomous Vehicle for Signal Temporal Logic Tasks and Obstacle Avoidance
inferred← citeshttps://doi.org/10.1109/tr.2020.2979873openalex-snapshot
Iterative Controller Synthesis for Multirobot System
inferred← citeshttps://doi.org/10.1109/tro.2006.889492openalex-snapshot
Temporal Logic Planning and Control of Robotic Swarms by Hierarchical Abstractions
inferred← citeshttps://doi.org/10.1109/tro.2009.2035776openalex-snapshot
Automatic Deployment of Distributed Teams of Robots From Temporal Logic Motion Specifications
inferred← citeshttps://doi.org/10.1109/tro.2011.2163434openalex-snapshot
Formal Approach to the Deployment of Distributed Robotic Teams
inferred← citeshttps://doi.org/10.1109/tro.2022.3181948openalex-snapshot
Temporal Logic Task Allocation in Heterogeneous Multirobot Systems
inferred← citeshttps://doi.org/10.1109/tro.2025.3598139openalex-snapshot
Simultaneous Task Allocation and Planning for Multirobots Under Hierarchical Temporal Logic Specifications
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.1142/s230138502250011xopenalex-snapshot
Co-adaptive Human–Robot Cooperation: Summary and Challenges
inferred← citeshttps://doi.org/10.1177/0278364911417911openalex-snapshot
Optimal path planning for surveillance with temporal-logic constraints
inferred← citeshttps://doi.org/10.1177/0278364914522312openalex-snapshot
Control of noisy differential-drive vehicles from time-bounded temporal logic specifications
inferred← citeshttps://doi.org/10.1177/0278364914546174openalex-snapshot
Multi-agent plan reconfiguration under local LTL specifications
inferred← citeshttps://doi.org/10.1177/0278364914557736openalex-snapshot
Synthesis of nonlinear continuous controllers for verifiably correct high-level, reactive behaviors
inferred← citeshttps://doi.org/10.1177/0278364914562980openalex-snapshot
Analyzing and revising synthesized controllers for robots with sensing and actuation errors
inferred← citeshttps://doi.org/10.1177/0278364915581505openalex-snapshot
Temporal logic motion control using actor–critic methods
inferred← citeshttps://doi.org/10.1177/0278364916679611openalex-snapshot
Policy search for multi-robot coordination under uncertainty
inferred← citeshttps://doi.org/10.1177/1748006x211034970openalex-snapshot
Using formal methods for autonomous systems: Five recipes for formal verification
inferred← citeshttps://doi.org/10.13140/2.1.2204.8641openalex-snapshot
Formal Techniques for the Verification and Optimal Control of Probabilistic Systems in the Presence of Modeling Uncertainties
inferred← citeshttps://doi.org/10.1371/journal.pone.0166448openalex-snapshot
Robust Satisficing Decision Making for Unmanned Aerial Vehicle Complex Missions under Severe Uncertainty
inferred← citeshttps://doi.org/10.14429/dsj.60.99openalex-snapshot
Temporal Logic Motion Planning
inferred← citeshttps://doi.org/10.15607/rss.2011.vii.003openalex-snapshot
Controlling Wild Bodies Using Linear Temporal Logic
inferred← citeshttps://doi.org/10.15607/rss.2011.vii.020openalex-snapshot
Probabilistic Analysis of Correctness of High-Level Robot Behavior with Sensor Error
inferred← citeshttps://doi.org/10.15607/rss.2015.xi.007openalex-snapshot
Policy Search for Multi-Robot Coordination under Uncertainty
inferred← citeshttps://doi.org/10.15607/rss.2018.xiv.067openalex-snapshot
Sequence-to-Sequence Language Grounding of Non-Markovian Task Specifications
inferred← citeshttps://doi.org/10.1613/jair.1.11418openalex-snapshot
Modeling and Planning with Macro-Actions in Decentralized POMDPs
inferred← citeshttps://doi.org/10.23919/acc.2017.7963221openalex-snapshot
Cooperative planning for coupled multi-agent systems under timed temporal specifications
inferred← citeshttps://doi.org/10.23919/acc.2018.8430843openalex-snapshot
Multiple Source Seeking using Glowworm Swarm Optimization and Distributed Gradient Estimation
inferred← citeshttps://doi.org/10.23919/ccc63176.2024.10661205openalex-snapshot
A Barrier Function-based Approach to Cooperative Path Planning of Multiple Robots Building a Lunar Base
inferred← citeshttps://doi.org/10.23919/ecc.2007.7068809openalex-snapshot
Model checking discrete-time Piecewise Affine systems: Application to gene networks
inferred← citeshttps://doi.org/10.2514/6.2018-1862openalex-snapshot
Decentralized Route-Planning to Satisfy Global Linear Temporal Logic Specifications on Multiple Aircraft
inferred← citeshttps://doi.org/10.3182/20121003-3-mx-4033.00048openalex-snapshot
LTL Planning in Dynamic Environments
inferred← citeshttps://doi.org/10.3390/robotics13050065openalex-snapshot
Learning to Execute Timed-Temporal-Logic Navigation Tasks under Input Constraints in Obstacle-Cluttered Environments
inferred← citeshttps://doi.org/10.4028/www.scientific.net/ssp.166-167.101openalex-snapshot
Some AI Based Approaches on Mobile Robots Motion Planning
inferred← citeshttps://doi.org/10.48550/arxiv.2004.02610openalex-snapshot
Continuous Motion Planning with Temporal Logic Specifications using Deep Neural Networks
inferred← citeshttps://doi.org/10.7551/mitpress/15136.001.0001openalex-snapshot
Formal Methods for Multi-Agent Feedback Control Systems
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.