Imposing Exact Safety Specifications in Neural Reachable Tubes.
Aditya SinghZeyuan FengSomil BansalPublished in: CoRR (2024)
Keyphrases
- network architecture
- neural network
- high level
- bio inspired
- artificial intelligence
- nonlinear predictive control
- neural information processing
- neural fuzzy
- computational intelligence
- exact solution
- specification language
- neural architecture
- reactive systems
- connectionist models
- artificial neural
- formal specification
- knowledge base