Mission Design for Unmanned Aerial Vehicles using Hybrid Probabilistic Logic Programs
Fuente:
arXiv
Saved in:
| Main Authors: | Kohaut, Simon, Flade, Benedict, 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
Probabilistic Mission Design for Neuro-Symbolic Unmanned Aircraft Systems
by: Kohaut, Simon, et al.
Published: (2024)
by: Kohaut, Simon, et al.
Published: (2024)
Towards Probabilistic Clearance, Explanation and Optimization
by: Kohaut, Simon, et al.
Published: (2024)
by: Kohaut, Simon, et al.
Published: (2024)
StaR Maps: Unveiling Uncertainty in Geospatial Relations
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)
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)
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)
The Constitutional Controller: Doubt-Calibrated Steering of Compliant Agents
by: Kohaut, Simon, et al.
Published: (2025)
by: Kohaut, Simon, et al.
Published: (2025)
Reactive Knowledge Representation and Asynchronous Reasoning
by: Kohaut, Simon, et al.
Published: (2026)
by: Kohaut, Simon, et al.
Published: (2026)
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)
Planning and Perception for Unmanned Aerial Vehicles in Object and Environmental Monitoring
by: Dhami, Harnaik
Published: (2024)
by: Dhami, Harnaik
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)
Learning Differentiable Logic Programs for Abstract Visual Reasoning
by: Shindo, Hikaru, et al.
Published: (2023)
by: Shindo, Hikaru, et al.
Published: (2023)
Multi Agent Pathfinding for Noise Restricted Hybrid Fuel Unmanned Aerial Vehicles
by: Scott, Drew, et al.
Published: (2024)
by: Scott, Drew, et al.
Published: (2024)
ZS-Puffin: Design, Modeling and Implementation of an Unmanned Aerial-Aquatic Vehicle with Amphibious Wings
by: Wang, Zhenjiang, et al.
Published: (2025)
by: Wang, Zhenjiang, et al.
Published: (2025)
Design and Implementation of a Multimodal Tilt‐Rotor Unmanned Aerial‐Aquatic Vehicle
by: Zhenjiang Wang, et al.
Published: (2024)
by: Zhenjiang Wang, et al.
Published: (2024)
Cybersecurity Challenges and Solutions in Unmanned Aerial Vehicles (UAVs)
by: Roya Morshedi, et al.
Published: (2025)
by: Roya Morshedi, et al.
Published: (2025)
Model Predictive Path Integral Control for Agile Unmanned Aerial Vehicles
by: Minarik, Michal, et al.
Published: (2024)
by: Minarik, Michal, et al.
Published: (2024)
Fast Collective Evasion in Self-Localized Swarms of Unmanned Aerial Vehicles
by: Novák, Filip, et al.
Published: (2024)
by: Novák, Filip, et al.
Published: (2024)
Model Predictive Control for Optimal Motion Planning of Unmanned Aerial Vehicles
by: Bui, Duy-Nam, et al.
Published: (2024)
by: Bui, Duy-Nam, et al.
Published: (2024)
Distributed Spatial-Temporal Trajectory Optimization for Unmanned-Aerial-Vehicle Swarm
by: Zheng, Xiaobo, et al.
Published: (2025)
by: Zheng, Xiaobo, et al.
Published: (2025)
V-LoL: A Diagnostic Dataset for Visual Logical Learning
by: Helff, Lukas, et al.
Published: (2023)
by: Helff, Lukas, et al.
Published: (2023)
Wind Estimation in Unmanned Aerial Vehicles with Causal Machine Learning
by: Alwalan, Abdulaziz, et al.
Published: (2024)
by: Alwalan, Abdulaziz, et al.
Published: (2024)
Radial Basis Function Neural Networks for Formation Control of Unmanned Aerial Vehicles
by: Bui, Duy-Nam, et al.
Published: (2024)
by: Bui, Duy-Nam, et al.
Published: (2024)
Vision-based Navigation of Unmanned Aerial Vehicles in Orchards: An Imitation Learning Approach
by: Wei, Peng, et al.
Published: (2025)
by: Wei, Peng, et al.
Published: (2025)
Safer Trajectory Planning with CBF-guided Diffusion Model for Unmanned Aerial Vehicles
by: Yang, Peiwen, et al.
Published: (2026)
by: Yang, Peiwen, et al.
Published: (2026)
RFUAV: A Benchmark Dataset for Unmanned Aerial Vehicle Detection and Identification
by: Shi, Rui, et al.
Published: (2025)
by: Shi, Rui, et al.
Published: (2025)
Path-Following Guidance for Unmanned Aerial Vehicle with Bounded Lateral Acceleration
by: Kathiriya, Vinay, et al.
Published: (2026)
by: Kathiriya, Vinay, et al.
Published: (2026)
Real-Time Obstacle Avoidance Algorithms for Unmanned Aerial and Ground Vehicles
by: Wei, Jingwen
Published: (2025)
by: Wei, Jingwen
Published: (2025)
Transition Strategy for Unmanned Aerial‐Aquatic Vehicles (UAAVS): A Survey
by: Kun Liu, et al.
Published: (2026)
by: Kun Liu, et al.
Published: (2026)
Flight Time Improvement Using Adaptive Model Predictive Control for Unmanned Aerial Vehicles
by: Ngo, Huy-Hoang, et al.
Published: (2024)
by: Ngo, Huy-Hoang, et al.
Published: (2024)
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)
Experimental Evaluation of an Observer‐Based Controller for an Unmanned Aerial Vehicle in Reforestation Activities
by: Gustavo Muñoz, et al.
Published: (2025)
by: Gustavo Muñoz, et al.
Published: (2025)
Angle Robustness Unmanned Aerial Vehicle Navigation in GNSS-Denied Scenarios
by: Wang, Yuxin, et al.
Published: (2024)
by: Wang, Yuxin, et al.
Published: (2024)
An Adaptive Sliding Window Estimator for Positioning of Unmanned Aerial Vehicle Using a Single Anchor
by: Xiong, Kaiwen, et al.
Published: (2024)
by: Xiong, Kaiwen, et al.
Published: (2024)
Tightly Joined Positioning and Control Model for Unmanned Aerial Vehicles Based on Factor Graph Optimization
by: Yang, Peiwen, et al.
Published: (2024)
by: Yang, Peiwen, et al.
Published: (2024)
xLSTM-Mixer: Multivariate Time Series Forecasting by Mixing via Scalar Memories
by: Kraus, Maurice, et al.
Published: (2024)
by: Kraus, Maurice, 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)
Exploring Neural Granger Causality with xLSTMs: Unveiling Temporal Dependencies in Complex Data
by: Poonia, Harsh, et al.
Published: (2025)
by: Poonia, Harsh, et al.
Published: (2025)
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)
Similar Items
-
Probabilistic Mission Design for Neuro-Symbolic Unmanned Aircraft Systems
by: Kohaut, Simon, et al.
Published: (2024) -
Towards Probabilistic Clearance, Explanation and Optimization
by: Kohaut, Simon, et al.
Published: (2024) -
StaR Maps: Unveiling Uncertainty in Geospatial Relations
by: Kohaut, Simon, et al.
Published: (2024) -
Right in Time: Reactive Reasoning in Regulated Traffic Spaces
by: Kohaut, Simon, et al.
Published: (2026) -
Hybrid Many-Objective Optimization in Probabilistic Mission Design for Compliant and Effective UAV Routing
by: Kohaut, Simon, et al.
Published: (2024)