Verifiable Mission Planning For Space Operations
Fuente:
arXiv
Saved in:
| Main Authors: | Rommel, Quentin, Hibbard, Michael, Shukla, Pavan, Save, Himanshu, Bettadpur, Srinivas, Topcu, Ufuk |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Adversarial Pursuits in Cislunar Space
by: Fotiadis, Filippos, et al.
Published: (2025)
by: Fotiadis, Filippos, et al.
Published: (2025)
Leveraging Gated Recurrent Units for Iterative Online Precise Attitude Control for Geodetic Missions
by: Zinage, Vrushabh, et al.
Published: (2024)
by: Zinage, Vrushabh, et al.
Published: (2024)
Optimal Satellite Maneuvers for Spaceborne Jamming Attacks
by: Fotiadis, Filippos, et al.
Published: (2025)
by: Fotiadis, Filippos, et al.
Published: (2025)
Randomized Greedy Methods for Weak Submodular Sensor Selection with Robustness Considerations
by: Kaya, Ege C., et al.
Published: (2024)
by: Kaya, Ege C., et al.
Published: (2024)
Adversarial Observability and Performance Trade-offs in Optimal Control
by: Fotiadis, Filippos, et al.
Published: (2025)
by: Fotiadis, Filippos, et al.
Published: (2025)
Compositional shield synthesis for safe reinforcement learning in partial observability
by: Carr, Steven, et al.
Published: (2025)
by: Carr, Steven, et al.
Published: (2025)
Noncooperative Virtual Queue Coordination via Uncertainty-Aware Correlated Equilibria
by: Im, Jaehan, et al.
Published: (2026)
by: Im, Jaehan, et al.
Published: (2026)
Coordinated UAV Beamforming and Control for Directional Jamming and Nulling
by: Fotiadis, Filippos, et al.
Published: (2025)
by: Fotiadis, Filippos, et al.
Published: (2025)
Secure Coordination for Vertiport Sequencing in Advanced Air Mobility
by: Im, Jaehan, et al.
Published: (2026)
by: Im, Jaehan, et al.
Published: (2026)
Active Learning of Dynamics Using Prior Domain Knowledge in the Sampling Process
by: Miller, Kevin S., et al.
Published: (2024)
by: Miller, Kevin S., et al.
Published: (2024)
Deception Against Data-Driven Linear-Quadratic Control
by: Fotiadis, Filippos, et al.
Published: (2025)
by: Fotiadis, Filippos, et al.
Published: (2025)
Neural Port-Hamiltonian Differential Algebraic Equations for Compositional Learning of Electrical Networks
by: Neary, Cyrus, et al.
Published: (2024)
by: Neary, Cyrus, et al.
Published: (2024)
Multi-Fidelity Space Mission Planning and Infrastructure Design Framework for Space Resource Logistics
by: Chen, Hao, et al.
Published: (2019)
by: Chen, Hao, et al.
Published: (2019)
Game-theoretic Decentralized Coordination for Airspace Sector Overload Mitigation
by: Im, Jaehan, et al.
Published: (2025)
by: Im, Jaehan, et al.
Published: (2025)
Relationship Design for Socially-Aware Behavior in Static Games
by: Chen, Shenghui, et al.
Published: (2022)
by: Chen, Shenghui, et al.
Published: (2022)
Multidisciplinary Design Optimization Approach to Integrated Space Mission Planning and Spacecraft Design
by: Isaji, Masafumi, et al.
Published: (2021)
by: Isaji, Masafumi, et al.
Published: (2021)
Sequential Resource Trading Using Comparison-Based Gradient Estimation
by: Murthy, Surya, et al.
Published: (2024)
by: Murthy, Surya, et al.
Published: (2024)
Noise-Aware and Equitable Urban Air Traffic Management: An Optimization Approach
by: Gao, Zhenyu, et al.
Published: (2024)
by: Gao, Zhenyu, et al.
Published: (2024)
Categorical semantics of compositional reinforcement learning
by: Bakirtzis, Georgios, et al.
Published: (2022)
by: Bakirtzis, Georgios, et al.
Published: (2022)
Coordination in Noncooperative Multiplayer Matrix Games via Reduced Rank Correlated Equilibria
by: Im, Jaehan, et al.
Published: (2024)
by: Im, Jaehan, et al.
Published: (2024)
Interleaved Information Structures in Dynamic Games: A General Framework with Application to the Linear-Quadratic Case
by: K, Janani S, et al.
Published: (2026)
by: K, Janani S, et al.
Published: (2026)
Identity Concealment Games: How I Learned to Stop Revealing and Love the Coincidences
by: Karabag, Mustafa O., et al.
Published: (2021)
by: Karabag, Mustafa O., et al.
Published: (2021)
Robust Multi-Agent Reinforcement Learning for Small UAS Separation Assurance under GPS Degradation and Spoofing
by: Zongo, Alex, et al.
Published: (2026)
by: Zongo, Alex, et al.
Published: (2026)
More Information is Not Always Better: Connections between Zero-Sum Local Nash Equilibria in Feedback and Open-Loop Information Patterns
by: Gupta, Kushagra, et al.
Published: (2025)
by: Gupta, Kushagra, et al.
Published: (2025)
Leveraging High-Fidelity Digital Models and Reinforcement Learning for Mission Engineering: A Case Study of Aerial Firefighting Under Perfect Information
by: Çetinkaya, İbrahim Oğuz, et al.
Published: (2025)
by: Çetinkaya, İbrahim Oğuz, et al.
Published: (2025)
Second-Order Algorithms for Finding Local Nash Equilibria in Zero-Sum Games
by: Gupta, Kushagra, et al.
Published: (2024)
by: Gupta, Kushagra, et al.
Published: (2024)
Linear-Quadratic Gaussian Games with Distributed Sparse Estimation
by: Qiu, Tianyu, et al.
Published: (2026)
by: Qiu, Tianyu, et al.
Published: (2026)
Navigating the sociotechnical labyrinth: Dynamic certification for responsible embodied AI
by: Bakirtzis, Georgios, et al.
Published: (2024)
by: Bakirtzis, Georgios, et al.
Published: (2024)
Connecting Space Missions Through NGSO Constellations: Feasibility Study
by: Chougrani, Houcine, et al.
Published: (2023)
by: Chougrani, Houcine, et al.
Published: (2023)
Zero-Shot Function Encoder-Based Differentiable Predictive Control
by: Iqbal, Hassan, et al.
Published: (2025)
by: Iqbal, Hassan, et al.
Published: (2025)
Reduce, Reuse, Recycle: Categories for Compositional Reinforcement Learning
by: Bakirtzis, Georgios, et al.
Published: (2024)
by: Bakirtzis, Georgios, et al.
Published: (2024)
Hierarchical Control for Head-to-Head Autonomous Racing
by: Thakkar, Rishabh Saumil, et al.
Published: (2022)
by: Thakkar, Rishabh Saumil, et al.
Published: (2022)
Mission Planning on Autonomous Avoidance for Spacecraft Confronting Orbital Debris
by: Xingwen, Chen, et al.
Published: (2024)
by: Xingwen, Chen, et al.
Published: (2024)
Auto-Encoding Bayesian Inverse Games
by: Liu, Xinjie, et al.
Published: (2024)
by: Liu, Xinjie, et al.
Published: (2024)
When Should Agents Coordinate in Differentiable Sequential Decision Problems?
by: Probine, Caleb, et al.
Published: (2026)
by: Probine, Caleb, et al.
Published: (2026)
Impulsive Relative Motion Control with Continuous-Time Constraint Satisfaction for Cislunar Space Missions
by: Spada, Fabio, et al.
Published: (2025)
by: Spada, Fabio, et al.
Published: (2025)
The Effect of Network Topology on the Equilibria of Influence-Opinion Games
by: Bayiz, Yigit Ege, et al.
Published: (2025)
by: Bayiz, Yigit Ege, et al.
Published: (2025)
Route-Phasing-Split-Encoded Genetic Algorithm for Multi-Satellite On-Orbit Servicing Mission Planning
by: Velhal, Shridhar, et al.
Published: (2026)
by: Velhal, Shridhar, et al.
Published: (2026)
Encrypted Computation of Collision Probability for Secure Satellite Conjunction Analysis
by: Suh, Jihoon, et al.
Published: (2025)
by: Suh, Jihoon, et al.
Published: (2025)
A Mission-Centric Cyber-Resilience Benchmark for Silent-Watch Operation of Electrified Ground-Platform Power Architectures
by: Wu, Hongyu, et al.
Published: (2026)
by: Wu, Hongyu, et al.
Published: (2026)
Similar Items
-
Adversarial Pursuits in Cislunar Space
by: Fotiadis, Filippos, et al.
Published: (2025) -
Leveraging Gated Recurrent Units for Iterative Online Precise Attitude Control for Geodetic Missions
by: Zinage, Vrushabh, et al.
Published: (2024) -
Optimal Satellite Maneuvers for Spaceborne Jamming Attacks
by: Fotiadis, Filippos, et al.
Published: (2025) -
Randomized Greedy Methods for Weak Submodular Sensor Selection with Robustness Considerations
by: Kaya, Ege C., et al.
Published: (2024) -
Adversarial Observability and Performance Trade-offs in Optimal Control
by: Fotiadis, Filippos, et al.
Published: (2025)