Towards Explainability in Machine Learning: The Formal Methods Way
Sign Up to like & getrecommendations! Published in 2020 at "IT Professional"
DOI: 10.1109/mitp.2020.3005640
Abstract: & CLASSIFICATION IS A central discipline of machine learning (ML) and classifiers have become increasingly popular to support or replace human decisions. We encounter them as email spam detectors, as decision support systems, for example… read more here.
Keywords: methods way; explainability; formal methods; machine learning ... See more keywords
Driver Identification Through Formal Methods
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Transactions on Intelligent Transportation Systems"
DOI: 10.1109/tits.2021.3055347
Abstract: Recently, several research efforts have been focused on automotive safety, due to the increasing technology embedded in our vehicles. Research community have produced different methods aimed, for instance, to profile driver behaviour, starting from a… read more here.
Keywords: identification formal; formal methods; identification; driver identification ... See more keywords
Systematic Evaluation and Usability Analysis of Formal Methods Tools for Railway Signaling System Design
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Transactions on Software Engineering"
DOI: 10.1109/tse.2021.3124677
Abstract: Formal methods and supporting tools have a long record of success in the development of safety-critical systems. However, no single tool has emerged as the dominant solution for system design. Each tool differs from the… read more here.
Keywords: methods tools; formal methods; railway signaling; design ... See more keywords
Formal Methods for Computing Hyperbolic Invariant Sets for Nonlinear Systems
Sign Up to like & getrecommendations! Published in 2020 at "IEEE Control Systems Letters"
DOI: 10.1145/3302504.3313350
Abstract: Hyperbolicity is a cornerstone of nonlinear dynamical systems theory. Hyperbolic dynamics are characterized by the presence of expanding and contracting directions for the derivative along the trajectories of the system. Hyperbolic dynamical systems enjoy many… read more here.
Keywords: system; methods computing; formal methods; hyperbolic invariant ... See more keywords
Explainability of radiomics through formal methods
Sign Up to like & getrecommendations! Published in 2022 at "Computer methods and programs in biomedicine"
DOI: 10.2139/ssrn.3978710
Abstract: BACKGROUND AND OBJECTIVE Artificial Intelligence has proven to be effective in radiomics. The main problem in using Artificial Intelligence is that researchers and practitioners are not able to know how the predictions are generated. This… read more here.
Keywords: explainability; formal methods; explainability radiomics; radiomics formal ... See more keywords
On the Adoption of Radiomics and Formal Methods for COVID-19 Coronavirus Diagnosis
Sign Up to like & getrecommendations! Published in 2021 at "Diagnostics"
DOI: 10.3390/diagnostics11020293
Abstract: Considering the current pandemic, caused by the spreading of the novel Coronavirus disease, there is the urgent need for methods to quickly and automatically diagnose infection. To assist pathologists and radiologists in the detection of… read more here.
Keywords: formal methods; adoption radiomics; radiomics formal; novel coronavirus ... See more keywords