Explore projects
-
-
Updated
-
stc / The Surface Ship Simulator SSS
MIT LicenseUpdated -
Evolutionary Algorithms -course projects
Updated -
Updated
-
Updated
-
stc / experiments / ogan
MIT LicenseRequirement 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.
Updated -
Johan Lilius / MobileNet
Apache License 2.0A Clearer and Simpler MobileNet Implementation in TensorFlow
Updated -
Updated
-
Johan Lilius / CenterNet
MIT LicenseObject detection, 3D detection, and pose estimation using center point detection:
Updated -
Updated
-
Updated
-
Scans regularly the speed of your network and plots a curve over a specified time
Updated -
-
Johan Lilius / CornerNet
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
stc / experiments / wogan-uav
MIT LicenseWOGAN-UAV is a test generation tool created for the Unmanned Aerial Vehicle Testing Competition held as a part of the Search-Based and Fuzz Testing (SBFT) 2024 workshop (https://sbft24.github.io/)
Updated -
Updated