Tools

• UnVeiL: LTL Motion Planner For Unknown Environments

(Semantic Abstraction-Guided Motion Planning for scLTL Missions in Unknown Environments)

• Probabilistic Model Checking for FDIR

(Model Checking for Proving and Improving Fault Tolerance of Satellites)

• Automata Representation for POMDP Strategies by STORM

(Learning Explainable and Better Performing Representations of POMDP Strategies)

• Pareto Curves For DIFT Games

(Guaranteed Trade-Offs in Dynamic Information Flow Tracking Games)