Planning Under Uncertainty with Temporally Extended Goals Alberto Camacho ∗ Department of Computer Science University of Toronto. Canada.

First Page		Document Content
Date: 2016-06-16 07:11:20 Finite automata Temporal logic Automated planning and scheduling Linear temporal logic Theoretical computer science Neuropsychology Computational complexity theory Model checking Deterministic finite automaton Finite-state machine Nondeterministic finite automaton Algorithm		Planning Under Uncertainty with Temporally Extended Goals Alberto Camacho ∗ Department of Computer Science University of Toronto. Canada. Add to Reading List Source URL: icaps16.icaps-conference.org Download Document from Source Website File Size: 138,84 KB Share Document on Facebook

	Cognitive Neuropsychology ISSN: PrintOnline) Journal homepage: http://www.tandfonline.com/loi/pcgn20 Decoding task and stimulus representations in face-responsive cortex DocID: 1xTQS - View Document
	Archives of Clinical Neuropsychology, Vol. 15, No. 5, pp. 379–380, 2000 Copyright © 2000 National Academy of Neuropsychology Printed in the USA. All rights reserved $–see front matter PII S0887 DocID: 1vrlP - View Document
	NEUROREPORT COGNITIVE NEUROSCIENCE AND NEUROPSYCHOLOGY Di¡erential cortical responses in second language learners to di¡erent vowel contrasts DocID: 1voPo - View Document
	THE SOCIETY FOR CLINICAL NEUROPSYCHOLOGY Division 40 of the American Psychological Association Volume 37, Number 1 DocID: 1vlLh - View Document
	NEUROREPORT COGNITIVE NEUROSCIENCE AND NEUROPSYCHOLOGY The parietal cortex and attentional modulations of activities of the visual cortex DocID: 1vhFw - View Document