HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Osman Hasan

Publications
Scaling Model Checking for Neural Network Analysis via State-Space Reduction and Input Segmentation
Mahum Naseer, Osman Hasan and Muhammad Shafique
In:Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems
Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving
Waqar Ahmed, Osman Hasan and Sofiene Tahar
In:IWIL-2015. 11th International Workshop on the Implementation of Logics

Keyphrases

bias, formal analysis, higher-order logic, Input Node Sensitivity, Logistic Supply Chain, noise tolerance, probability theory, Reliability Block Diagrams, robustness, state space reduction.

Copyright © 2012-2025 easychair.org. All rights reserved.