Copertina

Safe and Reliable Training of Learning-Based Aerospace Controllers

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Mandal, Udayan, Amir, Guy, Wu, Haoze, Daukantas, Ieva, Newell, Fletcher Lee, Ravaioli, Umberto, Meng, Baoluo, Durling, Michael, Hobbs, Kerianne, Ganai, Milan, Shim, Tobey, Katz, Guy, Barrett, Clark
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Artificial Intelligence Logic in Computer Science Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates
di: Mandal, Udayan, et al.
Pubblicazione: (2024)

Proof Minimization in Neural Network Verification
di: Isac, Omri, et al.
Pubblicazione: (2025)

PICID: Proof-Driven Clause Learning in Neural Network Verification
di: Isac, Omri, et al.
Pubblicazione: (2025)

Self-Supervised Bootstrapping of Action-Predictive Embodied Reasoning
di: Ganai, Milan, et al.
Pubblicazione: (2026)

Local vs. Global Interpretability: A Computational Complexity Perspective
di: Bassan, Shahaf, et al.
Pubblicazione: (2024)

Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation
di: Amir, Guy, et al.
Pubblicazione: (2024)

On Improving Deep Active Learning with Formal Verification
di: Spiegelman, Jonathan, et al.
Pubblicazione: (2025)

DEM: A Method for Certifying Deep Neural Network Classifier Outputs in Aerospace
di: Katz, Guy, et al.
Pubblicazione: (2024)

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability
di: Berzack, Ayelet, et al.
Pubblicazione: (2025)

Incremental Neural Network Verification via Learned Conflicts
di: Elsaleh, Raya, et al.
Pubblicazione: (2026)

Analyzing Adversarial Inputs in Deep Reinforcement Learning
di: Corsi, Davide, et al.
Pubblicazione: (2024)

What makes an Ensemble (Un) Interpretable?
di: Bassan, Shahaf, et al.
Pubblicazione: (2025)

Lemur: Integrating Large Language Models in Automated Program Verification
di: Wu, Haoze, et al.
Pubblicazione: (2023)

Cubing for Tuning
di: Wu, Haoze, et al.
Pubblicazione: (2025)

Investigating the Impact of Choice on Deep Reinforcement Learning for Space Controls
di: Hamilton, Nathaniel, et al.
Pubblicazione: (2024)

Deep Reinforcement Learning for Scalable Multiagent Spacecraft Inspection
di: Dunlap, Kyle, et al.
Pubblicazione: (2024)

Investigating the Impact of Observation Space Design Choices On Training Reinforcement Learning Solutions for Spacecraft Problems
di: Hamilton, Nathaniel, et al.
Pubblicazione: (2025)

Verifying the Generalization of Deep Learning to Out-of-Distribution Domains
di: Amir, Guy, et al.
Pubblicazione: (2024)

Shield Synthesis for LTL Modulo Theories
di: Rodriguez, Andoni, et al.
Pubblicazione: (2024)

Transforming Natural Language Requirements to Formalism Using LLMs
di: Baoluo Meng, et al.
Pubblicazione: (2025)

Not All Invariants Are Equal: Curating Training Data to Accelerate Program Verification with SLMs
di: Pinto, Ido, et al.
Pubblicazione: (2026)

Abstraction-Based Proof Production in Formal Verification of Neural Networks
di: Elboher, Yizhak Yisrael, et al.
Pubblicazione: (2025)

Integrating STPA Extended for Coordination into SysML Using RAAML
di: Elizabeth Pennington, et al.
Pubblicazione: (2024)

Hamilton-Jacobi Reachability in Reinforcement Learning: A Survey
di: Ganai, Milan, et al.
Pubblicazione: (2024)

Verification-Guided Shielding for Deep Reinforcement Learning
di: Corsi, Davide, et al.
Pubblicazione: (2024)

ReSMT: An SMT-Based Tool for Reverse Engineering
di: Somech, Nir, et al.
Pubblicazione: (2025)

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification
di: Swisa, Maya, et al.
Pubblicazione: (2025)

Neural Network Verification using Partial Multi-Neuron Relaxation
di: Shmuel, Ido, et al.
Pubblicazione: (2026)

Ablation Study of How Run Time Assurance Impacts the Training and Performance of Reinforcement Learning Agents
di: Hamilton, Nathaniel, et al.
Pubblicazione: (2022)

Efficiently Computing Compact Formal Explanations
di: Wu, Min, et al.
Pubblicazione: (2024)

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
di: Wu, Haoze, et al.
Pubblicazione: (2024)

Run Time Assured Reinforcement Learning for Six Degree-of-Freedom Spacecraft Inspection
di: Dunlap, Kyle, et al.
Pubblicazione: (2024)

Autonomous Data Processing using Meta-Agents
di: Khurana, Udayan
Pubblicazione: (2026)

Formal Mechanistic Interpretability: Automated Circuit Discovery with Provable Guarantees
di: Hadad, Itamar, et al.
Pubblicazione: (2026)

Statistical Runtime Verification for LLMs via Robustness Estimation
di: Levy, Natan, et al.
Pubblicazione: (2025)

Unifying Formal Explanations: A Complexity-Theoretic Perspective
di: Bassan, Shahaf, et al.
Pubblicazione: (2026)

Additive Models Explained: A Computational Complexity Approach
di: Bassan, Shahaf, et al.
Pubblicazione: (2025)

SHAP Meets Tensor Networks: Provably Tractable Explanations with Parallelism
di: Marzouk, Reda, et al.
Pubblicazione: (2025)

A New Class of Compact Formulations for Vehicle Routing Problems
di: Mandal, Udayan, et al.
Pubblicazione: (2024)

Space Processor Computation Time Analysis for Reinforcement Learning and Run Time Assurance Control Policies
di: Dunlap, Kyle, et al.
Pubblicazione: (2024)