Nuclear Arms Control Verification and Lessons for AI Treaties.
Mauricio BakerPublished in: CoRR (2023)
Keyphrases
- artificial intelligence
- control system
- machine learning
- lessons learned
- model checking
- optimal control
- computational intelligence
- intelligent systems
- process control
- control method
- control theory
- expert systems
- ai systems
- neural network
- signature verification
- verification method
- real time
- multi armed bandits
- robot control
- robotic systems
- data acquisition
- case study
- e learning
- information systems