Title :
Characterization of Environment Conditions with Metric Temporal Feature Logic
Author :
Nadjm-Tehrani, S. ; Österling, P.
Author_Institution :
Department of Computer and Information Science, Linkoping University, Sweden
Keywords :
Artificial intelligence; Decision making; Formal specifications; Information science; Interleaved codes; Logic; Time factors; Whales;
Conference_Titel :
AI, Simulation and Planning in High Autonomy Systems, 1992. Integrating Perception, Planning and Action., Proceedings of the Third Annual Conference of
Print_ISBN :
0-8186-2675-5
DOI :
10.1109/AIHAS.1992.636895
