On the public citation graph
Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints
0 signed · 211 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.1007/10009.1433-2787openalex-snapshot
International Journal on Software Tools for Technology Transfer
inferredcites →https://doi.org/10.1007/3-540-44585-4_6openalex-snapshot
Fast LTL to Büchi Automata Translation
inferredcites →https://doi.org/10.1007/3-540-45657-0_5openalex-snapshot
Infinite Games and Verification
inferredcites →https://doi.org/10.1007/3-540-60692-0_70openalex-snapshot
Model checking of probabilistic and nondeterministic systems
inferredcites →https://doi.org/10.1007/978-3-540-78929-1_21openalex-snapshot
Dealing with Nondeterminism in Symbolic Control
inferredcites →https://doi.org/10.1007/978-3-642-55146-8_24openalex-snapshot
Optimal Multi-Robot Path Planning with LTL Constraints: Guaranteeing Correctness through Synchronization
inferredcites →https://doi.org/10.1007/s10009-004-0140-2openalex-snapshot
Probabilistic symbolic model checking with PRISM: a hybrid approach
inferredcites →https://doi.org/10.1007/s10009-005-0187-8openalex-snapshot
Numerical vs. statistical probabilistic model checking
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/0378-4754(81)90068-9openalex-snapshot
Introduction to automata theory, languages and computation
inferredcites →https://doi.org/10.1016/s0304-3975(97)00219-3openalex-snapshot
An algorithmic approach for checking closure properties of temporal logic specifications and ω-regular languages
inferredcites →https://doi.org/10.1109/70.163777openalex-snapshot
Exact robot navigation using artificial potential functions
inferredcites →https://doi.org/10.1109/70.508439openalex-snapshot
Probabilistic roadmaps for path planning in high-dimensional configuration spaces
inferredcites →https://doi.org/10.1109/acc.2008.4586787openalex-snapshot
Complex mission optimization for Multiple-UAVs using Linear Temporal Logic
inferredcites →https://doi.org/10.1109/cdc.2008.4739366openalex-snapshot
Vehicle Routing Problem with Metric Temporal Logic Specifications
inferredcites →https://doi.org/10.1109/cdc.2011.6160740openalex-snapshot
Synthesis of distributed control and communication schemes from global LTL specifications
inferredcites →https://doi.org/10.1109/cdc.2011.6161122openalex-snapshot
MDP optimal control under temporal logic constraints
inferredcites →https://doi.org/10.1109/icra.2012.6224792openalex-snapshot
Robust multi-robot optimal path planning with temporal logic constraints
inferredcites →https://doi.org/10.1109/iros.2011.6094884openalex-snapshot
Optimal multi-robot path planning with temporal logic constraints
inferredcites →https://doi.org/10.1109/mra.2011.942116openalex-snapshot
Correct, Reactive, High-Level Robot Control: Mitigating the State Explosion Problem of Temporal Logic Synthesis
inferredcites →https://doi.org/10.1109/robot.2000.844730openalex-snapshot
RRT-connect: An efficient approach to single-query path planning
inferredcites →https://doi.org/10.1109/robot.2004.1302413openalex-snapshot
Multi-robot planning : a timed automata approach
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/tac.2006.886494openalex-snapshot
Linear Time Logic Control of Discrete-Time Linear Systems
inferredcites →https://doi.org/10.1109/tac.2011.2178328openalex-snapshot
Temporal Logic Control of Discrete-Time Piecewise Affine Systems
inferredcites →https://doi.org/10.1109/tc.1983.1676196openalex-snapshot
Spatial Planning: A Configuration Space Approach
inferredcites →https://doi.org/10.1109/tro.2005.851305openalex-snapshot
2006 IEEE International Conference on Robotics and Automation
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.2011.2163434openalex-snapshot
Formal Approach to the Deployment of Distributed Robotic Teams
inferredcites →https://doi.org/10.1145/3828.3837openalex-snapshot
The complexity of propositional linear temporal logics
inferredcites →https://doi.org/10.1177/0278364911417911openalex-snapshot
Optimal path planning for surveillance with temporal-logic constraints
inferredcites →https://doi.org/10.21236/ada461346openalex-snapshot
Model Checking of Probabilistic and Nondeterministic Systems
inferredcites →https://doi.org/10.25080/tcwv9851openalex-snapshot
Exploring Network Structure, Dynamics, and Function using NetworkX
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-031-21090-7_14openalex-snapshot
Partial Satisfaction of Signal Temporal Logic Specifications for Coordination of Multi-robot Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-23778-7_40openalex-snapshot
Provably Correct Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging Constraints
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-67113-0_10openalex-snapshot
Sampling-Based Path Planning for Multi-robot Systems with Co-Safe Linear Temporal Logic Specifications
inferred← citeshttps://doi.org/10.1007/978-981-13-9042-5_63openalex-snapshot
A Cooperative Co-evolutionary Genetic Algorithm for Multi-Robot Path Planning Having Multiple Targets
inferred← citeshttps://doi.org/10.1007/978-981-19-3998-3_137openalex-snapshot
Optimal Multi-agent Collision-Free Path Planning with Temporal Logic Constraints
inferred← citeshttps://doi.org/10.1007/978-981-96-9697-0_53openalex-snapshot
Warehouse Logistics AGV Path Planning Based on the Improved Artificial Bee Colony Algorithm
inferred← citeshttps://doi.org/10.1007/s10514-015-9519-zopenalex-snapshot
Persistent surveillance for unmanned aerial vehicles subject to charging and temporal logic constraints
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.1007/s10514-020-09937-6openalex-snapshot
Scalable time-constrained planning of multi-robot systems
inferred← citeshttps://doi.org/10.1007/s10514-021-09993-6openalex-snapshot
Learning and planning with logical automata
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/s10846-021-01477-0openalex-snapshot
Distributed Planning for Serving Cooperative Tasks with Time Windows: A Game Theoretic Approach
inferred← citeshttps://doi.org/10.1007/s11370-021-00389-0openalex-snapshot
Multi-robot mission planning using evolutionary computation with incremental task addition
inferred← citeshttps://doi.org/10.1007/s12065-025-01065-3openalex-snapshot
Operational probability aware mission planning on expression trees using evolutionary computation
inferred← citeshttps://doi.org/10.1007/s43154-023-00104-0openalex-snapshot
Formal Modelling for Multi-Robot Systems Under Uncertainty
inferred← citeshttps://doi.org/10.1016/b978-0-443-18908-1.00013-3openalex-snapshot
Task planning approaches
inferred← citeshttps://doi.org/10.1016/j.arcontrol.2022.09.004openalex-snapshot
Control of cooperative manipulator-endowed systems under high-level tasks and uncertain dynamics
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.asoc.2023.110090openalex-snapshot
Mission planning on preference-based expression trees using heuristics-assisted evolutionary computation
inferred← citeshttps://doi.org/10.1016/j.asoc.2025.114498openalex-snapshot
A comprehensive review on multi robot task assignment and path planning: Operational constraints, challenges, and potentials of deep reinforcement learning
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.2018.08.022openalex-snapshot
A distributed approach to robust control of multi-robot systems
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.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.conengprac.2022.105130openalex-snapshot
Security-preserving multi-agent coordination for complex temporal logic tasks
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.2017.08.2280openalex-snapshot
Probabilistic Plan Synthesis for Coupled Multi-Agent Systems
inferred← citeshttps://doi.org/10.1016/j.ifacol.2020.12.2359openalex-snapshot
Minimizing the Information Leakage Regarding High-Level Task Specifications
inferred← citeshttps://doi.org/10.1016/j.ifacol.2020.12.2397openalex-snapshot
Sampling-based Motion Planning with Temporal Logic Missions and Spatial Preferences
inferred← citeshttps://doi.org/10.1016/j.ifacol.2023.10.959openalex-snapshot
Failure-Aware Self-Diagnostic Task Planning under Temporal Logic Specifications*
inferred← citeshttps://doi.org/10.1016/j.jlp.2018.08.006openalex-snapshot
Optimizing emergency rescue and evacuation planning with intelligent obstacle avoidance in a chemical industrial park
inferred← citeshttps://doi.org/10.1016/j.jocs.2022.101938openalex-snapshot
An intelligence-based hybrid PSO-SA for mobile robot path planning in warehouse
inferred← citeshttps://doi.org/10.1016/j.knosys.2022.110181openalex-snapshot
Automatic Decentralized Behavior Tree Synthesis and Execution for Coordination of Intelligent Vehicles
inferred← citeshttps://doi.org/10.1016/j.nahs.2017.01.002openalex-snapshot
First steps toward formal controller synthesis for bipedal robots with experimental implementation
inferred← citeshttps://doi.org/10.1016/j.rcim.2019.101915openalex-snapshot
Highly-scalable traffic management of autonomous industrial transportation systems
inferred← citeshttps://doi.org/10.1016/j.robot.2019.103289openalex-snapshot
Petri net based multi-robot task coordination from temporal logic specifications
inferred← citeshttps://doi.org/10.1016/j.robot.2021.103801openalex-snapshot
Distributed safe planning for satisfying minimal temporal relaxations of TWTL specifications
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.1080/00207721.2021.1976305openalex-snapshot
Density-aware decentralised multi-agent exploration with energy constraint based on optimal transport theory
inferred← citeshttps://doi.org/10.1080/23307706.2025.2526811openalex-snapshot
Optimal security-aware path planning for linear temporal logic tasks under complex constraints
inferred← citeshttps://doi.org/10.1088/1742-6596/2213/1/012030openalex-snapshot
Synthesis of Asynchronous Control and Synchronization for Multi-Robot System under Finite Horizon Temporal Task
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.2016.7526792openalex-snapshot
Motion-planning with global temporal logic specifications for multiple nonholonomic robotic vehicles
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/acsd.2014.15openalex-snapshot
Controllability in Partial and Uncertain Environments
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/cdc.2014.7039362openalex-snapshot
Cooperative decentralized multi-agent control under local LTL tasks and connectivity constraints
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.2015.7403396openalex-snapshot
Decomposition of multi-agent planning under distributed motion and task LTL specifications
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.2016.7799415openalex-snapshot
Control in belief space with Temporal Logic specifications
inferred← citeshttps://doi.org/10.1109/cdc.2017.8264271openalex-snapshot
Temporal task planning in wirelessly connected environments with unknown channel quality
inferred← citeshttps://doi.org/10.1109/cdc.2017.8264538openalex-snapshot
Optimal multi-robot path planning for pesticide spraying in agricultural fields
inferred← citeshttps://doi.org/10.1109/cdc.2018.8618922openalex-snapshot
Temporal Logic Optimal Control for Large-Scale Multi-Robot Systems: 10400 States and Beyond
inferred← citeshttps://doi.org/10.1109/cdc.2018.8618924openalex-snapshot
Active Acoustic Impedance Mapping Using Mobile Robots
inferred← citeshttps://doi.org/10.1109/cdc40024.2019.9029554openalex-snapshot
On-the-Fly Decentralized Tasking of Autonomous Vehicles
inferred← citeshttps://doi.org/10.1109/cdc40024.2019.9030183openalex-snapshot
Automatic Safe Behaviour Tree Synthesis for Autonomous Agents
inferred← citeshttps://doi.org/10.1109/cdc42340.2020.9304153openalex-snapshot
Secure-by-Construction Optimal Path Planning for Linear 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/cdc49753.2023.10383570openalex-snapshot
Optimal Path Planning With Opacity-Preserving Temporal Logic Specifications Using Bipartite Synthesizers
inferred← citeshttps://doi.org/10.1109/cdc49753.2023.10383729openalex-snapshot
Automated Formation Control Synthesis from Temporal Logic 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/codit58514.2023.10284378openalex-snapshot
Reactive and Human-in-the-Loop Planning and Control of Multi-Robot Systems under LTL Specifications in Dynamic Environments*
inferred← citeshttps://doi.org/10.1109/etfa54631.2023.10275529openalex-snapshot
Extension of a decomposition method for a global LTL specification
inferred← citeshttps://doi.org/10.1109/iaeac.2018.8577242openalex-snapshot
Robot Path Planning Using Improved Artificial Bee Colony Algorithm
inferred← citeshttps://doi.org/10.1109/icca69928.2026.11618058openalex-snapshot
Asymptotic Optimal Search for Scalable Multi-Agent Linear Temporal Logic Task Planning
inferred← citeshttps://doi.org/10.1109/iccps.2016.7479106openalex-snapshot
Least-Violating Planning in Road Networks from Temporal Logic Specifications
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/iccps61052.2024.00023openalex-snapshot
An Online Planning Framework for Multi-Robot Systems with LTL Specification
inferred← citeshttps://doi.org/10.1109/icra.2016.7487733openalex-snapshot
Hybrid control of multi-robot systems using embedded graph grammars
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.7989096openalex-snapshot
Decentralized motion planning with collision avoidance for a team of UAVs under high level goals
inferred← citeshttps://doi.org/10.1109/icra.2017.7989177openalex-snapshot
Minimum-violation scLTL motion planning for mobility-on-demand
inferred← citeshttps://doi.org/10.1109/icra.2018.8460793openalex-snapshot
Human-in-the-Loop Mixed-Initiative Control Under Temporal Tasks
inferred← citeshttps://doi.org/10.1109/icra.2019.8794395openalex-snapshot
Energy-Aware Temporal Logic Motion Planning for Mobile Robots
inferred← citeshttps://doi.org/10.1109/icra40945.2020.9196513openalex-snapshot
CyPhyHouse: A programming, simulation, and deployment toolchain for heterogeneous distributed coordination
inferred← citeshttps://doi.org/10.1109/icra40945.2020.9196928openalex-snapshot
T: A Heuristic Search Based Path Planning Algorithm for Temporal Logic Specifications
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/icra48506.2021.9561061openalex-snapshot
SMT-Based Optimal Deployment of Mobile Rechargers
inferred← citeshttps://doi.org/10.1109/icra48506.2021.9561193openalex-snapshot
Predictive Runtime Monitoring for Mobile Robots using Logic-Based Bayesian Intent Inference
inferred← citeshttps://doi.org/10.1109/icra48506.2021.9561989openalex-snapshot
Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives
inferred← citeshttps://doi.org/10.1109/icra55743.2025.11128030openalex-snapshot
Limits of Specifiability for Sensor-Based Robotic Planning Tasks
inferred← citeshttps://doi.org/10.1109/icra57147.2024.10611519openalex-snapshot
An Iterative Approach for Heterogeneous Multi-Agent Route Planning with Temporal Logic Goals and Travel Duration Uncertainty
inferred← citeshttps://doi.org/10.1109/icves.2018.8519514openalex-snapshot
Practical Hybrid Graph-Based Formation Control Architecture for Leader-Follower Trajectory Tracking Problem
inferred← citeshttps://doi.org/10.1109/iros.2014.6942758openalex-snapshot
Automated composition of motion primitives for multi-robot systems from safe LTL specifications
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/iros45743.2020.9341412openalex-snapshot
What to Do When You Can’t Do It All: Temporal Logic Planning with Soft 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.9636177openalex-snapshot
Decentralized Classification with Assume-Guarantee Planning
inferred← citeshttps://doi.org/10.1109/iros51168.2021.9636260openalex-snapshot
Designing and Deploying a Mobile UVC Disinfection Robot
inferred← citeshttps://doi.org/10.1109/iros51168.2021.9636287openalex-snapshot
Multi-Robot Task Planning under Individual and Collaborative Temporal Logic Specifications
inferred← citeshttps://doi.org/10.1109/iros51168.2021.9636399openalex-snapshot
DT*: Temporal Logic Path Planning in a Dynamic Environment
inferred← citeshttps://doi.org/10.1109/iros55552.2023.10341623openalex-snapshot
Temporal Logic-Based Intent Monitoring for Mobile Robots
inferred← citeshttps://doi.org/10.1109/jas.2017.7510604openalex-snapshot
A survey of human-centered intelligent robots: issues and challenges
inferred← citeshttps://doi.org/10.1109/jas.2022.106043openalex-snapshot
Early-Awareness Collision Avoidance in Optimal Multi-Agent Path Planning With Temporal Logic Specifications
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/med59994.2023.10185907openalex-snapshot
Decentralized Multi-agent Coordination under MITL Specifications and Communication Constraints
inferred← citeshttps://doi.org/10.1109/smc.2017.8122818openalex-snapshot
An optimal task decision method for a warehouse robot with multiple tasks based on linear temporal logic
inferred← citeshttps://doi.org/10.1109/smc42975.2020.9282945openalex-snapshot
Constraint-Free Discretized Manifolds for Robotic Path Planning
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.2016.2628389openalex-snapshot
Task and Motion Coordination for Heterogeneous Multiagent Systems With Loosely Coupled Local Tasks
inferred← citeshttps://doi.org/10.1109/tase.2022.3175909openalex-snapshot
An ETCEN-Based Motion Coordination Strategy Avoiding Active and Passive Deadlocks for Multi-AGV System
inferred← citeshttps://doi.org/10.1109/tase.2025.3553498openalex-snapshot
Distributed and Reactive Controller Synthesis for Multi-Agent Systems Under Finite Horizon Temporal Logic Tasks
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/tase.2026.3683709openalex-snapshot
HECTOR: Human-Centric Hierarchical Coordination and Supervision of Robotic Fleets Under Continual Temporal Tasks
inferred← citeshttps://doi.org/10.1109/tcad.2023.3283296openalex-snapshot
Quantitative Robustness for Signal Temporal Logic With Time-Freeze Quantifiers
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/tiv.2024.3362585openalex-snapshot
Optimal Deceptive Strategy Synthesis for Autonomous Systems Under Asymmetric Information
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.2021.3061983openalex-snapshot
An Abstraction-Free Method for Multirobot Temporal Logic Optimal Control Synthesis
inferred← citeshttps://doi.org/10.1109/tro.2021.3088764openalex-snapshot
Distributed Motion Coordination for Multirobot Systems Under LTL Specifications
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/tro.2024.3502497openalex-snapshot
Multirobot Persistent Monitoring: Minimizing Latency and Number of Robots With Recharging Constraints
inferred← citeshttps://doi.org/10.1109/tro.2025.3577010openalex-snapshot
Optimal On-the-Fly Route Planning With Rich Transportation Requests
inferred← citeshttps://doi.org/10.1109/yac71005.2026.11615524openalex-snapshot
Combining Linear Temporal Logic With Deep Reinforcement Learning for Collaborative Planning
inferred← citeshttps://doi.org/10.1115/1.4069407openalex-snapshot
Kinodynamic Motion Planning for Collaborative Object Transportation by Multiple Mobile Manipulators
inferred← citeshttps://doi.org/10.1142/s0218194020400215openalex-snapshot
A Generic Approach on How to Formally Specify and Model Check Path Finding Algorithms: Dijkstra, A* and LPA*
inferred← citeshttps://doi.org/10.1145/2728606.2728611openalex-snapshot
First steps toward formal controller synthesis for bipedal robots
inferred← citeshttps://doi.org/10.1145/3055004.3055027openalex-snapshot
Sampling-based control synthesis for multi-robot systems under global temporal specifications
inferred← citeshttps://doi.org/10.1145/3387304.3387322openalex-snapshot
Multi-robot routing and scheduling with temporal logic and synchronization constraints
inferred← citeshttps://doi.org/10.1145/3716550.3722028openalex-snapshot
Integrated Task and Path Planning for Collaborative Multi-Robot Systems
inferred← citeshttps://doi.org/10.1177/0142331219872862openalex-snapshot
Development of a hybrid multi-layer control architecture for a cooperative team of N − homogeneous robots
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/0278364919846340openalex-snapshot
Control in belief space with temporal logic specifications using vision-based localization
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/0278364920918919openalex-snapshot
Reactive sampling-based path planning with temporal logic specifications
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/02783649241278372openalex-snapshot
Real-time reactive task allocation and planning of large heterogeneous multi-robot systems with temporal logic specifications
inferred← citeshttps://doi.org/10.1177/02783649251315758openalex-snapshot
No-regret path planning for temporal logic tasks in partially-known environments
inferred← citeshttps://doi.org/10.13053/cys-21-3-2444openalex-snapshot
Branching Path Planning with Modal Logics
inferred← citeshttps://doi.org/10.15607/rss.2014.x.045openalex-snapshot
An Automata-Theoretic Approach to the Vehicle Routing Problem
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.15607/rss.2019.xv.064openalex-snapshot
Learning to Plan with Logical Automata
inferred← citeshttps://doi.org/10.1609/aaai.v31i1.11019openalex-snapshot
Robust Execution of Probabilistic Temporal Plans
inferred← citeshttps://doi.org/10.1609/aaai.v34i06.6559openalex-snapshot
Deep Bayesian Nonparametric Learning of Rules and Plans from Demonstrations with a Learned Automaton Prior
inferred← citeshttps://doi.org/10.18293/seke2019-022openalex-snapshot
Formal Specification and Model Checking of A* Algorithm
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.2017.7963331openalex-snapshot
Communication-aware motion planning for multi-agent systems from signal temporal logic specifications
inferred← citeshttps://doi.org/10.23919/acc.2019.8814485openalex-snapshot
Multi-Robot Routing for Persistent Monitoring with Latency Constraints
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/ascc56756.2022.9828362openalex-snapshot
Failure-Robust Multi-Robot Tasks Planning under Linear Temporal Logic Specifications
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.24963/ijcai.2022/644openalex-snapshot
General Optimization Framework for Recurrent Reachability Objectives
inferred← citeshttps://doi.org/10.2514/1.g001829openalex-snapshot
Route Guidance for Satisfying Temporal Logic Specifications on Aircraft Motion
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.32657/10220/48184openalex-snapshot
Distributed approaches to motion planning and control in multi-robot systems
inferred← citeshttps://doi.org/10.3389/frobt.2018.00094openalex-snapshot
Toward Formal Models and Languages for Verifiable Multi-Robot Systems
inferred← citeshttps://doi.org/10.3390/bdcc8050049openalex-snapshot
Runtime Verification-Based Safe MARL for Optimized Safety Policy Generation for Multi-Robot Systems
inferred← citeshttps://doi.org/10.3390/robotics10020072openalex-snapshot
A* Based Routing and Scheduling Modules for Multiple AGVs in an Industrial Scenario
inferred← citeshttps://doi.org/10.34088/kojose.1694778openalex-snapshot
Coverage and Transition Planning in Obstacle-Rich Workspaces
inferred← citeshttps://doi.org/10.48550/arxiv.1510.08474openalex-snapshot
Control with Probabilistic Signal Temporal Logic
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.1610.00913openalex-snapshot
Distributed Cooperative Manipulation under Timed Temporal Specifications
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.08288openalex-snapshot
Mode Switching Decentralized Multi-Agent Coordination under Local Temporal Logic Tasks
inferred← citeshttps://doi.org/10.48550/arxiv.1809.05817openalex-snapshot
T* : A Heuristic Search Based Algorithm for Motion Planning with Temporal Goals
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.2009.00862openalex-snapshot
Efficient Multi-Robot Exploration with Energy Constraint based on Optimal Transport Theory
inferred← citeshttps://doi.org/10.48550/arxiv.2011.00632openalex-snapshot
Synthesis of Discounted-Reward Optimal Policies for Markov Decision Processes Under Linear Temporal Logic Specifications
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.48550/arxiv.2107.08540openalex-snapshot
Distributed Planning for Serving Cooperative Tasks with Time Windows: A Game Theoretic Approach
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.