Formal Methods for AI: Lessons from the past, promisses of the future
Overview & Synopsis
The field of Formal Methods may very well be one of the oldest fields in Computer Science, but it has been brought back to its infancy with the recent advances in Machine Learning. As more and more research teams strive to explore the safety assurance in this newly (re)discovered field, it is essential to seek insights in the history of Formal Methods, with aim of finding guidance in the current endaveour. This position paper delves into the past and offers a brief analysis of relevant similarities, in the modest hope of shedding a complementary light to the already numerous surveys.
Indexed from repository: HAL Open Science
(
hal.science)
Keyboard Shortcuts:
← / → for pages • + / - for zoom • 0 to fit width
Powered by Mozilla PDF.js v3.11
Document Information
| Document Title | Formal Methods for AI: Lessons from the past, promisses of the future |
|---|---|
| Author / Organization | Zakaria Chihani |
| Subject & Discipline | Multidisciplinary Academic Open Research |
| Categories | Science & Mathematics |
| Publication Year | 2021 |
| License / Rights | Open Access / Creative Commons |
| Resource Verification | Listed PDF (Verification Pending) |
| Original Host Website |
HAL Open Science
(hal.science)
|
| File Format | application/pdf (Portable Document Format) |
| Language | EN |
| Catalog ID | DOC-99033 |
| Original Source Link | Visit Source Page on hal.science » |