FourierBarrierCertificate.h File Reference

#include <iosfwd>
#include <memory>
#include <string>
#include "lucid/lib/eigen.h"
#include "lucid/model/Estimator.h"
#include "lucid/model/TruncatedFourierFeatureMap.h"
#include "lucid/verification/BarrierCertificate.h"

Classes
struct	lucid::FourierBarrierCertificateParameters
	Parameters for the Fourier barrier certificate synthesis using PSO. More...
class	lucid::FourierBarrierCertificate
	Barrier certificate using a Fourier basis as a template for the function. More...

Namespaces
namespace	lucid
	Root namespace for the lucid library.

Detailed Description

Author

c3054737

Copyright

2025 lucid

Licence:

BSD 3-Clause License

FourierBarrierCertificate class.