Probabilistic Mission Design for Neuro-Symbolic Unmanned Aircraft Systems
Fuente:
arXiv
Saved in:
| Main Authors: | Kohaut, Simon, Flade, Benedict, Ochs, Daniel, Dhami, Devendra Singh, Eggert, Julian, Kersting, Kristian |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Mission Design for Unmanned Aerial Vehicles using Hybrid Probabilistic Logic Programs
by: Kohaut, Simon, et al.
Published: (2024)
by: Kohaut, Simon, et al.
Published: (2024)
Right in Time: Reactive Reasoning in Regulated Traffic Spaces
by: Kohaut, Simon, et al.
Published: (2026)
by: Kohaut, Simon, et al.
Published: (2026)
Towards Probabilistic Clearance, Explanation and Optimization
by: Kohaut, Simon, et al.
Published: (2024)
by: Kohaut, Simon, et al.
Published: (2024)
Reactive Knowledge Representation and Asynchronous Reasoning
by: Kohaut, Simon, et al.
Published: (2026)
by: Kohaut, Simon, et al.
Published: (2026)
The Constitutional Controller: Doubt-Calibrated Steering of Compliant Agents
by: Kohaut, Simon, et al.
Published: (2025)
by: Kohaut, Simon, et al.
Published: (2025)
StaR Maps: Unveiling Uncertainty in Geospatial Relations
by: Kohaut, Simon, et al.
Published: (2024)
by: Kohaut, Simon, et al.
Published: (2024)
Hybrid Many-Objective Optimization in Probabilistic Mission Design for Compliant and Effective UAV Routing
by: Kohaut, Simon, et al.
Published: (2024)
by: Kohaut, Simon, et al.
Published: (2024)
CycliST: A Video Language Model Benchmark for Reasoning on Cyclical State Transitions
by: Kohaut, Simon, et al.
Published: (2025)
by: Kohaut, Simon, et al.
Published: (2025)
The Constitutional Filter: Bayesian Estimation of Compliant Agents
by: Kohaut, Simon, et al.
Published: (2024)
by: Kohaut, Simon, et al.
Published: (2024)
Error Decomposition for Hybrid Localization Systems
by: Flade, Benedict, et al.
Published: (2024)
by: Flade, Benedict, et al.
Published: (2024)
Answer Set Networks: Casting Answer Set Programming into Deep Learning
by: Skryagin, Arseny, et al.
Published: (2024)
by: Skryagin, Arseny, et al.
Published: (2024)
BlendRL: A Framework for Merging Symbolic and Neural Policy Learning
by: Shindo, Hikaru, et al.
Published: (2024)
by: Shindo, Hikaru, et al.
Published: (2024)
Causal Explanations Over Time: Articulated Reasoning for Interactive Environments
by: Rödling, Sebastian, et al.
Published: (2025)
by: Rödling, Sebastian, et al.
Published: (2025)
Learning Differentiable Logic Programs for Abstract Visual Reasoning
by: Shindo, Hikaru, et al.
Published: (2023)
by: Shindo, Hikaru, et al.
Published: (2023)
EXPIL: Explanatory Predicate Invention for Learning in Games
by: Sha, Jingyuan, et al.
Published: (2024)
by: Sha, Jingyuan, et al.
Published: (2024)
Maritime Mission Planning for Unmanned Surface Vessel using Large Language Model
by: Din, Muhayy Ud, et al.
Published: (2025)
by: Din, Muhayy Ud, et al.
Published: (2025)
Neuro-Symbolic Imitation Learning: Discovering Symbolic Abstractions for Skill Learning
by: Keller, Leon, et al.
Published: (2025)
by: Keller, Leon, et al.
Published: (2025)
Tagged for Direction: Pinning Down Causal Edge Directions with Precision
by: Busch, Florian Peter, et al.
Published: (2025)
by: Busch, Florian Peter, et al.
Published: (2025)
Synthesizing Visual Concepts as Vision-Language Programs
by: Wüst, Antonia, et al.
Published: (2025)
by: Wüst, Antonia, et al.
Published: (2025)
NEUSIS: A Compositional Neuro-Symbolic Framework for Autonomous Perception, Reasoning, and Planning in Complex UAV Search Missions
by: Cai, Zhixi, et al.
Published: (2024)
by: Cai, Zhixi, et al.
Published: (2024)
Bayesian Inverse Physics for Neuro-Symbolic Robot Learning
by: Arriaga, Octavio, et al.
Published: (2025)
by: Arriaga, Octavio, et al.
Published: (2025)
Pix2Code: Learning to Compose Neural Visual Concepts as Programs
by: Wüst, Antonia, et al.
Published: (2024)
by: Wüst, Antonia, et al.
Published: (2024)
V-LoL: A Diagnostic Dataset for Visual Logical Learning
by: Helff, Lukas, et al.
Published: (2023)
by: Helff, Lukas, et al.
Published: (2023)
Systems with Switching Causal Relations: A Meta-Causal Perspective
by: Willig, Moritz, et al.
Published: (2024)
by: Willig, Moritz, et al.
Published: (2024)
$χ$SPN: Characteristic Interventional Sum-Product Networks for Causal Inference in Hybrid Domains
by: Poonia, Harsh, et al.
Published: (2024)
by: Poonia, Harsh, et al.
Published: (2024)
GRAIL: Autonomous Concept Grounding for Neuro-Symbolic Reinforcement Learning
by: Shindo, Hikaru, et al.
Published: (2026)
by: Shindo, Hikaru, et al.
Published: (2026)
CRAFT-E: A Neuro-Symbolic Framework for Embodied Affordance Grounding
by: Chen, Zhou, et al.
Published: (2025)
by: Chen, Zhou, et al.
Published: (2025)
Graph Neural Networks Need Cluster-Normalize-Activate Modules
by: Skryagin, Arseny, et al.
Published: (2024)
by: Skryagin, Arseny, et al.
Published: (2024)
Breaking Task Impasses Quickly: Adaptive Neuro-Symbolic Learning for Open-World Robotics
by: Lorang, Pierrick
Published: (2026)
by: Lorang, Pierrick
Published: (2026)
Towards Reliable Code-as-Policies: A Neuro-Symbolic Framework for Embodied Task Planning
by: Ahn, Sanghyun, et al.
Published: (2025)
by: Ahn, Sanghyun, et al.
Published: (2025)
Perspective-Shifted Neuro-Symbolic World Models: A Framework for Socially-Aware Robot Navigation
by: Alcedo, Kevin, et al.
Published: (2025)
by: Alcedo, Kevin, et al.
Published: (2025)
Embodied Intelligence in Disassembly: Multimodal Perception Cross-validation and Continual Learning in Neuro-Symbolic TAMP
by: He, Ziwen, et al.
Published: (2025)
by: He, Ziwen, et al.
Published: (2025)
Genetic Algorithm Based System for Path Planning with Unmanned Aerial Vehicles Swarms in Cell-Grid Environments
by: Puente-Castro, Alejandro, et al.
Published: (2024)
by: Puente-Castro, Alejandro, et al.
Published: (2024)
Neuro-Symbolic Skill Discovery for Conditional Multi-Level Planning
by: Aktas, Hakan, et al.
Published: (2024)
by: Aktas, Hakan, et al.
Published: (2024)
DeiSAM: Segment Anything with Deictic Prompting
by: Shindo, Hikaru, et al.
Published: (2024)
by: Shindo, Hikaru, et al.
Published: (2024)
PhysORD: A Neuro-Symbolic Approach for Physics-infused Motion Prediction in Off-road Driving
by: Zhao, Zhipeng, et al.
Published: (2024)
by: Zhao, Zhipeng, et al.
Published: (2024)
Human-Inspired Neuro-Symbolic World Modeling and Logic Reasoning for Interpretable Safe UAV Landing Site Assessment
by: Qian, Weixian, et al.
Published: (2025)
by: Qian, Weixian, et al.
Published: (2025)
Automated System-level Testing of Unmanned Aerial Systems
by: Sartaj, Hassan, et al.
Published: (2024)
by: Sartaj, Hassan, et al.
Published: (2024)
Build on Priors: Vision--Language--Guided Neuro-Symbolic Imitation Learning for Data-Efficient Real-World Robot Manipulation
by: Lorang, Pierrick, et al.
Published: (2026)
by: Lorang, Pierrick, et al.
Published: (2026)
KnowRL: Teaching Language Models to Know What They Know
by: Kale, Sahil, et al.
Published: (2025)
by: Kale, Sahil, et al.
Published: (2025)
Similar Items
-
Mission Design for Unmanned Aerial Vehicles using Hybrid Probabilistic Logic Programs
by: Kohaut, Simon, et al.
Published: (2024) -
Right in Time: Reactive Reasoning in Regulated Traffic Spaces
by: Kohaut, Simon, et al.
Published: (2026) -
Towards Probabilistic Clearance, Explanation and Optimization
by: Kohaut, Simon, et al.
Published: (2024) -
Reactive Knowledge Representation and Asynchronous Reasoning
by: Kohaut, Simon, et al.
Published: (2026) -
The Constitutional Controller: Doubt-Calibrated Steering of Compliant Agents
by: Kohaut, Simon, et al.
Published: (2025)