Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime

von Nayak, Satya Prakash
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 1: Verification principles (2022)

Robust Computation Tree Logic

von Nayak, Satya Prakash
Veröffentlicht in NFM (14. : 2022 : Pasadena, Calif.) NASA formal methods (2022)

Solving Two-Player Games Under Progress Assumptions

von Schmuck, Anne-Kathrin
Veröffentlicht in VMCAI (25. : 2024 : London) Verification, model checking and abstract interpretation ; Part 1 (2024)