LUP Statistics
Record
- Title
- Formal Local Implication Between Two Neural Networks
- Type
- Conference Proceeding/Paper
- Publ. year
- 2025
- Author/s
- Baninajjar, Anahita; Rezine, Ahmed; Aminifar, Amir
- Department/s
- LTH Profile Area: Engineering Health; Secure and Networked Systems; ELLIIT: the Linköping-Lund initiative on IT and mobile communication; NEXTG2COM – a Vinnova Competence Centre in Advanced Digitalisation; LTH Profile Area: Water; LU Profile Area: Natural and Artificial Cognition; LTH Profile Area: AI and Digitalization
- In LUP since
- 2025-09-04
Downloads
| Total | This Year | This Month |
| 19 | 19 | 0 |
Sweden ![]() |
|
Italy ![]() |
|
Finland ![]() |
|
Australia ![]() |
|
United States of America ![]() |
|
Denmark ![]() |
|
Unknown ![]() |
|
South Korea ![]() |
|
Norway ![]() |








