Training Agents to Satisfy Timed and Untimed Signal Temporal Logic Specifications with Reinforcement Leaming

von Hamilton, Nathaniel
Veröffentlicht in International Conference on Software Engineering and Formal Methods (20. : 2022 : Berlin) Software engineering and formal methods (2022)

Reachability Analysis of a General Class of Neural Ordinary Differential Equations

von Lopez, Diego Manzanas
Veröffentlicht in FORMATS (20. : 2022 : Warschau) Formal modeling and analysis of timed systems (2022)

Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability

von Tran, Hoang-Dung
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 1 (2021)