Model-Guided Synthesis for LTL over Finite Traces

von Xiao, Shengping
Veröffentlicht in VMCAI (25. : 2024 : London) Verification, model checking and abstract interpretation ; Part 1 (2024)