On the public citation graph
Assured Mission Adaptation of UAVs
0 signed · 97 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/smr.1556openalex-snapshot
A survey of dynamic software updating
inferredcites →https://doi.org/10.1007/11817963_7openalex-snapshot
Minimizing Generalized Büchi Automata
inferredcites →https://doi.org/10.1007/978-3-319-15579-1_1openalex-snapshot
Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications
inferredcites →https://doi.org/10.1007/978-3-642-27705-4_22openalex-snapshot
Specifying and Verifying the Correctness of Dynamic Software Updates
inferredcites →https://doi.org/10.1007/978-3-642-35813-5_1openalex-snapshot
Software Engineering for Self-Adaptive Systems: A Second Research Roadmap
inferredcites →https://doi.org/10.1007/s00165-015-0346-yopenalex-snapshot
Synthesizing structural and behavioral control for reconfigurations in component-based systems
inferredcites →https://doi.org/10.1007/s10515-018-0234-9openalex-snapshot
MOSAICO: offline synthesis of adaptation strategy repertoires with flexible trade-offs
inferredcites →https://doi.org/10.1007/s10661-017-6008-1openalex-snapshot
Visibility analysis of fire lookout towers in the Boyabat State Forest Enterprise in Turkey
inferredcites →https://doi.org/10.1007/s11219-007-9019-2openalex-snapshot
Deployment and dynamic reconfiguration planning for distributed software systems
inferredcites →https://doi.org/10.1007/s11676-016-0361-8openalex-snapshot
The progress of operational forest fire monitoring with infrared remote sensing
inferredcites →https://doi.org/10.1016/j.future.2019.12.026openalex-snapshot
HAFLoop: An architecture for supporting Highly Adaptive Feedback Loops in self-adaptive systems
inferredcites →https://doi.org/10.1016/j.ifacol.2021.04.030openalex-snapshot
Transformational Supervisor Synthesis for Evolving Systems
inferredcites →https://doi.org/10.1016/j.jss.2008.05.030openalex-snapshot
An architectural approach to the correct and automatic assembly of evolving component-based systems
inferredcites →https://doi.org/10.1016/j.jss.2012.05.033openalex-snapshot
Achieving dynamic adaptation via management and interpretation of runtime models
inferredcites →https://doi.org/10.1016/j.jss.2016.08.039openalex-snapshot
Software architectures for robotic systems: A systematic mapping study
inferredcites →https://doi.org/10.1049/cp.2016.1131openalex-snapshot
Smart aero-amphibian surveillance system
inferredcites →https://doi.org/10.1109/32.485222openalex-snapshot
A formal framework for on-line software version change
inferredcites →https://doi.org/10.1109/32.60317openalex-snapshot
The evolving philosophers problem: dynamic change management
inferredcites →https://doi.org/10.1109/5.21072openalex-snapshot
The control of discrete event systems
inferredcites →https://doi.org/10.1109/aero.2016.7500600openalex-snapshot
Open source computer-vision based guidance system for UAVs on-board decision making
inferredcites →https://doi.org/10.1109/ase.2008.78openalex-snapshot
MTSA: The Modal Transition System Analyser
inferredcites →https://doi.org/10.1109/cis-ram47153.2019.9095786openalex-snapshot
Formal Synthesis of Warehouse Robotic Systems with Temporal Logic Specifications
inferredcites →https://doi.org/10.1109/fit.2016.072openalex-snapshot
Development of a Low Cost and Light Weight UAV for Photogrammetry and Precision Land Mapping Using Aerial Imagery
inferredcites →https://doi.org/10.1109/fose.2007.19openalex-snapshot
Self-Managed Systems: an Architectural Challenge
inferredcites →https://doi.org/10.1109/icisct.2017.8188563openalex-snapshot
Data analysis of the MAVLink communication protocol
inferredcites →https://doi.org/10.1109/icma.2017.8016113openalex-snapshot
An improved multi-AUV patrol path planning method
inferredcites →https://doi.org/10.1109/icra.2013.6631298openalex-snapshot
Just-in-time synthesis for reactive motion planning with temporal logic
inferredcites →https://doi.org/10.1109/icra.2015.7139025openalex-snapshot
Dynamics-driven adaptive abstraction for reactive high-level mission and motion planning
inferredcites →https://doi.org/10.1109/icra.2016.7487613openalex-snapshot
Reactive high-level behavior synthesis for an Atlas humanoid robot
inferredcites →https://doi.org/10.1109/icra.2018.8460793openalex-snapshot
Human-in-the-Loop Mixed-Initiative Control Under Temporal Tasks
inferredcites →https://doi.org/10.1109/icra.2018.8462867openalex-snapshot
Coverage Path Planning Under the Energy Constraint
inferredcites →https://doi.org/10.1109/icra40945.2020.9197274openalex-snapshot
Iterator-Based Temporal Logic Task Planning
inferredcites →https://doi.org/10.1109/icre.2004.1335678openalex-snapshot
Fluent-based animation: exploiting the relation between goals and scenarios for requirements validation
inferredcites →https://doi.org/10.1109/icsa.2018.00017openalex-snapshot
An Architecture for Decentralized, Collaborative, and Autonomous Robots
inferredcites →https://doi.org/10.1109/icse.2013.6606551openalex-snapshot
Coupling software architecture and human architecture for collaboration-aware system adaptation
inferredcites →https://doi.org/10.1109/icuas.2014.6842314openalex-snapshot
Unmanned Aerial Vehicle security using Recursive parameter estimation
inferredcites →https://doi.org/10.1109/icuas.2016.7502612openalex-snapshot
Autonomous indoor object tracking with the Parrot AR.Drone
inferredcites →https://doi.org/10.1109/idap.2017.8090184openalex-snapshot
Design and implementation of a semi-autonomous mobile search and rescue robot: SALVOR
inferredcites →https://doi.org/10.1109/inaes.2016.7821934openalex-snapshot
Utilizing UAV-based mapping in post disaster volcano eruption
inferredcites →https://doi.org/10.1109/irc.2019.00114openalex-snapshot
Victim Detection Using UAV with On-board Voice Recognition System
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/iscc.2010.5546542openalex-snapshot
Handling consistent dynamic updates on distributed systems
inferredcites →https://doi.org/10.1109/mc.2003.1160055openalex-snapshot
The vision of autonomic computing
inferredcites →https://doi.org/10.1109/mc.2004.175openalex-snapshot
Rainbow: architecture-based self-adaptation with reusable infrastructure
inferredcites →https://doi.org/10.1109/mipr.2018.00078openalex-snapshot
Multi-Vehicle Motion Planning for Search and Tracking
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/ntms.2018.8328747openalex-snapshot
Drone Forensics: Challenges and New Insights
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.363946openalex-snapshot
Where's Waldo? Sensor-Based Temporal Logic Motion Planning
inferredcites →https://doi.org/10.1109/sbesc.2016.011openalex-snapshot
A Framework for the Analysis of UAV Strategies Using Co-simulation
inferredcites →https://doi.org/10.1109/seams.2013.6595493openalex-snapshot
Formalizing correctness criteria of dynamic updates derived from specification changes
inferredcites →https://doi.org/10.1109/ssrr.2017.8088142openalex-snapshot
UAS-Rx interface for mission planning, fire tracking, fire ignition, and real-time updating
inferredcites →https://doi.org/10.1109/tac.2014.2358811openalex-snapshot
State Attraction Under Language Specification for the Reconfiguration of Discrete Event Systems
inferredcites →https://doi.org/10.1109/tac.2017.2722960openalex-snapshot
Mode-Target Games: Reactive Synthesis for Control Applications
inferredcites →https://doi.org/10.1109/tro.2009.2030225openalex-snapshot
Temporal-Logic-Based Reactive Mission and Motion Planning
inferredcites →https://doi.org/10.1109/tse.2010.79openalex-snapshot
Dynamic Software Updating Using a Relaxed Consistency Model
inferredcites →https://doi.org/10.1109/tse.2012.41openalex-snapshot
Elaborating Requirements Using Model Checking and Inductive Learning
inferredcites →https://doi.org/10.1109/tse.2017.2738640openalex-snapshot
Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases
inferredcites →https://doi.org/10.1109/tse.2018.2876843openalex-snapshot
Dynamic Update of Discrete Event Controllers
inferredcites →https://doi.org/10.1109/tse.2019.2945329openalex-snapshot
Specification Patterns for Robotic Missions
inferredcites →https://doi.org/10.1109/wsc48552.2020.9384025openalex-snapshot
Unified Devs-Based Platform for Modeling and Simulation of Hybrid Control Systems
inferredcites →https://doi.org/10.1145/1134285.1134337openalex-snapshot
Model-based development of dynamically adaptive software
inferredcites →https://doi.org/10.1145/1809049.1809080openalex-snapshot
Automatically generating adaptive logic to balance non-functional tradeoffs during reconfiguration
inferredcites →https://doi.org/10.1145/1882362.1882367openalex-snapshot
The disappearing boundary between development-time and run-time
inferredcites →https://doi.org/10.1145/1985793.1985823openalex-snapshot
Synthesis of live behaviour models for fallible domains
inferredcites →https://doi.org/10.1145/2491411.2491445openalex-snapshot
Incrementally synthesizing controllers from scenario-based product line specifications
inferredcites →https://doi.org/10.1145/2555612openalex-snapshot
Model-Driven Engineering of Self-Adaptive Software with EUREMA
inferredcites →https://doi.org/10.1145/2568225.2568264openalex-snapshot
Hope for the best, prepare for the worst: multi-tier control for adaptive systems
inferredcites →https://doi.org/10.1145/2804337.2804339openalex-snapshot
MORPH: a reference architecture for configuration and behaviour self-adaptation
inferredcites →https://doi.org/10.1145/2808062.2808075openalex-snapshot
Framework for Autonomous Delivery Drones
inferredcites →https://doi.org/10.1145/2823345openalex-snapshot
Strengthening Adaptation in Cyber-Physical Systems via Meta-Adaptation Strategies
inferredcites →https://doi.org/10.1145/3345319openalex-snapshot
Mutual Influence-aware Runtime Learning of Self-adaptation Behavior
inferredcites →https://doi.org/10.1145/3357766.3359535openalex-snapshot
High-level mission specification for multiple robots
inferredcites →https://doi.org/10.1145/3469440openalex-snapshot
Applying Machine Learning in Self-adaptive Systems
inferredcites →https://doi.org/10.1145/360248.360251openalex-snapshot
Formal verification of parallel programs
inferredcites →https://doi.org/10.1145/75277.75293openalex-snapshot
On the synthesis of a reactive module
inferredcites →https://doi.org/10.1145/940071.940106openalex-snapshot
Fluent model checking for event-based systems
inferredcites →https://doi.org/10.1146/annurev-control-060117-104838openalex-snapshot
Synthesis for Robots: Guarantees and Feedback for Robot Behavior
inferredcites →https://doi.org/10.1163/156855308x344864openalex-snapshot
Translating Structured English to Robot Controllers
inferredcites →https://doi.org/10.3390/drones3010004openalex-snapshot
Survey on Coverage Path Planning with Unmanned Aerial Vehicles
inferredcites →https://doi.org/10.5555/2486788.2486869openalex-snapshot
Safe software updates via multi-version execution
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-031-57246-3_6openalex-snapshot
Fully Generalized Reactivity(1) Synthesis
inferred← citeshttps://doi.org/10.1007/978-3-031-98685-7_10openalex-snapshot
Scaling GR(1) Synthesis via a Compositional Frameworkfor LTL Discrete Event Control
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.1109/icse-seis55304.2022.9794121openalex-snapshot
DRESS-ML: A Domain-specific Language for Modelling Exceptional Scenarios and Self-adaptive Behaviours for Drone-based Applications
inferred← citeshttps://doi.org/10.1109/seams66627.2025.00016openalex-snapshot
Adaptive Human-Robot Collaborative Missions using Hybrid Task Planning
inferred← citeshttps://doi.org/10.1145/3643915.3644090openalex-snapshot
Integrating Graceful Degradation and Recovery through Requirement-driven Adaptation
inferred← citeshttps://doi.org/10.1145/3788550.3794875openalex-snapshot
Towards Assured Mission Adaptation of Multi-Robot Systems
inferred← citeshttps://doi.org/10.1145/3788550.3794878openalex-snapshot
Reasoning About Hidden Hybrid Assumptions in Assured Temporal Missions
inferred← citeshttps://doi.org/10.2197/ipsjjip.34.569openalex-snapshot
Automatic Syntax Error Repair for Discrete Controller Synthesis Using Large Language Model
inferred← citeshttps://doi.org/10.3390/biomimetics10060346openalex-snapshot
Task Scheduling of Multiple Humanoid Robot Manipulators by Using Symbolic Control
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.