On the public citation graph

Synthesizing Controller for Unsynthesizable Specification Based on Safety Levels

https://doi.org/10.2139/ssrn.4676007
0 signed · 49 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/11609773_24openalex-extracted
Synthesis of Reactive(1) Designs
inferredcites →https://doi.org/10.1007/978-1-4757-6656-1_2openalex-extracted
From Global Specifications to Distributed Implementations
inferredcites →https://doi.org/10.1007/978-3-030-00151-3_5openalex-extracted
Reactive Synthesis for Robotic Swarms
inferredcites →https://doi.org/10.1007/978-3-319-74730-9_23openalex-extracted
Synthesizing Executable PLC Code for Robots from Scenario-Based GR(1) Specifications
inferredcites →https://doi.org/10.1007/978-3-540-78163-9_9openalex-extracted
Diagnostic Information for Realizability
inferredcites →https://doi.org/10.1007/978-3-642-22110-1_54openalex-extracted
Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP
inferredcites →https://doi.org/10.1007/978-3-642-39799-8_39openalex-extracted
Minimal Sets over Monotone Predicates in Boolean Formulae
inferredcites →https://doi.org/10.1007/978-3-662-54577-5openalex-extracted
Tools and Algorithms for the Construction and Analysis of Systems
inferredcites →https://doi.org/10.1007/s00236-019-00351-9openalex-extracted
Performance heuristics for GR(1) synthesis and related algorithms
inferredcites →https://doi.org/10.1007/s10009-011-0221-yopenalex-extracted
Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies
inferredcites →https://doi.org/10.1007/s11432-012-4605-8openalex-extracted
A framework for multi-robot motion planning from temporal logic specifications
inferredcites →https://doi.org/10.1016/j.automatica.2011.01.078openalex-extracted
Guaranteed global performance through local coordinations
inferredcites →https://doi.org/10.1016/j.scico.2010.11.004openalex-extracted
Towards a notion of unsatisfiable and unrealizable cores for LTL
inferredcites →https://doi.org/10.1016/s1474-6670(17)42032-5openalex-extracted
Controller Synthesis for Timed Automata 1
inferredcites →https://doi.org/10.1017/cbo9780511546877openalex-extracted
Planning Algorithms
inferredcites →https://doi.org/10.1023/b:auro.0000008671.38949.43openalex-extracted
Bayesian Robot Programming
inferredcites →https://doi.org/10.1109/acc.2007.4282950openalex-extracted
Stochastic Dynamic rogramming for Uncertainty Handling in UAV Operations
inferredcites →https://doi.org/10.1109/cdc.2004.1428622openalex-extracted
Automatic synthesis of multi-agent motion tasks based on LTL specifications
inferredcites →https://doi.org/10.1109/cdc.2005.1582713openalex-extracted
Smoothly Blending Vector Fields for Global Robot Navigation
inferredcites →https://doi.org/10.1109/coase.2008.4626521openalex-extracted
Recycling controllers
inferredcites →https://doi.org/10.1109/fmcad.2013.6679387openalex-extracted
Counter-strategy guided refinement of GR(1) temporal logic specifications
inferredcites →https://doi.org/10.1109/icra.2012.6224807openalex-extracted
Automated feedback for unachievable high-level robot behaviors
inferredcites →https://doi.org/10.1109/icra.2014.6907487openalex-extracted
Synthesis for multi-robot controllers with interleaved motion
inferredcites →https://doi.org/10.1109/icse.2019.00106openalex-extracted
Symbolic Repairs for GR(1) Specifications
inferredcites →https://doi.org/10.1109/icse43902.2021.00016openalex-extracted
Unrealizable Cores for Reactive Systems Specifications
inferredcites →https://doi.org/10.1109/iros.1996.571080openalex-extracted
Acting under uncertainty: discrete Bayesian models for mobile-robot navigation
inferredcites →https://doi.org/10.1109/iros.2003.1249705openalex-extracted
Composition of local potential functions for global robot control and navigation
inferredcites →https://doi.org/10.1109/iros.2010.5650371openalex-extracted
LTLMoP: Experimenting with language, Temporal Logic and robot control
inferredcites →https://doi.org/10.1109/iros.2013.6696436openalex-extracted
Towards minimal explanations of unsynthesizability for high-level robot behaviors
inferredcites →https://doi.org/10.1109/m-ra.2007.914921openalex-extracted
Courteous Cars
inferredcites →https://doi.org/10.1109/mc.2020.3017343openalex-extracted
Controller Resynthesis for Multirobot System When Changes Happen
inferredcites →https://doi.org/10.1109/memcod.2011.5970509openalex-extracted
Mining assumptions for synthesis
inferredcites →https://doi.org/10.1109/robot.1995.525465openalex-extracted
Motion planning with uncertainty: the information space approach
inferredcites →https://doi.org/10.1109/robot.1995.525480openalex-extracted
Discrete event models+temporal logic=supervisory controller: automatic synthesis of locomotion controllers
inferredcites →https://doi.org/10.1109/robot.2004.1302413openalex-extracted
Multi-robot planning : a timed automata approach
inferredcites →https://doi.org/10.1109/tr.2020.2979873openalex-extracted
Iterative Controller Synthesis for Multirobot System
inferredcites →https://doi.org/10.1109/tro.2009.2030225openalex-extracted
Temporal-Logic-Based Reactive Mission and Motion Planning
inferredcites →https://doi.org/10.1109/tro.2010.2062070openalex-extracted
Decentralized Feedback Controllers for Multiagent Teams in Environments With Obstacles
inferredcites →https://doi.org/10.1109/tro.2011.2163434openalex-extracted
Formal Approach to the Deployment of Distributed Robotic Teams
inferredcites →https://doi.org/10.1109/tro.2012.2214558openalex-extracted
Explaining Impossible High-Level Robot Behaviors
inferredcites →https://doi.org/10.1145/2786805.2786824openalex-extracted
GR(1) synthesis for LTL specification patterns
inferredcites →https://doi.org/10.1145/3106237.3106240openalex-extracted
A symbolic justice violations transition system for unrealizable GR(1) specifications
inferredcites →https://doi.org/10.1145/75277.75293openalex-extracted
On the synthesis of a reactive module
inferredcites →https://doi.org/10.1145/963927.963928openalex-extracted
Deterministic generators and games for Ltl fragments
inferredcites →https://doi.org/10.1177/0278364910386986openalex-extracted
Motion planning under uncertainty for robotic tasks with long time horizons
inferredcites →https://doi.org/10.1177/0278364913487931openalex-extracted
Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints
inferredcites →https://doi.org/10.1177/0278364916679611openalex-extracted
Policy search for multi-robot coordination under uncertainty
inferredcites →https://doi.org/10.15607/rss.2013.ix.023openalex-extracted
Sorry Dave, I'm Afraid I Can't Do That: Explaining Unachievable Robot Tasks Using Natural Language
inferredcites →https://doi.org/10.15607/rss.2015.xi.007openalex-extracted
Policy Search for Multi-Robot Coordination under Uncertainty
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.