Using α-ctl to specify complex planning goals (2008)
- Authors:
- Autor USP: BARROS, LELIANE NUNES DE - IME
- Unidade: IME
- DOI: 10.1007/978-3-540-69937-8_23
- Subjects: FUNÇÕES BOOLEANAS; COMPUTABILIDADE E COMPLEXIDADE; LÓGICA FUZZY; TEORIA DA INFORMAÇÃO
- Keywords: Model Check; Temporal Logic; Planning Algorithm; Planning Domain; Atomic Proposition
- Language: Inglês
- Imprenta:
- Source:
- Título: Proceedings
- Conference titles: International Workshop on Logic, Language, Information, and Computation - WoLLIC
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
ABNT
PEREIRA, Silvio do Lago e BARROS, Leliane Nunes de. Using α-ctl to specify complex planning goals. 2008, Anais.. Berlin: Springer, 2008. Disponível em: https://doi.org/10.1007/978-3-540-69937-8_23. Acesso em: 30 dez. 2025. -
APA
Pereira, S. do L., & Barros, L. N. de. (2008). Using α-ctl to specify complex planning goals. In Proceedings. Berlin: Springer. doi:10.1007/978-3-540-69937-8_23 -
NLM
Pereira S do L, Barros LN de. Using α-ctl to specify complex planning goals [Internet]. Proceedings. 2008 ;[citado 2025 dez. 30 ] Available from: https://doi.org/10.1007/978-3-540-69937-8_23 -
Vancouver
Pereira S do L, Barros LN de. Using α-ctl to specify complex planning goals [Internet]. Proceedings. 2008 ;[citado 2025 dez. 30 ] Available from: https://doi.org/10.1007/978-3-540-69937-8_23 - Real-time symbolic dynamic programming for hybrid MDPs
- A planner agent that tries its best in presence of nondeterminism
- Compilador de regras para geracao de um sistema especialista com encadeamento regressivo
- Reachability-based model reduction for Markov decision process
- Symbolic Regression for Non-Deterministic Actions
- Continuous real time dynamic programming for discrete and continuous state MDPs
- Uma biblioteca de métodos de resolução de problemas de planejamento para fornecer apoio à aquisição de conhecimento
- Diagramas de decisão binária
- Symbolic dynamic programming for risk-sensitive Markov decision process with limited budget
- The role of knowledge in cognitive robotics planning
Informações sobre o DOI: 10.1007/978-3-540-69937-8_23 (Fonte: oaDOI API)
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
3035989.pdf |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
