On the public citation graph
Iterative Controller Synthesis for Multirobot System
0 signed · 37 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/978-1-4757-6656-1_2openalex-snapshot
From Global Specifications to Distributed Implementations
inferredcites →https://doi.org/10.1007/978-3-030-00151-3_5openalex-snapshot
Reactive Synthesis for Robotic Swarms
inferredcites →https://doi.org/10.1007/978-3-319-74730-9_23openalex-snapshot
Synthesizing Executable PLC Code for Robots from Scenario-Based GR(1) Specifications
inferredcites →https://doi.org/10.1007/s11432-012-4605-8openalex-snapshot
A framework for multi-robot motion planning from temporal logic specifications
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.2011.01.078openalex-snapshot
Guaranteed global performance through local coordinations
inferredcites →https://doi.org/10.1016/s1474-6670(17)42032-5openalex-snapshot
Controller Synthesis for Timed Automata 1
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.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/fmcad.2013.6679387openalex-snapshot
Counter-strategy guided refinement of GR(1) temporal logic specifications
inferredcites →https://doi.org/10.1109/icra.2014.6907487openalex-snapshot
Synthesis for multi-robot controllers with interleaved motion
inferredcites →https://doi.org/10.1109/icse.2019.00106openalex-snapshot
Symbolic Repairs for GR(1) Specifications
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.2010.5650371openalex-snapshot
LTLMoP: Experimenting with language, Temporal Logic and robot control
inferredcites →https://doi.org/10.1109/iros.2013.6696436openalex-snapshot
Towards minimal explanations of unsynthesizability for high-level robot behaviors
inferredcites →https://doi.org/10.1109/memcod.2011.5970509openalex-snapshot
Mining assumptions for synthesis
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.2004.1302413openalex-snapshot
Multi-robot planning : a timed automata approach
inferredcites →https://doi.org/10.1109/tro.2009.2030225openalex-snapshot
Temporal-Logic-Based Reactive Mission and Motion Planning
inferredcites →https://doi.org/10.1109/tro.2010.2062070openalex-snapshot
Decentralized Feedback Controllers for Multiagent Teams in Environments With Obstacles
inferredcites →https://doi.org/10.1109/tro.2011.2163434openalex-snapshot
Formal Approach to the Deployment of Distributed Robotic Teams
inferredcites →https://doi.org/10.1145/2786805.2786824openalex-snapshot
GR(1) synthesis for LTL specification patterns
inferredcites →https://doi.org/10.1145/3106237.3106240openalex-snapshot
A symbolic justice violations transition system for unrealizable GR(1) specifications
inferredcites →https://doi.org/10.1145/75277.75293openalex-snapshot
On the synthesis of a reactive module
inferredcites →https://doi.org/10.1145/963927.963928openalex-snapshot
Deterministic generators and games for Ltl fragments
inferredcites →https://doi.org/10.1177/0278364913487931openalex-snapshot
Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints
inferredcites →https://doi.org/10.15607/rss.2013.ix.023openalex-snapshot
Sorry Dave, I'm Afraid I Can't Do That: Explaining Unachievable Robot Tasks Using Natural Language
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.1109/icrca64997.2025.11011238openalex-snapshot
Vulnerabilities Analysis and Secure Controlling for Unmanned Aerial System Based on Reactive Synthesis
inferred← citeshttps://doi.org/10.1109/tr.2020.2965786openalex-snapshot
2019 Index IEEE Transactions on Reliability Vol. 68
inferred← citeshttps://doi.org/10.1145/3671016.3674815openalex-snapshot
Synthesizing Controller for Unsynthesizable Specification Based on Criticality Levels
inferred← citeshttps://doi.org/10.3390/drones9050353openalex-snapshot
Unified Monitor and Controller Synthesis for Securing Complex Unmanned Aircraft 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.