Numerical verification method on complex ODEs for existence of global solutions within finite domains.
Koki NittaNobito YamamotoPublished in: JSIAM Lett. (2023)
Keyphrases
- verification method
- real world
- temporal logic
- application domains
- model checking
- optimal solution
- transfer learning
- machine learning
- qualitative and quantitative
- numerical methods
- learning algorithm
- knowledge base
- multiscale
- artificial neural networks
- evolutionary algorithm
- belief revision
- finite element
- finite number
- neural network