#include <iosfwd>
#include <memory>
#include <string>
#include "lucid/lib/eigen.h"

Classes
class	lucid::BarrierCertificate
	Control barrier certificates (CBCs) are often used to certify the safety of a stochastic systems. More...

Namespaces
namespace	lucid
	Root namespace for the lucid library.

Detailed Description

BarrierCertificate class.

Classes