Automatic Metamorphic Test Oracles for Action-Policy Testing

von Eisenhut, Jan
Veröffentlicht in International Conference on Automated Planning and Scheduling (33. : 2023 : Prag) Thirty-third International Conference on Automated Planning and Scheduling (ICAPS 2023) (2023)

Model Checking ω-Regular Properties with Decoupled Search

von Gnad, Daniel
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 2 (2021)