Research output per year
Research output per year
Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
Mathiesen, F. B. (Creator), GitHub, 27 Jan 2025
https://github.com/Zinoex/IntervalMDPAbstractions.jl
Dataset/Software: Software
Mathiesen, F. B. (Creator), GitHub, 2 Jan 2021
https://github.com/Zinoex/bound_propagation
Dataset/Software: Software
Mathiesen, F. B. (Creator), GitHub, 5 Jan 2024
https://github.com/Zinoex/IMDP.jl
Dataset/Software: Software