]> 2026-07-08T04:26:32+00:00 Safety-Critical Autonomy and Verification for Space Missions 0 en JPL 2018-05-31Z 2458269.5 JPL PDF17 2017-10-01Z 2458027.5 2025-12-07T06:09:19Z 2461016.7564699 Safety-Critical Autonomy and Verification for Space Missions 0 1 template 3 [[Category:Group member]] [[Previous projects::Safety-Critical Autonomy and Verification for Space Missions]] Safety-Critical Autonomy and Verification for Space Missions# QUERY0ef33ef08e67163aa878ee860bb0188e 0 1 template 3 [[Category:Papers]] [[Funding::Safety-Critical Autonomy and Verification for Space Missions]] Safety-Critical Autonomy and Verification for Space Missions# QUERYd6fb187cfce2eb90ca156627cb9436cd Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams 0 en Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations 0 en Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations Sofie Haesaert 0 en Sofie Haesaert Aaron Ames 0 en Aaron Ames JPL PDF17 0 en JPL PDF17 Funding 102 en Funding Previous projects 102 en Previous projects Projects 102 en Projects REDI 102 en REDI