ogan

Project information

Requirement falsification for cyber-physical systems using generative models and the OGAN algorithm. This is an entry in the falsification track of the ARCH-COMP 2023 competition on verifying continuous and hybrid systems.

18 Commits
1 Branch
0 Tags

README
MIT License

Created on

June 28, 2023

Copy SSH clone URLgit@gitlab.abo.fi:stc/experiments/ogan.git
Copy HTTPS clone URLhttps://gitlab.abo.fi/stc/experiments/ogan.git