Formal Verification of Tree Ensembles in Safety-Critical Applications.
Saved in:
Superior document: | Linköping Studies in Science and Technology. Licentiate Thesis Series ; v.1892 |
---|---|
: | |
Place / Publishing House: | Linköping : : Linkopings Universitet,, 2020. {copy}2020. |
Year of Publication: | 2020 |
Edition: | 1st ed. |
Language: | English |
Series: | Linköping Studies in Science and Technology. Licentiate Thesis Series
|
Online Access: | |
Physical Description: | 1 online resource (41 pages) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Formal Verification of Control System Software / / Pierre-Loïc Garoche.
by: Garoche, Pierre-Loïc,
Published: ([2019]) -
Software and systems safety : specification and verification / / edited by Manfred Broy, Christian Leuxner and Tony Hoare.
Published: (2011.) -
Software safety and security : tools for analysis and verification / / edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann.
Published: (2012.) -
Ensemble Algorithms and Their Applications
by: Pintelas, Panagiotis E.
Published: (2020) -
Formal methods for safety and security : : case studies for aerospace applications / / Manju Nanda, Yogananda Jeppu, editors.
Published: (2018.)