IN-FLIGHT AIR DENSITY ESTIMATION AND PREDICTION FOR HYPERSONIC FLIGHT VEHICLES

von El-Kebir, Hamza
Veröffentlicht in AIAA International Space Planes and Hypersonic Systems and Technologies Conference (23. : 2020 : Montréal) 23rd AIAA International Space Planes and Hypersonic Systems and Technologies Conference 2020 ; Volume 1 of 2 (2020)

INCENTIVE DESIGN FOR COMMERCIAL PARTICIPATION IN SPACE LOGISTICS INFRASTRUCTURE DEVELOPMENT AND DEPLOYMENT

von Chen, Hao
Veröffentlicht in IAA Symposium on Building Blocks for Future Space Exploration and Development (17. : 2019 : Washington, DC) 17th IAA Symposium on Building Blocks for Future Space Exploration and Development 2019 (2020)

High-Frequency Vibration Reduction for Unmanned Ground Vehicles on Unstructured Terrain

von El-Kebir, Hamza
Veröffentlicht in MESAS (8. : 2021 : Online) Modelling and simulation for autonomous systems (2022)

Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption

von Blahoudek, František
Veröffentlicht in FM (24. : 2021 : Online) Formal Methods (2021)

Qualitative Controller Synthesis for Consumption Markov Decision Processes

von Blahoudek, Frantisek
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 2 (2020)