Published in
Elsevier, Engineering Applications of Artificial Intelligence, (137), p. 109238, 2024
DOI: 10.1016/j.engappai.2024.109238
Links
Tools
Neural networks in closed-loop systems: Verification using interval arithmetic and formal prover
This paper was not found in any repository, but could be made available legally by the author.
Full text: Unavailable
Published version:
archiving forbidden
Data provided by 