Puiseux Series Solutions with Real or Rational Coefficients of First Order Autonomous AODEs.
Sebastian FalkensteinerPublished in: ISSAC (2022)
Keyphrases
- cooperative
- decision making
- real time
- database
- optimal solution
- real life
- higher order
- real world
- multiscale
- linear combination
- first order logic
- quantifier elimination
- autonomous navigation
- robotic systems
- solution quality
- benchmark problems
- feasible solution
- wavelet coefficients
- multiresolution
- artificial intelligence
- neural network
- data sets