Publications

Program Verification for Rigorous Analysis of Decision Tree Ensembles Against Specifications

AuthID
P-019-RTV

Author(s)

Leong, IT

Avdalovic, A

Barbosa, R

Editor(s)

Cinque,M;Cotroneo,D;DeSimone,L;Eckhart,M;Lee,PPC;Zonouz,S

Document Type

Proceedings Paper

Year published

2025

Published

in 2025 55TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS, DSN-W in International Conference on Dependable Systems and Networks Workshops, ISSN: 2325-6648

Pages: 55-62 (8)

Conference

55Th International Conference on Dependable Systems and Networks Workshops-Dsn-W-Annual, Date: JUN 23-26, 2025, Location: Naples, ITALY

Indexing

Wos^®

Dblp^®/en/publications/view/1368923

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1109/dsn-w65791.2025.00039

Dblp: conf/dsn/LeongAB25

Wos: WOS:001589678400009

Source Identifiers

ISSN: 2325-6648

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Program Verification for Rigorous Analysis of Decision Tree Ensembles Against Specifications

Useful Links

Get Help

Federated Authentication (Click on the image)

Program Verification for Rigorous Analysis of Decision Tree Ensembles Against Specifications

Useful Links

Get Help