On the Decidability of the Reachability Problem for Planar Differential Inclusions.

Eugene Asarin Gerardo Schneider Sergio Yovine

Published in: HSCC (2001)

Keyphrases

description logics
query answering
state space
transitive closure
planar surfaces
single point
curved surfaces
real time
planar graphs
gallium arsenide
type checking
query containment
decision procedures
single image
artificial intelligence
genetic algorithm
neural network