|
|
|
|
|
|
by calf
1191 days ago
|
|
|
The central question is that a controller is assumed to be specifiable and thus formally verifiable through model checking in principle. With a neural network you have a black box and for example with ChatGPT it doesn't even have a specification. It turns the verification process upside down. |
|
|