Formally Verified Hybrid LSTM With Quantum Machine Learning for Satellite Position Prediction Using SGP4 and ISS TLE Data
- 2 August 2026
- book chapter
- Published by Springer Nature
- p. 316-327
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- A formal testing method for multi-agent systems using colored Petri netsAutonomous Agents and Multi-Agent Systems, 2025
- A formal model-based approach to design failure-aware Internet of Things architecturesJournal of Reliable Intelligent Environments, 2024
- Automated requirement contradiction detection through formal logic and LLMsAutomated Software Engineering, 2024
- Characterizing Clarify and Reduce Method by Means of Left-Sided Formal Concept Analysis2024
- A manifesto for applicable formal methodsSoftware and Systems Modeling, 2023
- The Short-Term Impact of Formal Controls on Subsequent Offending and Future Formal Controls in a German and UK CityJournal of Developmental and Life-Course Criminology, 2023
- FCA-LJP: A Method Based on Formal Concept Analysis for Case Judgment PredictionNeural Processing Letters, 2023
- A Matrix Method for Detecting Formal Solutions to the Problem of Algebraic Synthesis of a Finite-State Machine with a Datapath of TransitionsCybernetics and Systems Analysis, 2023
- Event-B Based Formal Modeling of a Controller: A Case Study2020
- Packaging Mathematical Structures2009