On the public citation graph
Formal Approach to the Deployment of Distributed Robotic Teams
0 signed · 159 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/rnc.1715openalex-snapshot
Linear temporal logic vehicle routing with applications to multi‐UAV mission planning
inferredcites →https://doi.org/10.1007/3-540-45873-5_36openalex-snapshot
Series of Abstractions for Hybrid Automata
inferredcites →https://doi.org/10.1007/978-3-540-45187-7_2openalex-snapshot
Synthesis of Distributed Algorithms Using Asynchronous Automata
inferredcites →https://doi.org/10.1007/978-3-642-32723-0_23openalex-snapshot
A Formal Approach to Deployment of Robotic Teams in an Urban-Like Environment
inferredcites →https://doi.org/10.1016/0020-0190(95)00187-5openalex-snapshot
A note on the commutative closure of star-free languages
inferredcites →https://doi.org/10.1016/0096-0551(80)90011-9openalex-snapshot
Introduction to automata theory, languages, and computation
inferredcites →https://doi.org/10.1016/0167-6423(90)90076-popenalex-snapshot
Communication and concurrency
inferredcites →https://doi.org/10.1016/0378-4754(81)90068-9openalex-snapshot
Introduction to automata theory, languages and computation
inferredcites →https://doi.org/10.1016/j.automatica.2011.01.078openalex-snapshot
Guaranteed global performance through local coordinations
inferredcites →https://doi.org/10.1016/j.jcss.2011.08.007openalex-snapshot
Synthesis of Reactive(1) designs
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.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.2005.1582935openalex-snapshot
Hybrid Controllers for Path Planning: A Temporal Logic Approach
inferredcites →https://doi.org/10.1109/cdc.2006.377631openalex-snapshot
Real Time Feedback Control for Nonholonomic Mobile Robots With Obstacles
inferredcites →https://doi.org/10.1109/cdc.2009.5399536openalex-snapshot
Receding horizon temporal logic planning for dynamical systems
inferredcites →https://doi.org/10.1109/iros.2010.5650644openalex-snapshot
A hierarchical approach to automatic deployment of robotic teams with communication constraints
inferredcites →https://doi.org/10.1109/robot.2009.5152605openalex-snapshot
Automatic deployment of autonomous cars in a Robotic Urban-Like Environment (RULE)
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.2007.914952openalex-snapshot
A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
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.1142/9789814261456_0001openalex-snapshot
Introduction to Trace Theory
inferredcites →https://doi.org/10.1515/9780691187563-005openalex-snapshot
2. Computational complexity
inferredcites →https://doi.org/10.18419/opus-2573openalex-snapshot
Automatic synthesis of distributed transition systems
inferredcites →https://doi.org/10.2514/6.2008-6838openalex-snapshot
Vehicle Routing with Linear Temporal Logic Specifications: Applications to Multi-UAV Mission Planning
inferredcites →https://doi.org/10.7146/brics.v5i8.19280openalex-snapshot
Distributed Versions of Linear Time Temporal Logic: A Trace Perspective
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/asjc.2712openalex-snapshot
A mobile robot controller using reinforcement learning under scLTL specifications with uncertainties
inferred← citeshttps://doi.org/10.1007/978-3-030-32079-9_21openalex-snapshot
Reactive Control Meets Runtime Verification: A Case Study of Navigation
inferred← citeshttps://doi.org/10.1007/978-3-030-95459-8_14openalex-snapshot
ScRATCHS: Scalable and Robust Algorithms for Task-Based Coordination from High-Level Specifications
inferred← citeshttps://doi.org/10.1007/978-3-031-33170-1_14openalex-snapshot
Rewrite-Based Decomposition of Signal Temporal Logic Specifications
inferred← citeshttps://doi.org/10.1007/978-3-319-51532-8_28openalex-snapshot
Collision-Free Reactive Mission and Motion Planning for Multi-robot Systems
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/978-4-431-55879-8_26openalex-snapshot
Decoupled Formal Synthesis for Almost Separable Systems with Temporal Logic Specifications
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-017-9672-7openalex-snapshot
Timed abstractions for distributed cooperative manipulation
inferred← citeshttps://doi.org/10.1007/s10626-021-00355-zopenalex-snapshot
Parallel decomposition and concurrent satisfaction for heterogeneous multi-robot task and motion planning under temporal logic specifications
inferred← citeshttps://doi.org/10.1007/s11071-024-09655-zopenalex-snapshot
Scaled consensus of second-order nonlinear multi-agent systems with fully distributed adaptive aperiodically intermittent communication: A non-reduced order approach
inferred← citeshttps://doi.org/10.1016/b978-0-443-24832-0.00005-2openalex-snapshot
Human-robot interaction in healthcare
inferred← citeshttps://doi.org/10.1016/j.arcontrol.2024.100940openalex-snapshot
Formal synthesis of controllers for safety-critical autonomous systems: Developments and challenges
inferred← citeshttps://doi.org/10.1016/j.automatica.2016.04.006openalex-snapshot
Multi-agent planning under local LTL specifications and event-based synchronization
inferred← citeshttps://doi.org/10.1016/j.automatica.2023.111377openalex-snapshot
Time minimization and online synchronization for multi-agent systems under collaborative temporal logic tasks
inferred← citeshttps://doi.org/10.1016/j.cja.2025.103823openalex-snapshot
Controller synthesis of multi-UAV systems for concurrent satisfaction of temporal logic tasks through parallel decomposition
inferred← citeshttps://doi.org/10.1016/j.ejcon.2018.10.002openalex-snapshot
Decentralized abstractions for multi-agent systems under coupled constraints
inferred← citeshttps://doi.org/10.1016/j.ifacol.2015.10.326openalex-snapshot
Distributed Multi-Agent Persistent Surveillance Under Temporal Logic Constraints
inferred← citeshttps://doi.org/10.1016/j.ifacol.2015.11.179openalex-snapshot
Combined Top-down and Bottom-up Approach to Cooperative Distributed Multi-agent Control with Connectivity Constraints**The _nancial supports from NSF-CNS-1239222, NSF-EECS-1253488 and NSF-CNS-1446288 are highly appreciated.
inferred← citeshttps://doi.org/10.1016/j.jfranklin.2022.08.052openalex-snapshot
Fixed-time consensus for stochastic multi-agent systems with discontinuous dynamics via quantized control
inferred← citeshttps://doi.org/10.1016/j.jfranklin.2023.09.054openalex-snapshot
Scaled consensus of second-order nonlinear multi-agent systems with distributed adaptive control via non-reduced order method
inferred← citeshttps://doi.org/10.1016/j.robot.2021.103866openalex-snapshot
Adaptive heterogeneous multi-robot collaboration from formal task specifications
inferred← citeshttps://doi.org/10.1016/j.robot.2024.104646openalex-snapshot
Planning and control of multi-robot-object systems under temporal logic tasks and uncertain dynamics
inferred← citeshttps://doi.org/10.1016/j.robot.2024.104905openalex-snapshot
A Signal Temporal Logic approach for task-based coordination of multi-aerial systems: A wind turbine inspection case study
inferred← citeshttps://doi.org/10.1016/j.sysarc.2023.102989openalex-snapshot
Towards a model of human-cyber–physical automata and a synthesis framework for control policies
inferred← citeshttps://doi.org/10.1016/j.tcs.2015.01.023openalex-snapshot
Safe and stabilizing distributed multi-path cellular flows
inferred← citeshttps://doi.org/10.1017/s0263574715000417openalex-snapshot
Robot motion planning with task specifications via regular languages
inferred← citeshttps://doi.org/10.1088/1742-6596/1982/1/012086openalex-snapshot
Research on dynamic target tracking algorithm in mobile sensor networks
inferred← citeshttps://doi.org/10.1109/acc.2014.6858608openalex-snapshot
Towards decentralized synthesis: Decomposable sublanguage and Joint Observability Problems
inferred← citeshttps://doi.org/10.1109/acc.2014.6859413openalex-snapshot
A receding horizon approach to multi-agent planning from local LTL specifications
inferred← citeshttps://doi.org/10.1109/acc.2015.7171012openalex-snapshot
Information-guided persistent monitoring under temporal logic constraints
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/access.2023.3300240openalex-snapshot
A Signal Temporal Logic Motion Planner for Bird Diverter Installation Tasks With Multi-Robot Aerial Systems
inferred← citeshttps://doi.org/10.1109/apsec51365.2020.00019openalex-snapshot
Synthesizing Cooperative Controllers from Global Tasks of Multi-robot Systems
inferred← citeshttps://doi.org/10.1109/case49997.2022.9926658openalex-snapshot
Reactive Task Allocation and Planning for Quadrupedal and Wheeled Robot Teaming
inferred← citeshttps://doi.org/10.1109/ccra.2018.8588140openalex-snapshot
A Methodology for Movement Planning in Autonomous Systems with Multiple Agents
inferred← citeshttps://doi.org/10.1109/cdc.2014.7039362openalex-snapshot
Cooperative decentralized multi-agent control under local LTL tasks and connectivity constraints
inferred← citeshttps://doi.org/10.1109/cdc.2014.7039366openalex-snapshot
Hot-swapping robot task goals in reactive formal synthesis
inferred← citeshttps://doi.org/10.1109/cdc.2015.7402112openalex-snapshot
Correct-by-construction control synthesis for multi-robot mixing
inferred← citeshttps://doi.org/10.1109/cdc.2015.7403291openalex-snapshot
Distributed information gathering policies under temporal logic constraints
inferred← citeshttps://doi.org/10.1109/cdc.2015.7403396openalex-snapshot
Decomposition of multi-agent planning under distributed motion and task LTL specifications
inferred← citeshttps://doi.org/10.1109/cdc.2016.7798250openalex-snapshot
Abstractions of varying decentralization degree for coupled multi-agent systems
inferred← citeshttps://doi.org/10.1109/cdc40024.2019.9030087openalex-snapshot
Transfer Planning for Temporal Logic Tasks
inferred← citeshttps://doi.org/10.1109/cdc49753.2023.10383532openalex-snapshot
Multi-agent Coordination Under Temporal Logic Tasks and Team-Wise Intermittent Communication
inferred← citeshttps://doi.org/10.1109/cdc57313.2025.11312460openalex-snapshot
Submodular Swarm Assignment for Multi-Agent Systems under Linear Temporal Logic Constraints
inferred← citeshttps://doi.org/10.1109/complexsys.2015.7385982openalex-snapshot
Formal methods for controlling networked systems
inferred← citeshttps://doi.org/10.1109/icarcv.2012.6485170openalex-snapshot
Remarks on the difficulty of top-down supervisor synthesis
inferred← citeshttps://doi.org/10.1109/icarm58088.2023.10218811openalex-snapshot
Vision-Based Reactive Planning and Control of Quadruped Robots in Unstructured Dynamic Environments
inferred← citeshttps://doi.org/10.1109/icca69928.2026.11618147openalex-snapshot
Reactive Planning for Air-Ground Collaboration Based on Linear Temporal Logic
inferred← citeshttps://doi.org/10.1109/iccps.2018.00024openalex-snapshot
Distributed Optimal Control Synthesis for Multi-Robot Systems under Global Temporal Tasks
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.2014.6907487openalex-snapshot
Synthesis for multi-robot controllers with interleaved motion
inferred← citeshttps://doi.org/10.1109/icra.2017.7989036openalex-snapshot
Distributed data gathering with buffer constraints and intermittent communication
inferred← citeshttps://doi.org/10.1109/icra.2017.7989094openalex-snapshot
Multi-objective search for optimal multi-robot planning with finite LTL specifications and resource constraints
inferred← citeshttps://doi.org/10.1109/icra40945.2020.9196796openalex-snapshot
Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning
inferred← citeshttps://doi.org/10.1109/icra40945.2020.9197570openalex-snapshot
Reactive Temporal Logic Planning for Multiple Robots in Unknown Environments
inferred← citeshttps://doi.org/10.1109/iros.2015.7354199openalex-snapshot
Decentralized leader-follower control under high level goals without explicit communication
inferred← citeshttps://doi.org/10.1109/iros.2018.8593574openalex-snapshot
Distributed Sensing Subject to Temporal Logic Constraints
inferred← citeshttps://doi.org/10.1109/iros47612.2022.9981504openalex-snapshot
MT*: Multi-Robot Path Planning for Temporal Logic Specifications
inferred← citeshttps://doi.org/10.1109/iros51168.2021.9635906openalex-snapshot
Automata-based Optimal Planning with Relaxed Specifications
inferred← citeshttps://doi.org/10.1109/lcsys.2021.3090980openalex-snapshot
Signal Temporal Logic Task Decomposition via Convex Optimization
inferred← citeshttps://doi.org/10.1109/lra.2022.3143304openalex-snapshot
Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams
inferred← citeshttps://doi.org/10.1109/lra.2024.3401166openalex-snapshot
Fast Temporal Logic Mission Planning of Multiple Robots: A Planning Decision Tree Approach
inferred← citeshttps://doi.org/10.1109/med.2016.7536071openalex-snapshot
Learning-based formal synthesis of cooperative multi-agent systems with an application to robotic coordination
inferred← citeshttps://doi.org/10.1109/romoco.2017.8003896openalex-snapshot
Unmanned Aircraft Systems challenges in design for autonomy
inferred← citeshttps://doi.org/10.1109/tac.2015.2447193openalex-snapshot
On Distributed and Parameterized Supervisor Synthesis Problems
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.2018.2853558openalex-snapshot
Sampling-Based Optimal Control Synthesis for Multirobot Systems Under Global Temporal Tasks
inferred← citeshttps://doi.org/10.1109/tac.2019.2893161openalex-snapshot
Temporal Logic Task Planning and Intermittent Connectivity Control of Mobile Robot Networks
inferred← citeshttps://doi.org/10.1109/tac.2024.3390848openalex-snapshot
Learning Optimal Strategies for Temporal Tasks in Stochastic Games
inferred← citeshttps://doi.org/10.1109/tase.2025.3558977openalex-snapshot
Task Allocation of Heterogeneous Robots Under Temporal Logic Specifications With Inter-Task Constraints and Variable Capabilities
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/tie.2023.3299048openalex-snapshot
Vision-Based Reactive Temporal Logic Motion Planning for Quadruped Robots in Unstructured Dynamic Environments
inferred← citeshttps://doi.org/10.1109/tmrb.2025.3643987openalex-snapshot
A Novel Real-Time Modeling and Perception Method for Surgical Robots Based on Multisensory Data in a Dynamic Unstructured Environment
inferred← citeshttps://doi.org/10.1109/tr.2020.2979873openalex-snapshot
Iterative Controller Synthesis for Multirobot System
inferred← citeshttps://doi.org/10.1109/tro.2018.2830370openalex-snapshot
Multirobot Data Gathering Under Buffer Constraints and Intermittent Communication
inferred← citeshttps://doi.org/10.1109/tro.2018.2861901openalex-snapshot
Control of Magnetic Microrobot Teams for Temporal Micromanipulation Tasks
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.1109/tro.2019.2957669openalex-snapshot
Multirobot Coordination With Counting Temporal Logics
inferred← citeshttps://doi.org/10.1109/tro.2021.3061983openalex-snapshot
An Abstraction-Free Method for Multirobot Temporal Logic Optimal Control Synthesis
inferred← citeshttps://doi.org/10.1109/tro.2021.3130794openalex-snapshot
Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS)
inferred← citeshttps://doi.org/10.1109/tro.2022.3144073openalex-snapshot
Perception-Based Temporal Logic Planning in Uncertain Semantic Maps
inferred← citeshttps://doi.org/10.1109/tro.2022.3181948openalex-snapshot
Temporal Logic Task Allocation in Heterogeneous Multirobot Systems
inferred← citeshttps://doi.org/10.1109/tsmc.2017.2722102openalex-snapshot
Exponential Consensus Analysis for Multiagent Networks Based on Time-Delay Impulsive Systems
inferred← citeshttps://doi.org/10.1109/tsmc.2021.3073105openalex-snapshot
Decentralized Motion Planning for Multiagent Collaboration Under Coupled LTL Task Specifications
inferred← citeshttps://doi.org/10.1115/dscc2018-9161openalex-snapshot
Human-Robot Trust Integrated Task Allocation and Symbolic Motion Planning for Heterogeneous Multi-Robot Systems
inferred← citeshttps://doi.org/10.1137/17m1133981openalex-snapshot
Abstractions of Varying Decentralization Degree for Reachability of Coupled Multiagent Systems
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.1145/3055004.3055021openalex-snapshot
Provably-correct coordination of large collections of agents with counting temporal logic constraints
inferred← citeshttps://doi.org/10.1145/3342355openalex-snapshot
Formal Specification and Verification of Autonomous Robotic Systems
inferred← citeshttps://doi.org/10.1145/3769111openalex-snapshot
Conformal Temporal Logic Planning using Large Language Models
inferred← citeshttps://doi.org/10.1177/0278364912473168openalex-snapshot
Temporal logic robot control based on automata learning of environmental dynamics
inferred← citeshttps://doi.org/10.1177/0278364913487931openalex-snapshot
Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints
inferred← citeshttps://doi.org/10.1177/0278364914546174openalex-snapshot
Multi-agent plan reconfiguration under local LTL specifications
inferred← citeshttps://doi.org/10.1177/0278364918774135openalex-snapshot
Simultaneous task allocation and planning for temporal logic goals in heterogeneous multi-robot systems
inferred← citeshttps://doi.org/10.1177/0278364920913922openalex-snapshot
STyLuS * : A Temporal Logic Optimal Control Synthesis Algorithm for Large-Scale Multi-Robot Systems
inferred← citeshttps://doi.org/10.1177/02783649211052066openalex-snapshot
GRSTAPS: Graphically Recursive Simultaneous Task Allocation, Planning, and Scheduling
inferred← citeshttps://doi.org/10.1177/02783649241247285openalex-snapshot
Planning for heterogeneous teams of robots with temporal logic, capability, and resource constraints
inferred← citeshttps://doi.org/10.1177/1748006x211034970openalex-snapshot
Using formal methods for autonomous systems: Five recipes for formal verification
inferred← citeshttps://doi.org/10.1371/journal.pone.0324534openalex-snapshot
A mobile robot safe planner for multiple tasks in human-shared environments
inferred← citeshttps://doi.org/10.14483/22487638.17131openalex-snapshot
Metodología para la síntesis de autómatas en la planificación de movimientos en sistemas autónomos con múltiples agentes
inferred← citeshttps://doi.org/10.1631/fitee.2000156openalex-snapshot
Warehouse automation by logistic robotic networks: a cyber-physical control approach
inferred← citeshttps://doi.org/10.23919/acc.2017.7963141openalex-snapshot
Distributed cooperative manipulation under timed temporal specifications
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.8430757openalex-snapshot
Task Allocation Policy for UGV Systems using Colored Petri Nets
inferred← citeshttps://doi.org/10.23919/acc.2019.8814795openalex-snapshot
A Distributed Framework for Dynamic Task Allocation of Multi-Robot Symbolic Motion Planning
inferred← citeshttps://doi.org/10.23919/ccc63176.2024.10662461openalex-snapshot
NBA-guided heuristic sampling algorithm for multi-robot task planning under temporal logic
inferred← citeshttps://doi.org/10.3233/aic-150682openalex-snapshot
Motion planning with temporal-logic specifications: Progress and challenges
inferred← citeshttps://doi.org/10.3233/jifs-211427openalex-snapshot
Synthesis method of strategy for multi-robot systems from local automatons under probabilistic model checking
inferred← citeshttps://doi.org/10.32657/10356/65641openalex-snapshot
Towards decentralized and parameterized supervisor synthesis
inferred← citeshttps://doi.org/10.3390/app15147812openalex-snapshot
A Reinforcement Learning-Based Double Layer Controller for Mobile Robot in Human-Shared Environments
inferred← citeshttps://doi.org/10.4018/978-1-4666-5888-2.ch650openalex-snapshot
Distributed Autonomous Control Architecture for Intelligent Mobile Robot Systems
inferred← citeshttps://doi.org/10.4204/eptcs.202.4openalex-snapshot
The Second Reactive Synthesis Competition (SYNTCOMP 2015)
inferred← citeshttps://doi.org/10.4204/eptcs.229.11openalex-snapshot
The Reactive Synthesis Competition: SYNTCOMP 2016 and Beyond
inferred← citeshttps://doi.org/10.48550/arxiv.1202.1307openalex-snapshot
Robust Multi-Robot Optimal Path Planning with Temporal Logic Constraints
inferred← citeshttps://doi.org/10.48550/arxiv.1405.1836openalex-snapshot
Cooperative Decentralized Multi-agent Control under Local LTL Tasks and Connectivity Constraints
inferred← citeshttps://doi.org/10.48550/arxiv.1607.07797openalex-snapshot
Combined Top-Down and Bottom-Up Approaches to Performance-guaranteed Integrated Task and Motion Planning of Cooperative Multi-agent Systems
inferred← citeshttps://doi.org/10.48550/arxiv.1609.06283openalex-snapshot
Robotic Swarm Control from Spatio-Temporal Specifications
inferred← citeshttps://doi.org/10.48550/arxiv.1610.00913openalex-snapshot
Distributed Cooperative Manipulation under Timed Temporal Specifications
inferred← citeshttps://doi.org/10.48550/arxiv.1705.10427openalex-snapshot
Learning-based Formal Synthesis of Cooperative Multi-agent Systems
inferred← citeshttps://doi.org/10.48550/arxiv.1706.02092openalex-snapshot
Multi-Robot Data Gathering Under Buffer Constraints and Intermittent Communication
inferred← citeshttps://doi.org/10.48550/arxiv.1803.01579openalex-snapshot
Motion and Cooperative Transportation Planning for Multi-Agent Systems under Temporal Logic Formulas
inferred← citeshttps://doi.org/10.48550/arxiv.1803.08288openalex-snapshot
Mode Switching Decentralized Multi-Agent Coordination under Local Temporal Logic Tasks
inferred← citeshttps://doi.org/10.48550/arxiv.1809.08345openalex-snapshot
STyLuS*: A Temporal Logic Optimal Control Synthesis Algorithm for Large-Scale Multi-Robot Systems
inferred← citeshttps://doi.org/10.48550/arxiv.1905.00495openalex-snapshot
A Modular Framework for Motion Planning using Safe-by-Design Motion Primitives
inferred← citeshttps://doi.org/10.48550/arxiv.2012.07912openalex-snapshot
Reactive Temporal Logic Planning for Multiple Robots in Unknown Occupancy Grid Maps
inferred← citeshttps://doi.org/10.5772/64615openalex-snapshot
Time-Energy Optimal Cluster Space Motion Planning for Mobile Robot Formations
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.