search

Abdu-Hekal / FReaK

MATLAB repo for Falsification via AutoKoopman
Other
3 stars 0 forks source link

Planning for Software + Tool Paper #5

Open EthanJamesLew opened 10 months ago

EthanJamesLew commented 10 months ago

Summary

We will extend and re-implement this method for a software stack and tool paper.