"How to Win First Order Safety Games - Software Artifact. - Version 1"

Helmut Seidl, Christian Müller, Bernd Finkbeiner (2019)

Details and statistics

DOI: 10.5281/ZENODO.3478496

access: open

type: Data or Artifact

metadata version: 2024-12-12