ReP USP - Resultado da busca

Trabalho de evento
Real-time symbolic dynamic programming for hybrid MDPs (2015)
Vianna, Luis Gustavo Rocha; Barros, Leliane Nunes de ; Sanner, Scott
Source: Proceedings. Conference titles: AAAI Conference on Artificial Intelligence. Unidade: IME
Subjects: PROCESSOS DE MARKOV, PROGRAMAÇÃO DINÂMICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
VIANNA, Luis Gustavo Rocha e BARROS, Leliane Nunes de e SANNER, Scott. Real-time symbolic dynamic programming for hybrid MDPs. 2015, Anais.. Palo Alto: AAAI, 2015. Disponível em: http://www.aaai.org/ocs/index.php/AAAI/AAAI15/paper/view/9701. Acesso em: 16 abr. 2024.
APA
Vianna, L. G. R., Barros, L. N. de, & Sanner, S. (2015). Real-time symbolic dynamic programming for hybrid MDPs. In Proceedings. Palo Alto: AAAI. Recuperado de http://www.aaai.org/ocs/index.php/AAAI/AAAI15/paper/view/9701
NLM
Vianna LGR, Barros LN de, Sanner S. Real-time symbolic dynamic programming for hybrid MDPs [Internet]. Proceedings. 2015 ;[citado 2024 abr. 16 ] Available from: http://www.aaai.org/ocs/index.php/AAAI/AAAI15/paper/view/9701
Vancouver
Vianna LGR, Barros LN de, Sanner S. Real-time symbolic dynamic programming for hybrid MDPs [Internet]. Proceedings. 2015 ;[citado 2024 abr. 16 ] Available from: http://www.aaai.org/ocs/index.php/AAAI/AAAI15/paper/view/9701
Artigo de periodico
A planner agent that tries its best in presence of nondeterminism (2012)
Pereira, Silvio do Lago; Barros, Leliane Nunes de
Source: Journal of Applied Logic. Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEREIRA, Silvio do Lago e BARROS, Leliane Nunes de. A planner agent that tries its best in presence of nondeterminism. Journal of Applied Logic, v. 10, p. 419-430, 2012Tradução . . Disponível em: https://doi.org/10.1016/j.jal.2012.06.002. Acesso em: 16 abr. 2024.
APA
Pereira, S. do L., & Barros, L. N. de. (2012). A planner agent that tries its best in presence of nondeterminism. Journal of Applied Logic, 10, 419-430. doi:10.1016/j.jal.2012.06.002
NLM
Pereira S do L, Barros LN de. A planner agent that tries its best in presence of nondeterminism [Internet]. Journal of Applied Logic. 2012 ; 10 419-430.[citado 2024 abr. 16 ] Available from: https://doi.org/10.1016/j.jal.2012.06.002
Vancouver
Pereira S do L, Barros LN de. A planner agent that tries its best in presence of nondeterminism [Internet]. Journal of Applied Logic. 2012 ; 10 419-430.[citado 2024 abr. 16 ] Available from: https://doi.org/10.1016/j.jal.2012.06.002
Artigo de periodico
Reachability-based model reduction for Markov decision process (2015)
Santos, Felipe Martins dos; Barros, Leliane Nunes de ; Trevizan, Felipe Werndl
Source: Journal of the Brazilian Computer Society. Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, PROCESSOS DE MARKOV
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SANTOS, Felipe Martins dos e BARROS, Leliane Nunes de e TREVIZAN, Felipe Werndl. Reachability-based model reduction for Markov decision process. Journal of the Brazilian Computer Society, v. 21, n. 1, p. 16 , 2015Tradução . . Disponível em: https://doi.org/10.1186/s13173-015-0024-1. Acesso em: 16 abr. 2024.
APA
Santos, F. M. dos, Barros, L. N. de, & Trevizan, F. W. (2015). Reachability-based model reduction for Markov decision process. Journal of the Brazilian Computer Society, 21( 1), 16 . doi:10.1186/s13173-015-0024-1
NLM
Santos FM dos, Barros LN de, Trevizan FW. Reachability-based model reduction for Markov decision process [Internet]. Journal of the Brazilian Computer Society. 2015 ; 21( 1): 16 .[citado 2024 abr. 16 ] Available from: https://doi.org/10.1186/s13173-015-0024-1
Vancouver
Santos FM dos, Barros LN de, Trevizan FW. Reachability-based model reduction for Markov decision process [Internet]. Journal of the Brazilian Computer Society. 2015 ; 21( 1): 16 .[citado 2024 abr. 16 ] Available from: https://doi.org/10.1186/s13173-015-0024-1
Trabalho de evento
The role of knowledge in cognitive robotics planning (2000)
Barros, Leliane Nunes de ; Santos, Paulo Eduardo Telles dos
Source: Proceedings. Conference titles: International Joint Conference: IBERAMIA-SBIA. Unidade: IME
Assunto: ROBÓTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BARROS, Leliane Nunes de e SANTOS, Paulo Eduardo Telles dos. The role of knowledge in cognitive robotics planning. 2000, Anais.. São Paulo: Tec Art Editora, 2000. . Acesso em: 16 abr. 2024.
APA
Barros, L. N. de, & Santos, P. E. T. dos. (2000). The role of knowledge in cognitive robotics planning. In Proceedings. São Paulo: Tec Art Editora.
NLM
Barros LN de, Santos PET dos. The role of knowledge in cognitive robotics planning. Proceedings. 2000 ;[citado 2024 abr. 16 ]
Vancouver
Barros LN de, Santos PET dos. The role of knowledge in cognitive robotics planning. Proceedings. 2000 ;[citado 2024 abr. 16 ]
Trabalho de evento
Laboratório de ensino de inteligência artificial (2003)
Chermont, Marlon Gripp; Barros, Leliane Nunes de
Source: Alguns Tabalhos do IME-USP para o 10o. SIICUSP. Conference titles: Simpósio Internacional de Iniciação Científica da USP. Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CHERMONT, Marlon Gripp e BARROS, Leliane Nunes de. Laboratório de ensino de inteligência artificial. 2003, Anais.. São Paulo: IME-USP, 2003. . Acesso em: 16 abr. 2024.
APA
Chermont, M. G., & Barros, L. N. de. (2003). Laboratório de ensino de inteligência artificial. In Alguns Tabalhos do IME-USP para o 10o. SIICUSP. São Paulo: IME-USP.
NLM
Chermont MG, Barros LN de. Laboratório de ensino de inteligência artificial. Alguns Tabalhos do IME-USP para o 10o. SIICUSP. 2003 ;[citado 2024 abr. 16 ]
Vancouver
Chermont MG, Barros LN de. Laboratório de ensino de inteligência artificial. Alguns Tabalhos do IME-USP para o 10o. SIICUSP. 2003 ;[citado 2024 abr. 16 ]
Trabalho de evento
Planning task validation (2012)
Menezes, M. V; Barros, Leliane Nunes de ; Pereira, Silvio do Lago
Source: proceedings. Conference titles: SPARK 2012 - Scheduling and Planning Applications Workshop at ICAPS, 22. Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MENEZES, M. V e BARROS, Leliane Nunes de e PEREIRA, Silvio do Lago. Planning task validation. 2012, Anais.. Atibaia: ICAPS, 2012. . Acesso em: 16 abr. 2024.
APA
Menezes, M. V., Barros, L. N. de, & Pereira, S. do L. (2012). Planning task validation. In proceedings. Atibaia: ICAPS.
NLM
Menezes MV, Barros LN de, Pereira S do L. Planning task validation. proceedings. 2012 ;[citado 2024 abr. 16 ]
Vancouver
Menezes MV, Barros LN de, Pereira S do L. Planning task validation. proceedings. 2012 ;[citado 2024 abr. 16 ]
Trabalho de evento
Model update for automated planning (2011)
Menezes, Maria Viviane de; Barros, Leliane Nunes de
Source: Proceedings. Conference titles: AAAI Conference on Artificial Intelligence, 25. Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MENEZES, Maria Viviane de e BARROS, Leliane Nunes de. Model update for automated planning. 2011, Anais.. Menlo Park: AAAI, 2011. Disponível em: https://www.aaai.org/ocs/index.php/DC/DC11/paper/view/3536/4047. Acesso em: 16 abr. 2024.
APA
Menezes, M. V. de, & Barros, L. N. de. (2011). Model update for automated planning. In Proceedings. Menlo Park: AAAI. Recuperado de https://www.aaai.org/ocs/index.php/DC/DC11/paper/view/3536/4047
NLM
Menezes MV de, Barros LN de. Model update for automated planning [Internet]. Proceedings. 2011 ;[citado 2024 abr. 16 ] Available from: https://www.aaai.org/ocs/index.php/DC/DC11/paper/view/3536/4047
Vancouver
Menezes MV de, Barros LN de. Model update for automated planning [Internet]. Proceedings. 2011 ;[citado 2024 abr. 16 ] Available from: https://www.aaai.org/ocs/index.php/DC/DC11/paper/view/3536/4047
Trabalho de evento
Using concept hierarchies in knowledge discovery (2004)
Di Beneditto, Marco Eugênio Madeira; Barros, Leliane Nunes de
Source: Proceedings. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME
Subjects: DESCOBERTA DE CONHECIMENTO, MINERAÇÃO DE DADOS, APRENDIZADO COMPUTACIONAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DI BENEDITTO, Marco Eugênio Madeira e BARROS, Leliane Nunes de. Using concept hierarchies in knowledge discovery. 2004, Anais.. Berlin: Springer, 2004. Disponível em: https://doi.org/10.1007/978-3-540-28645-5_26. Acesso em: 16 abr. 2024.
APA
Di Beneditto, M. E. M., & Barros, L. N. de. (2004). Using concept hierarchies in knowledge discovery. In Proceedings. Berlin: Springer. doi:10.1007/978-3-540-28645-5_26
NLM
Di Beneditto MEM, Barros LN de. Using concept hierarchies in knowledge discovery [Internet]. Proceedings. 2004 ;[citado 2024 abr. 16 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_26
Vancouver
Di Beneditto MEM, Barros LN de. Using concept hierarchies in knowledge discovery [Internet]. Proceedings. 2004 ;[citado 2024 abr. 16 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_26
Artigo de periodico
Symbolic Regression for Non-Deterministic Actions (2014)
Menezes, Maria Viviane de; Barros, Leliane Nunes de ; Pereira, Silvio do Lago
Source: Learning and NonLinear Models. Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MENEZES, Maria Viviane de e BARROS, Leliane Nunes de e PEREIRA, Silvio do Lago. Symbolic Regression for Non-Deterministic Actions. Learning and NonLinear Models, v. 12, n. 2, p. 98-114, 2014Tradução . . Disponível em: https://doi.org/10.21528/lnlm-vol12-no2-art3. Acesso em: 16 abr. 2024.
APA
Menezes, M. V. de, Barros, L. N. de, & Pereira, S. do L. (2014). Symbolic Regression for Non-Deterministic Actions. Learning and NonLinear Models, 12( 2), 98-114. doi:10.21528/lnlm-vol12-no2-art3
NLM
Menezes MV de, Barros LN de, Pereira S do L. Symbolic Regression for Non-Deterministic Actions [Internet]. Learning and NonLinear Models. 2014 ; 12( 2): 98-114.[citado 2024 abr. 16 ] Available from: https://doi.org/10.21528/lnlm-vol12-no2-art3
Vancouver
Menezes MV de, Barros LN de, Pereira S do L. Symbolic Regression for Non-Deterministic Actions [Internet]. Learning and NonLinear Models. 2014 ; 12( 2): 98-114.[citado 2024 abr. 16 ] Available from: https://doi.org/10.21528/lnlm-vol12-no2-art3
Trabalho de evento
Continuous real time dynamic programming for discrete and continuous state MDPs (2014)
Vianna, Luis Gustavo Rocha; Sanner, Scott; Barros, Leliane Nunes de
Source: Proceedings. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidade: IME
Subjects: PROCESSOS DE MARKOV, PROGRAMAÇÃO DINÂMICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
VIANNA, Luis Gustavo Rocha e SANNER, Scott e BARROS, Leliane Nunes de. Continuous real time dynamic programming for discrete and continuous state MDPs. 2014, Anais.. Los Alamitos: IEEE, 2014. Disponível em: https://doi.org/10.1109/BRACIS.2014.34. Acesso em: 16 abr. 2024.
APA
Vianna, L. G. R., Sanner, S., & Barros, L. N. de. (2014). Continuous real time dynamic programming for discrete and continuous state MDPs. In Proceedings. Los Alamitos: IEEE. doi:10.1109/BRACIS.2014.34
NLM
Vianna LGR, Sanner S, Barros LN de. Continuous real time dynamic programming for discrete and continuous state MDPs [Internet]. Proceedings. 2014 ;[citado 2024 abr. 16 ] Available from: https://doi.org/10.1109/BRACIS.2014.34
Vancouver
Vianna LGR, Sanner S, Barros LN de. Continuous real time dynamic programming for discrete and continuous state MDPs [Internet]. Proceedings. 2014 ;[citado 2024 abr. 16 ] Available from: https://doi.org/10.1109/BRACIS.2014.34
Relatorio tecnico
Diagramas de decisão binária (2007)
Pereira, Silvio do Lago; Barros, Leliane Nunes de
Unidade: IME
Assunto: LINGUAGEM DE PROGRAMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEREIRA, Silvio do Lago e BARROS, Leliane Nunes de. Diagramas de decisão binária. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/f0d5eb24-22b2-4a9b-a6ed-dbab85dbd2bc/1610329.pdf. Acesso em: 16 abr. 2024. , 2007
APA
Pereira, S. do L., & Barros, L. N. de. (2007). Diagramas de decisão binária. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/f0d5eb24-22b2-4a9b-a6ed-dbab85dbd2bc/1610329.pdf
NLM
Pereira S do L, Barros LN de. Diagramas de decisão binária [Internet]. 2007 ;[citado 2024 abr. 16 ] Available from: https://repositorio.usp.br/directbitstream/f0d5eb24-22b2-4a9b-a6ed-dbab85dbd2bc/1610329.pdf
Vancouver
Pereira S do L, Barros LN de. Diagramas de decisão binária [Internet]. 2007 ;[citado 2024 abr. 16 ] Available from: https://repositorio.usp.br/directbitstream/f0d5eb24-22b2-4a9b-a6ed-dbab85dbd2bc/1610329.pdf
Relatorio tecnico
Planejamento baseado em processos de decisão Markovianos (2007)
Pereira, Silvio do Lago; Barros, Leliane Nunes de
Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEREIRA, Silvio do Lago e BARROS, Leliane Nunes de. Planejamento baseado em processos de decisão Markovianos. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/3852308f-49a4-4135-af66-4ea9ddad8514/1610332.pdf. Acesso em: 16 abr. 2024. , 2007
APA
Pereira, S. do L., & Barros, L. N. de. (2007). Planejamento baseado em processos de decisão Markovianos. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/3852308f-49a4-4135-af66-4ea9ddad8514/1610332.pdf
NLM
Pereira S do L, Barros LN de. Planejamento baseado em processos de decisão Markovianos [Internet]. 2007 ;[citado 2024 abr. 16 ] Available from: https://repositorio.usp.br/directbitstream/3852308f-49a4-4135-af66-4ea9ddad8514/1610332.pdf
Vancouver
Pereira S do L, Barros LN de. Planejamento baseado em processos de decisão Markovianos [Internet]. 2007 ;[citado 2024 abr. 16 ] Available from: https://repositorio.usp.br/directbitstream/3852308f-49a4-4135-af66-4ea9ddad8514/1610332.pdf
Trabalho de evento
Using α-ctl to specify complex planning goals (2008)
Pereira, Silvio do Lago; Barros, Leliane Nunes de
Source: Proceedings. Conference titles: International Workshop on Logic, Language, Information, and Computation - WoLLIC. Unidade: IME
Subjects: FUNÇÕES BOOLEANAS, COMPUTABILIDADE E COMPLEXIDADE, LÓGICA FUZZY, TEORIA DA INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
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: 16 abr. 2024.
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 2024 abr. 16 ] 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 2024 abr. 16 ] Available from: https://doi.org/10.1007/978-3-540-69937-8_23
Trabalho de evento-resumo
Symbolic dynamic programming for risk-sensitive Markov decision process with limited budget (2018)
Moreira, Daniel A. M; Delgado, Karina Valdivia; Barros, Leliane Nunes de
Source: Proceedings. Conference titles: International Conference on Autonomous Agents and MultiAgent Systems - AAMAS. Unidade: IME
Subjects: PROCESSOS DE MARKOV, INTELIGÊNCIA ARTIFICIAL, RISCO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MOREIRA, Daniel A. M e DELGADO, Karina Valdivia e BARROS, Leliane Nunes de. Symbolic dynamic programming for risk-sensitive Markov decision process with limited budget. 2018, Anais.. New York: ACM, 2018. Disponível em: https://dl.acm.org/doi/abs/10.5555/3237383.3238057. Acesso em: 16 abr. 2024.
APA
Moreira, D. A. M., Delgado, K. V., & Barros, L. N. de. (2018). Symbolic dynamic programming for risk-sensitive Markov decision process with limited budget. In Proceedings. New York: ACM. doi:10.5555/3237383.3238057
NLM
Moreira DAM, Delgado KV, Barros LN de. Symbolic dynamic programming for risk-sensitive Markov decision process with limited budget [Internet]. Proceedings. 2018 ;[citado 2024 abr. 16 ] Available from: https://dl.acm.org/doi/abs/10.5555/3237383.3238057
Vancouver
Moreira DAM, Delgado KV, Barros LN de. Symbolic dynamic programming for risk-sensitive Markov decision process with limited budget [Internet]. Proceedings. 2018 ;[citado 2024 abr. 16 ] Available from: https://dl.acm.org/doi/abs/10.5555/3237383.3238057
Trabalho de evento
Aprendizado por reforço em lote para o problema de tomada de decisão em processos de venda (2014)
Lacerda, Denis Antonio; Barros, Leliane Nunes de
Source: Proceedings. Conference titles: Encontro Nacional de Inteligência Artificial e Computacional - ENIAC. Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, APRENDIZADO COMPUTACIONAL, PROCESSOS DE MARKOV
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
LACERDA, Denis Antonio e BARROS, Leliane Nunes de. Aprendizado por reforço em lote para o problema de tomada de decisão em processos de venda. 2014, Anais.. Belo Horizonte: UFMG, 2014. Disponível em: http://www.lbd.dcc.ufmg.br/colecoes/eniac/2014/0084.pdf. Acesso em: 16 abr. 2024.
APA
Lacerda, D. A., & Barros, L. N. de. (2014). Aprendizado por reforço em lote para o problema de tomada de decisão em processos de venda. In Proceedings. Belo Horizonte: UFMG. Recuperado de http://www.lbd.dcc.ufmg.br/colecoes/eniac/2014/0084.pdf
NLM
Lacerda DA, Barros LN de. Aprendizado por reforço em lote para o problema de tomada de decisão em processos de venda [Internet]. Proceedings. 2014 ;[citado 2024 abr. 16 ] Available from: http://www.lbd.dcc.ufmg.br/colecoes/eniac/2014/0084.pdf
Vancouver
Lacerda DA, Barros LN de. Aprendizado por reforço em lote para o problema de tomada de decisão em processos de venda [Internet]. Proceedings. 2014 ;[citado 2024 abr. 16 ] Available from: http://www.lbd.dcc.ufmg.br/colecoes/eniac/2014/0084.pdf
Relatorio tecnico
Formalizing planning algorithms for temporally extended goals (2007)
Pereira, Silvio do Lago; Barros, Leliane Nunes de
Unidade: IME
Assunto: PROGRAMAÇÃO LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEREIRA, Silvio do Lago e BARROS, Leliane Nunes de. Formalizing planning algorithms for temporally extended goals. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/540c0203-b9fd-49b8-9440-7daa9888eb02/1639346.pdf. Acesso em: 16 abr. 2024. , 2007
APA
Pereira, S. do L., & Barros, L. N. de. (2007). Formalizing planning algorithms for temporally extended goals. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/540c0203-b9fd-49b8-9440-7daa9888eb02/1639346.pdf
NLM
Pereira S do L, Barros LN de. Formalizing planning algorithms for temporally extended goals [Internet]. 2007 ;[citado 2024 abr. 16 ] Available from: https://repositorio.usp.br/directbitstream/540c0203-b9fd-49b8-9440-7daa9888eb02/1639346.pdf
Vancouver
Pereira S do L, Barros LN de. Formalizing planning algorithms for temporally extended goals [Internet]. 2007 ;[citado 2024 abr. 16 ] Available from: https://repositorio.usp.br/directbitstream/540c0203-b9fd-49b8-9440-7daa9888eb02/1639346.pdf
Trabalho de evento
Plan existence verification as symbolic model checking (2018)
Ferreira, Macilio da Silva; Menezes, Maria Viviane; Barros, Leliane Nunes de
Source: Proceedings. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, ALGORITMOS PARA PROCESSAMENTO, PROGRAMAÇÃO HEURÍSTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FERREIRA, Macilio da Silva e MENEZES, Maria Viviane e BARROS, Leliane Nunes de. Plan existence verification as symbolic model checking. 2018, Anais.. Porto Alegre: SBC, 2018. Disponível em: https://doi.org/10.5753/eniac.2018.4409. Acesso em: 16 abr. 2024.
APA
Ferreira, M. da S., Menezes, M. V., & Barros, L. N. de. (2018). Plan existence verification as symbolic model checking. In Proceedings. Porto Alegre: SBC. doi:10.5753/eniac.2018.4409
NLM
Ferreira M da S, Menezes MV, Barros LN de. Plan existence verification as symbolic model checking [Internet]. Proceedings. 2018 ;[citado 2024 abr. 16 ] Available from: https://doi.org/10.5753/eniac.2018.4409
Vancouver
Ferreira M da S, Menezes MV, Barros LN de. Plan existence verification as symbolic model checking [Internet]. Proceedings. 2018 ;[citado 2024 abr. 16 ] Available from: https://doi.org/10.5753/eniac.2018.4409
Trabalho de evento
Symbolic planning for strong-cyclic policies (2019)
Santos, Viviane M. Bonadia dos ; Barros, Leliane Nunes de ; Menezes, Maria Viviane de
Source: Proceedings. Conference titles: Brazilian Conference on Intelligent Systems (BRACIS). Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, SEMÂNTICA, LÓGICA MODAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SANTOS, Viviane M. Bonadia dos e BARROS, Leliane Nunes de e MENEZES, Maria Viviane de. Symbolic planning for strong-cyclic policies. 2019, Anais.. Piscataway: IEEE, 2019. Disponível em: https://doi.org/10.1109/BRACIS.2019.00038. Acesso em: 16 abr. 2024.
APA
Santos, V. M. B. dos, Barros, L. N. de, & Menezes, M. V. de. (2019). Symbolic planning for strong-cyclic policies. In Proceedings. Piscataway: IEEE. doi:10.1109/BRACIS.2019.00038
NLM
Santos VMB dos, Barros LN de, Menezes MV de. Symbolic planning for strong-cyclic policies [Internet]. Proceedings. 2019 ;[citado 2024 abr. 16 ] Available from: https://doi.org/10.1109/BRACIS.2019.00038
Vancouver
Santos VMB dos, Barros LN de, Menezes MV de. Symbolic planning for strong-cyclic policies [Internet]. Proceedings. 2019 ;[citado 2024 abr. 16 ] Available from: https://doi.org/10.1109/BRACIS.2019.00038
Trabalho de evento
Robust optimization for hybrid MDPs with state-dependent noise (2013)
Zamani, Zahra; Sanner, Scott; Delgado, Karina Valdivia ; Barros, Leliane Nunes de
Source: Proceedings. Conference titles: International Joint Conference on Artificial Intelligence - IJCAI. Unidades: EACH, IME
Subjects: PROCESSOS DE MARKOV, CONTROLE (TEORIA DE SISTEMAS E CONTROLE)
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ZAMANI, Zahra et al. Robust optimization for hybrid MDPs with state-dependent noise. 2013, Anais.. Palo Alto: AAAI Press, 2013. Disponível em: https://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/7005. Acesso em: 16 abr. 2024.
APA
Zamani, Z., Sanner, S., Delgado, K. V., & Barros, L. N. de. (2013). Robust optimization for hybrid MDPs with state-dependent noise. In Proceedings. Palo Alto: AAAI Press. Recuperado de https://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/7005
NLM
Zamani Z, Sanner S, Delgado KV, Barros LN de. Robust optimization for hybrid MDPs with state-dependent noise [Internet]. Proceedings. 2013 ;[citado 2024 abr. 16 ] Available from: https://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/7005
Vancouver
Zamani Z, Sanner S, Delgado KV, Barros LN de. Robust optimization for hybrid MDPs with state-dependent noise [Internet]. Proceedings. 2013 ;[citado 2024 abr. 16 ] Available from: https://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/7005
Trabalho de evento
Symbolic bounded real-time dynamic programming (2010)
Delgado, Karina Valdívia; Fang, cheng; Barros, Leliane Nunes de
Source: Proceedings. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidades: EACH, IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DELGADO, Karina Valdívia e FANG, cheng e BARROS, Leliane Nunes de. Symbolic bounded real-time dynamic programming. 2010, Anais.. Berlin: Springer, 2010. Disponível em: https://doi.org/10.1007/978-3-642-16138-4_20. Acesso em: 16 abr. 2024.
APA
Delgado, K. V., Fang, cheng, & Barros, L. N. de. (2010). Symbolic bounded real-time dynamic programming. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-16138-4_20
NLM
Delgado KV, Fang cheng, Barros LN de. Symbolic bounded real-time dynamic programming [Internet]. Proceedings. 2010 ;[citado 2024 abr. 16 ] Available from: https://doi.org/10.1007/978-3-642-16138-4_20
Vancouver
Delgado KV, Fang cheng, Barros LN de. Symbolic bounded real-time dynamic programming [Internet]. Proceedings. 2010 ;[citado 2024 abr. 16 ] Available from: https://doi.org/10.1007/978-3-642-16138-4_20

USP Schools

ReP

Filtros

Document Types

Authors

USP affiliated authors

Date published

Subjects

Source title

Publisher

Conference titles

Countries/Territories

Funding Agencies

Non normalized affiliation

Countries of institutions of collaboration