F.B. Mathiesen

If you made any changes in Pure these will be visible here soon.

Fingerprint

Dive into the research topics where F.B. Mathiesen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

1 Similar Profiles

1 Article

Safety Certification for Stochastic Systems via Neural Barrier Functions
Mathiesen, F. B., Calvert, S. C. & Laurenti, L., 2023, In: IEEE Control Systems Letters. 7, p. 973-978
Research output: Contribution to journal › Article › Scientific › peer-review

Open Access
File
2 Citations (Scopus)

9 Downloads (Pure)

Bound propagation
Mathiesen, F. B. (Creator), GitHub, 2021
https://github.com/Zinoex/bound_propagation
Dataset/Software: Software

F.B. Mathiesen

Fingerprint

Research output

Safety Certification for Stochastic Systems via Neural Barrier Functions

Datasets

Bound propagation