Decidability of trajectory-based equations.

Michael Domaratzki Kai Salomaa

Published in: Theor. Comput. Sci. (2005)

Keyphrases

description logics
trajectory data
angular velocity
mathematical model
query answering
numerical solution
differential equations
decision procedures
boundary value problem
trajectory planning
data sets
sufficient conditions
information systems
real time
genetic algorithm
neural network
type checking