On the Limits of Efficient Temporal Decidability (Extended Abstract)
E. Allen EmersonMichael EvangelistJai SrinivasanPublished in: LICS (1990)
Keyphrases
- extended abstract
- artificial intelligence
- spatio temporal
- temporal data
- multiresolution
- computationally efficient
- space time
- temporal information
- spatial and temporal
- temporal aspects
- neural network
- decision procedures
- temporal evolution
- computationally expensive
- cost effective
- multi agent
- decision trees
- website
- multimedia
- machine learning