Synthesizing FDIR Recovery Strategies
Synthesizing FDIR Recovery Strategies From Non-Deterministic Dynamic Fault Trees
Synthesizing FDIR Recovery Strategies From Non-Deterministic Dynamic Fault Trees
PuRSUE -from specification of robotic environments to synthesis of controllers
Using Assume-Guarantee Contracts for Operational Verification of Autonomous Spacecraft
Using Assume-Guarantee Contracts in Autonomous Spacecraft
Synthesizing and Optimizing FDIR Recovery Strategies From Fault Trees
Using Assume-Guarantee Contracts for Operational Verification of Autonomous Spacecraft
Towards Runtime Monitoring of Complex System Requirements for Autonomous Driving Functions
Least-Violating Motion Planning for Traffic-Compliant Autonomous Driving
Creating Formal Characterizations of Routine Contingency Management in Commercial Aviation