On the public citation graph
Temporal-Logic-Based Reactive Mission and Motion Planning
0 signed · 749 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/11817949_30openalex-snapshot
Controller Synthesis for MTL Specifications
inferredcites →https://doi.org/10.1007/3-540-45351-2_35openalex-snapshot
Robust Controller Synthesis for Hybrid Systems Using Modal Logic
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.1016/0004-3702(96)00007-0openalex-snapshot
Artificial intelligence: A modern approach
inferredcites →https://doi.org/10.1016/0167-6423(90)90076-popenalex-snapshot
Communication and concurrency
inferredcites →https://doi.org/10.1016/b978-0-444-88074-1.50021-4openalex-snapshot
Temporal and Modal Logic
inferredcites →https://doi.org/10.1016/j.automatica.2003.08.001openalex-snapshot
A control problem for affine dynamical systems on a full-dimensional polytope
inferredcites →https://doi.org/10.1016/j.automatica.2008.02.021openalex-snapshot
Approximately bisimilar symbolic models for nonlinear control systems
inferredcites →https://doi.org/10.1016/j.automatica.2008.08.008openalex-snapshot
Temporal logic motion planning for dynamic robots
inferredcites →https://doi.org/10.1109/5.871304openalex-snapshot
Discrete abstractions of hybrid systems
inferredcites →https://doi.org/10.1109/70.163777openalex-snapshot
Exact robot navigation using artificial potential functions
inferredcites →https://doi.org/10.1109/cdc.2003.1271663openalex-snapshot
On the structural complexity of the motion description language MDLe
inferredcites →https://doi.org/10.1109/cdc.2004.1428674openalex-snapshot
Constructing decidable hybrid systems with velocity bounds
inferredcites →https://doi.org/10.1109/cdc.2005.1582713openalex-snapshot
Smoothly Blending Vector Fields for Global Robot Navigation
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/iros.2003.1249705openalex-snapshot
Composition of local potential functions for global robot control and navigation
inferredcites →https://doi.org/10.1109/iros.2007.4399374openalex-snapshot
Valet parking without a valet
inferredcites →https://doi.org/10.1109/lics.2001.932504openalex-snapshot
From verification to control: dynamic programs for omega-regular objectives
inferredcites →https://doi.org/10.1109/mra.2007.339624openalex-snapshot
Symbolic planning and control of robot motion [Grand Challenges of Robotics]
inferredcites →https://doi.org/10.1109/mra.2008.919022openalex-snapshot
A Software Tool for Hybrid Control
inferredcites →https://doi.org/10.1109/robot.1988.12107openalex-snapshot
On the computer control of movement
inferredcites →https://doi.org/10.1109/robot.1995.525480openalex-snapshot
Discrete event models+temporal logic=supervisory controller: automatic synthesis of locomotion controllers
inferredcites →https://doi.org/10.1109/robot.2005.1570410openalex-snapshot
Temporal Logic Motion Planning for Mobile Robots
inferredcites →https://doi.org/10.1109/robot.2007.363944openalex-snapshot
Smooth Feedback for Car-Like Vehicles in Polygonal Environments
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.876956openalex-snapshot
Symbolic Feedback Control for Navigation
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.2005.852260openalex-snapshot
Maneuver-based motion planning for nonlinear systems with symmetries
inferredcites →https://doi.org/10.1145/75277.75293openalex-snapshot
On the synthesis of a reactive module
inferredcites →https://doi.org/10.15607/rss.2006.ii.008openalex-snapshot
Integrated Planning and Control for Convex-bodied Nonholonomic systems using Local Feedback Control Policies
inferredcites →https://doi.org/10.15607/rss.2006.ii.027openalex-snapshot
Computing Smooth Feedback Plans Over Cylindrical Algebraic Decompositions
inferredcites →https://doi.org/10.5860/choice.33-1577openalex-snapshot
Artificial intelligence: a modern approach
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/9783527800728.ch15openalex-snapshot
System Design in the Cyber‐Physical Era
inferred← citeshttps://doi.org/10.1002/rnc.7226openalex-snapshot
Dynamic event‐triggered prescribed performance control for nonlinear systems with signal temporal logic
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/978-3-030-00151-3_5openalex-snapshot
Reactive Synthesis for Robotic Swarms
inferred← citeshttps://doi.org/10.1007/978-3-030-02450-5_24openalex-snapshot
Towards Trustworthy AI for Autonomous Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-03421-4_8openalex-snapshot
Programming Safe Robotics Systems: Challenges and Advances
inferred← citeshttps://doi.org/10.1007/978-3-030-20615-4_19openalex-snapshot
Time Bound Robot Mission Planning for Priority Machine Using Linear Temporal Logic for Multi Goals
inferred← citeshttps://doi.org/10.1007/978-3-030-29026-9_1openalex-snapshot
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL
inferred← citeshttps://doi.org/10.1007/978-3-030-30942-8_7openalex-snapshot
GR(1)*: GR(1) Specifications Extended with Existential Guarantees
inferred← citeshttps://doi.org/10.1007/978-3-030-53288-8_31openalex-snapshot
Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle Models
inferred← citeshttps://doi.org/10.1007/978-3-030-53594-0_23openalex-snapshot
Automation and Autonomy in Robotic Surgery
inferred← citeshttps://doi.org/10.1007/978-3-030-60861-3_4openalex-snapshot
Reliable Sense-Plan-Act Approaches for TrustVehicles
inferred← citeshttps://doi.org/10.1007/978-3-030-76983-3_6openalex-snapshot
Canonical Representations for Direct Generation of Strategies in High-Level Petri Games
inferred← citeshttps://doi.org/10.1007/978-3-030-85037-1_1openalex-snapshot
Formal Methods for Robot Motion Planning with Time and Space Constraints (Extended Abstract)
inferred← citeshttps://doi.org/10.1007/978-3-030-88885-5_1openalex-snapshot
Linear Temporal Logic – From Infinite to Finite Horizon
inferred← citeshttps://doi.org/10.1007/978-3-030-92124-8_21openalex-snapshot
TACoS: A Tool for MTL Controller Synthesis
inferred← citeshttps://doi.org/10.1007/978-3-030-95459-8_31openalex-snapshot
Automatic Encoding and Repair of Reactive High-Level Tasks with Learned Abstract Representations
inferred← citeshttps://doi.org/10.1007/978-3-030-95459-8_36openalex-snapshot
Taking Recoveries to Task: Recovery-Driven Development for Recipe-Based Robot Tasks
inferred← citeshttps://doi.org/10.1007/978-3-031-06773-0_7openalex-snapshot
Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems$$^{\dagger }$$
inferred← citeshttps://doi.org/10.1007/978-3-031-13188-2_26openalex-snapshot
Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation
inferred← citeshttps://doi.org/10.1007/978-3-031-25555-7_1openalex-snapshot
It’s Just Semantics: How to Get Robots to Understand the World the Way We Do
inferred← citeshttps://doi.org/10.1007/978-3-031-27481-7_28openalex-snapshot
Tableaux for Realizability of Safety Specifications
inferred← citeshttps://doi.org/10.1007/978-3-031-30820-8_17openalex-snapshot
Taming Large Bounds in Synthesis from Bounded-Liveness Specifications
inferred← citeshttps://doi.org/10.1007/978-3-031-37706-8_22openalex-snapshot
Synthesizing Permissive Winning Strategy Templates for Parity Games
inferred← citeshttps://doi.org/10.1007/978-3-031-43835-6_1openalex-snapshot
Multi-agent Verification and Control with Probabilistic Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-031-43835-6_5openalex-snapshot
A Bounded Model Checking Technique for Discrete-Time Nonlinear Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-57228-9openalex-snapshot
Foundations of Software Science and Computation Structures
inferred← citeshttps://doi.org/10.1007/978-3-031-57228-9_4openalex-snapshot
Symbolic Solution of Emerson-Lei Games for Reactive Synthesis
inferred← citeshttps://doi.org/10.1007/978-3-031-60698-4_4openalex-snapshot
Distributional Probabilistic Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-031-90643-5_3openalex-snapshot
Performance Heuristics for GR(1) Realizability Checking and Related Analyses
inferred← citeshttps://doi.org/10.1007/978-3-031-98685-7_12openalex-snapshot
Automatic Synthesis of Smooth Infinite Horizon Paths Satisfying Linear Temporal Logic Specifications
inferred← citeshttps://doi.org/10.1007/978-3-031-98685-7_4openalex-snapshot
Deductive Synthesis of Reinforcement Learning Agents for Infinite Horizon Tasks
inferred← citeshttps://doi.org/10.1007/978-3-032-05792-1_7openalex-snapshot
Programming and Reasoning in Partially Observable Probabilistic Environments
inferred← citeshttps://doi.org/10.1007/978-3-032-22752-2_31openalex-snapshot
Driving by Disproof: A Practical Model Checking Approach to Fleet Coordination
inferred← citeshttps://doi.org/10.1007/978-3-032-26204-2_13openalex-snapshot
Accelerating Kind Realizability: A Multi-stage Incremental Realizability Checking Framework
inferred← citeshttps://doi.org/10.1007/978-3-032-26204-2_18openalex-snapshot
Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-Checking
inferred← citeshttps://doi.org/10.1007/978-3-032-26220-2_9openalex-snapshot
Performance Heuristics for GR(1) Unrealizable Core Computation
inferred← citeshttps://doi.org/10.1007/978-3-032-30693-7_14openalex-snapshot
Learning-Based Quantitative Evaluation of GR(1) Temporal Properties upon Partial Data Traces
inferred← citeshttps://doi.org/10.1007/978-3-032-32537-2_21openalex-snapshot
Spatiotemporal Robustness of Temporal Logic Tasks Using Multi-Objective Reasoning
inferred← citeshttps://doi.org/10.1007/978-3-319-00065-7_47openalex-snapshot
Linguistic Composition of Semantic Maps and Hybrid Controllers
inferred← citeshttps://doi.org/10.1007/978-3-319-03707-3_3openalex-snapshot
Deterministic Decision Making
inferred← citeshttps://doi.org/10.1007/978-3-319-11900-7_39openalex-snapshot
Automatic Verification of Autonomous Robot Missions
inferred← citeshttps://doi.org/10.1007/978-3-319-16595-0_41openalex-snapshot
Online Task Planning and Control for Aerial Robots with Fuel Constraints in Winds
inferred← citeshttps://doi.org/10.1007/978-3-319-21690-4_25openalex-snapshot
Adam: Causality-Based Synthesis of Distributed Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-41528-4_1openalex-snapshot
Termination Analysis of Probabilistic Programs Through Positivstellensatz’s
inferred← citeshttps://doi.org/10.1007/978-3-319-41540-6_14openalex-snapshot
Compositional Synthesis of Reactive Controllers for Multi-agent Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-41540-6_18openalex-snapshot
Slugs: Extensible GR(1) Synthesis
inferred← citeshttps://doi.org/10.1007/978-3-319-41959-6_17openalex-snapshot
The Future of Human Robot Teams in the Army: Factors Affecting a Model of Human-System Dialogue Towards Greater Team Collaboration
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-63390-9_19openalex-snapshot
Quantitative Assume Guarantee Synthesis
inferred← citeshttps://doi.org/10.1007/978-3-319-64816-3_3openalex-snapshot
Goal Reasoning and Trusted Autonomy
inferred← citeshttps://doi.org/10.1007/978-3-319-67531-2_11openalex-snapshot
Combining Model Checking and Runtime Verification for Safe Robotics
inferred← citeshttps://doi.org/10.1007/978-3-319-94111-0_17openalex-snapshot
Quantitative Model Checking for a Controller Design
inferred← citeshttps://doi.org/10.1007/978-3-319-95582-7_24openalex-snapshot
Multi-robot LTL Planning Under Uncertainty
inferred← citeshttps://doi.org/10.1007/978-3-319-95582-7_7openalex-snapshot
A Weakness Measure for GR(1) Formulae
inferred← citeshttps://doi.org/10.1007/978-3-319-96145-3_17openalex-snapshot
Reactive Control Improvisation
inferred← citeshttps://doi.org/10.1007/978-3-319-96145-3_19openalex-snapshot
Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics
inferred← citeshttps://doi.org/10.1007/978-3-642-00768-2_31openalex-snapshot
Falsification of LTL Safety Properties in Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-15892-6_1openalex-snapshot
Constraints-Based Complex Behavior in Rich Environments
inferred← citeshttps://doi.org/10.1007/978-3-642-20398-5_9openalex-snapshot
Generalized Rabin(1) Synthesis with Applications to Robust System Synthesis
inferred← citeshttps://doi.org/10.1007/978-3-642-22110-1_54openalex-snapshot
Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP
inferred← citeshttps://doi.org/10.1007/978-3-642-24310-3_11openalex-snapshot
Minimum Attention Controller Synthesis for Omega-Regular Objectives
inferred← citeshttps://doi.org/10.1007/978-3-642-39212-2_3openalex-snapshot
Formalizing and Reasoning about Quality
inferred← citeshttps://doi.org/10.1007/978-3-642-39611-3_22openalex-snapshot
Environment-Friendly Safety
inferred← citeshttps://doi.org/10.1007/978-3-642-41610-1_237-1openalex-snapshot
Reconfigurable Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-54862-8_40openalex-snapshot
Synthesis for Human-in-the-Loop Control Systems
inferred← citeshttps://doi.org/10.1007/978-3-662-49674-9_1openalex-snapshot
Robots at the Edge of the Cloud
inferred← citeshttps://doi.org/10.1007/978-981-92-3527-8_23openalex-snapshot
A Formal Grammar for Auditable and Verifiable 3D Concrete Printing via Multimodal Large Language Model Suggestion-to-Action Translation
inferred← citeshttps://doi.org/10.1007/978-981-96-0789-1_10openalex-snapshot
A Dynamical Systems-Based Peg-in-Hole Assembly Method Using Temporal Logic Task Planner
inferred← citeshttps://doi.org/10.1007/s00165-021-00535-6openalex-snapshot
GR(1)*: GR(1) specifications extended withexistential guarantees
inferred← citeshttps://doi.org/10.1007/s00236-019-00351-9openalex-snapshot
Performance heuristics for GR(1) synthesis and related algorithms
inferred← citeshttps://doi.org/10.1007/s10009-012-0233-2openalex-snapshot
Falsification of LTL safety properties in hybrid systems
inferred← citeshttps://doi.org/10.1007/s10009-023-00704-3openalex-snapshot
Decision-making under uncertainty: beyond probabilities
inferred← citeshttps://doi.org/10.1007/s10270-021-00868-zopenalex-snapshot
Spectra: a specification language for reactive systems
inferred← citeshttps://doi.org/10.1007/s10270-026-01364-yopenalex-snapshot
Reactive synthesis specification review for validity and quality
inferred← citeshttps://doi.org/10.1007/s10462-022-10389-wopenalex-snapshot
Logic programming for deliberative robotic task planning
inferred← citeshttps://doi.org/10.1007/s10514-012-9288-xopenalex-snapshot
Robot task plan representation by Petri nets: modelling, identification, analysis and execution
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-014-9418-8openalex-snapshot
Provably correct reactive control from natural language
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-018-9738-1openalex-snapshot
Accomplishing high-level tasks with modular robots
inferred← citeshttps://doi.org/10.1007/s10514-018-9781-yopenalex-snapshot
A regrasp planning component for object reorientation
inferred← citeshttps://doi.org/10.1007/s10514-021-10004-xopenalex-snapshot
Learning temporal logic formulas from suboptimal demonstrations: theory and experiments
inferred← citeshttps://doi.org/10.1007/s10514-023-10145-1openalex-snapshot
SpaTiaL: monitoring and planning of robotic tasks using spatio-temporal logic specifications
inferred← citeshttps://doi.org/10.1007/s10626-016-0232-7openalex-snapshot
Automated generation of dynamics-based runtime certificates for high-level control
inferred← citeshttps://doi.org/10.1007/s10626-019-00297-7openalex-snapshot
Resource-aware networked control systems under temporal logic specifications
inferred← citeshttps://doi.org/10.1007/s10703-012-0164-2openalex-snapshot
A survey of partial-observation stochastic parity games
inferred← citeshttps://doi.org/10.1007/s10703-023-00413-2openalex-snapshot
Finite-trace and generalized-reactivity specifications in temporal synthesis
inferred← citeshttps://doi.org/10.1007/s10846-021-01348-8openalex-snapshot
Knowledge-Based Hierarchical POMDPs for Task Planning
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/s11036-016-0778-5openalex-snapshot
A Global Optimal Path Planning and Controller Design Algorithm for Intelligent Vehicles
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/s11768-017-7099-5openalex-snapshot
Modeling robotic operations controlled by natural language
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/s40860-018-0058-1openalex-snapshot
Group abstraction for assisted navigation of social activities in intelligent environments
inferred← citeshttps://doi.org/10.1007/s40860-018-0070-5openalex-snapshot
A survey on verification strategies for intelligent transportation systems
inferred← citeshttps://doi.org/10.1007/s41468-025-00217-9openalex-snapshot
Topology-aware planning under linear temporal logic constraints
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.2014.09.008openalex-snapshot
Automating humanitarian missions with a heterogeneous fleet of vehicles
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.arcontrol.2024.100946openalex-snapshot
Cooperative control of heterogeneous multi-agent systems under spatiotemporal constraints
inferred← citeshttps://doi.org/10.1016/j.artint.2012.12.001openalex-snapshot
Automatic behavior composition synthesis
inferred← citeshttps://doi.org/10.1016/j.artint.2014.12.009openalex-snapshot
POMDPs under probabilistic semantics
inferred← citeshttps://doi.org/10.1016/j.artint.2016.01.007openalex-snapshot
Optimal cost almost-sure reachability in POMDPs
inferred← citeshttps://doi.org/10.1016/j.artint.2021.103499openalex-snapshot
Algorithms and Conditional Lower Bounds for Planning Problems
inferred← citeshttps://doi.org/10.1016/j.artint.2022.103724openalex-snapshot
Verification of agent navigation in partially-known environments
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.atech.2025.101343openalex-snapshot
Advancement and field evaluation of a dual-arm apple harvesting robot
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.2019.05.013openalex-snapshot
Feedback control strategies for multi-agent systems under a fragment of signal temporal logic tasks
inferred← citeshttps://doi.org/10.1016/j.automatica.2021.109654openalex-snapshot
Supervisor synthesis of POMDP via automata learning
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.conengprac.2023.105600openalex-snapshot
Optimal multi-robot path planning for cyclic tasks using Petri nets
inferred← citeshttps://doi.org/10.1016/j.engappai.2020.104091openalex-snapshot
GRAVITAS: A model checking based planning and goal reasoning framework for autonomous systems
inferred← citeshttps://doi.org/10.1016/j.ic.2018.02.021openalex-snapshot
Compositional and symbolic synthesis of reactive controllers for multi-agent systems
inferred← citeshttps://doi.org/10.1016/j.ic.2023.105126openalex-snapshot
Realizability problem for constraint LTL
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.166openalex-snapshot
Temporal Logic Inference with Prior Information: An Application to Robot Arm Movements**Corresponding Author: Zhe Xu. We acknowledge the support of the National Science Foundation through grants number CNS0953976, CNS-1218109, and NRI-1426907, and the O_ce of Naval Research through grant number…
inferred← citeshttps://doi.org/10.1016/j.ifacol.2016.07.095openalex-snapshot
An LTL-Based Motion and Action Dynamic Planning Method for Autonomous Robot**This work was supported by National Natural Science Foundation of China (61403410).
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.2020.12.2345openalex-snapshot
Continuous and discrete abstractions for planning, applied to ship docking
inferred← citeshttps://doi.org/10.1016/j.ifacol.2020.12.2526openalex-snapshot
Communication Policies in Heterogeneous Multi-Agent Systems in Partially Known Environments under Temporal Logic Specifications
inferred← citeshttps://doi.org/10.1016/j.ifacol.2020.12.2539openalex-snapshot
Control of Timed Discrete Event Systems with Ticked Linear Temporal Logic Constraints
inferred← citeshttps://doi.org/10.1016/j.ifacol.2021.04.011openalex-snapshot
Multi-robot Path Planning with Boolean Specifications and Collision Avoidance
inferred← citeshttps://doi.org/10.1016/j.ifacol.2021.08.465openalex-snapshot
Learning Robust Hybrid Control Barrier Functions for Uncertain Systems
inferred← citeshttps://doi.org/10.1016/j.ifacol.2021.08.493openalex-snapshot
Planning in Dynamic and Partially Unknown Environments
inferred← citeshttps://doi.org/10.1016/j.ifacol.2022.10.317openalex-snapshot
Optimal Multi-Robot Path Planning for Cyclic Tasks using Petri Nets
inferred← citeshttps://doi.org/10.1016/j.ifacol.2023.10.898openalex-snapshot
Distributed Control of Coupled Leader-follower Multi-agent Systems under Spatiotemporal Logic Tasks
inferred← citeshttps://doi.org/10.1016/j.jcss.2016.02.009openalex-snapshot
What is decidable about partially observable Markov decision processes with ω-regular objectives
inferred← citeshttps://doi.org/10.1016/j.jlamp.2021.100743openalex-snapshot
A tableau construction for finite linear-time temporal logic
inferred← citeshttps://doi.org/10.1016/j.nahs.2016.02.002openalex-snapshot
Finite abstractions with robustness margins for temporal logic-based control synthesis
inferred← citeshttps://doi.org/10.1016/j.nahs.2020.100973openalex-snapshot
Funnel control for fully actuated systems under a fragment of signal temporal logic specifications
inferred← citeshttps://doi.org/10.1016/j.nahs.2026.101783openalex-snapshot
Contract-based multi-agent logical controller synthesis under uncertainty
inferred← citeshttps://doi.org/10.1016/j.rcim.2018.10.011openalex-snapshot
Performance guaranteed human-robot collaboration with POMDP supervisory control
inferred← citeshttps://doi.org/10.1016/j.ress.2017.08.012openalex-snapshot
Application of temporal logic for safety supervisory control and model-based hazard monitoring
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.2022.104084openalex-snapshot
Synthesis of strategies for autonomous surveillance on adversarial targets
inferred← citeshttps://doi.org/10.1016/j.robot.2023.104404openalex-snapshot
Correct and efficient UAV missions based on temporal planning and in-flight hybrid simulations
inferred← citeshttps://doi.org/10.1016/j.robot.2024.104681openalex-snapshot
Sequential control barrier functions for mobile robots with dynamic temporal logic specifications
inferred← citeshttps://doi.org/10.1016/j.robot.2025.105041openalex-snapshot
A formal framework for the specification and verification of robotic skills composition for autonomous behaviors
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.1017/s026357471900081xopenalex-snapshot
Robot Mission Planning using Co-evolutionary Optimization
inferred← citeshttps://doi.org/10.1038/s42256-020-0225-yopenalex-snapshot
Using online verification to prevent autonomous vehicles from causing accidents
inferred← citeshttps://doi.org/10.1049/iet-cta.2014.0611openalex-snapshot
Concurrent multi‐agent systems with temporal logic objectives: game theoretic analysis and planning through negotiation
inferred← citeshttps://doi.org/10.1049/iet-cta.2019.1112openalex-snapshot
Design of smooth hybrid controllers for a class of non‐linear systems
inferred← citeshttps://doi.org/10.1049/iet-esi.2019.0135openalex-snapshot
Model predictive control for voltage restoration in microgrids using temporal logic specifications
inferred← citeshttps://doi.org/10.1080/00207179.2012.689862openalex-snapshot
An input–output simulation approach to controlling multi-affine systems for linear temporal logic specifications
inferred← citeshttps://doi.org/10.1080/00207721.2025.2601779openalex-snapshot
Safety-critical dynamic event-triggered control for signal temporal logic tasks with high-order control barrier functions
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.1098/rsta.2010.0110openalex-snapshot
Autonomous driving in urban environments: approaches, lessons and challenges
inferred← citeshttps://doi.org/10.1109/acc.2012.6315040openalex-snapshot
Switching protocol synthesis for temporal logic specifications
inferred← citeshttps://doi.org/10.1109/acc.2012.6315290openalex-snapshot
The Motion Grammar calculus for Context-Free Hybrid systems
inferred← citeshttps://doi.org/10.1109/acc.2012.6315419openalex-snapshot
Sampling-based algorithms for optimal motion planning with deterministic μ-calculus specifications
inferred← citeshttps://doi.org/10.1109/acc.2012.6315569openalex-snapshot
Controlling wild mobile robots using virtual gates and discrete transitions
inferred← citeshttps://doi.org/10.1109/acc.2013.6579837openalex-snapshot
Minimum-violation LTL planning with conflicting specifications
inferred← citeshttps://doi.org/10.1109/acc.2013.6580816openalex-snapshot
Computing augmented finite transition systems to synthesize switching protocols for polynomial switched systems
inferred← citeshttps://doi.org/10.1109/acc.2014.6859229openalex-snapshot
Synthesis of correct-by-construction control protocols for hybrid systems using partial state information
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.7171013openalex-snapshot
Variable elimination for scalable receding horizon temporal logic planning
inferred← citeshttps://doi.org/10.1109/acc.2016.7525022openalex-snapshot
Finite state abstraction and formal methods for traffic flow networks
inferred← citeshttps://doi.org/10.1109/acc.2016.7525584openalex-snapshot
Synthesis of fault tolerant switching protocols for vehicle engine thermal management
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.7526641openalex-snapshot
Performance guaranteed human-robot collaboration through correct-by-design
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.3241946openalex-snapshot
Finite-Horizon Shield for Path Planning Ensuring Safety/Co-Safety Specifications and Security Policies
inferred← citeshttps://doi.org/10.1109/access.2023.3308050openalex-snapshot
Controller Synthesis for Multi-Agent Systems With Intermittent Communication and Metric Temporal Logic Specifications
inferred← citeshttps://doi.org/10.1109/acssc.2015.7421315openalex-snapshot
Intermittent connectivity control in mobile robot networks
inferred← citeshttps://doi.org/10.1109/aero55745.2023.10115982openalex-snapshot
Resolving Ambiguity via Dialogue to Correct Unsynthesizable Controllers for Free-Flying Robots
inferred← citeshttps://doi.org/10.1109/aivr.2018.00012openalex-snapshot
A Natural Language Programming Application for Lego Mindstorms EV3
inferred← citeshttps://doi.org/10.1109/allerton.2015.7447084openalex-snapshot
Robust temporal logic model predictive control
inferred← citeshttps://doi.org/10.1109/allerton.2019.8919727openalex-snapshot
Controller Synthesis for Multi-Agent Systems With Intermittent Communication. A Metric Temporal Logic Approach
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/apsec57359.2022.00015openalex-snapshot
Efficient Reinforcement Learning with Generalized-Reactivity Specifications
inferred← citeshttps://doi.org/10.1109/ase51524.2021.9678919openalex-snapshot
Adaptation2: Adapting Specification Learners in Assured Adaptive Systems
inferred← citeshttps://doi.org/10.1109/ase63991.2025.00030openalex-snapshot
Evolution-Aware Heuristics for GR(1) Realizability Checking
inferred← citeshttps://doi.org/10.1109/bigcomp.2018.00028openalex-snapshot
Reactive Behavioral Strategy for Unmanned Ground Vehicle Under Liner Temporal Logic Specifications
inferred← citeshttps://doi.org/10.1109/case48305.2020.9216891openalex-snapshot
Safe Motion Planning for an Uncertain Non-Holonomic System with Temporal Logic Specification
inferred← citeshttps://doi.org/10.1109/case48305.2020.9217012openalex-snapshot
Warehouse Automation in a Day: From Model to Implementation with Provable Guarantees
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/case59546.2024.10711490openalex-snapshot
Multi-Agent Path Planning for Finite Horizon Tasks with Counting Time Temporal Logics
inferred← citeshttps://doi.org/10.1109/cca.2016.7587893openalex-snapshot
Automaton-based stochastic control for navigation of emergency rescuers in buildings
inferred← citeshttps://doi.org/10.1109/ccac.2017.8276430openalex-snapshot
A methodology to evaluate combinatorial explosion using LTL in autonomous ground navigation applications
inferred← citeshttps://doi.org/10.1109/ccdc49329.2020.9164304openalex-snapshot
Temporal Logic Based Motion Planning with Infeasible LTL Specification
inferred← citeshttps://doi.org/10.1109/ccdc49329.2020.9164840openalex-snapshot
Walking Decision of Hydraulic Quadruped Robot in Complex Environment
inferred← citeshttps://doi.org/10.1109/ccta.2018.8511519openalex-snapshot
Path Planning and Control of Autonomous Vehicles in Dynamic Reach-Avoid Scenarios
inferred← citeshttps://doi.org/10.1109/cdc.2010.5717919openalex-snapshot
Modeling and control of heterogeneous non-holonomic input-constrained multiagent systems
inferred← citeshttps://doi.org/10.1109/cdc.2012.6425981openalex-snapshot
Reactive controllers for differentially flat systems with 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.2012.6426524openalex-snapshot
Control of probabilistic systems under dynamic, partially known environments with temporal logic specifications
inferred← citeshttps://doi.org/10.1109/cdc.2013.6760300openalex-snapshot
Reconfiguration in motion planning of single- and multi-agent systems under infeasible local LTL specifications
showing the first 200 of 714 · page through all 714
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.