Menu

Filtros : "Model Check" Removido: "COMPUTABILIDADE E COMPLEXIDADE" Limpar

Filtros

Refine with date range

  • 1

1 - 2 (2 records)

  • Trabalho de evento

    Toward the revision of CTL models through Kripke modal transition systems (2013)

    Guerra, Paulo T; Andrade, Aline; Wassermann, Renata

    Source: Proceedings. Conference titles: Brazilian Symposium on Formal Methods - SBMF. Unidade: IME

    Subjects: LÓGICA MODAL, REVISÃO DE CRENÇAS

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      GUERRA, Paulo T e ANDRADE, Aline e WASSERMANN, Renata. Toward the revision of CTL models through Kripke modal transition systems. 2013, Anais.. Berlin: Springer, 2013. Disponível em: https://doi.org/10.1007/978-3-642-41071-0_9. Acesso em: 23 abr. 2026.

    • APA

      Guerra, P. T., Andrade, A., & Wassermann, R. (2013). Toward the revision of CTL models through Kripke modal transition systems. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-41071-0_9

    • NLM

      Guerra PT, Andrade A, Wassermann R. Toward the revision of CTL models through Kripke modal transition systems [Internet]. Proceedings. 2013 ;[citado 2026 abr. 23 ] Available from: https://doi.org/10.1007/978-3-642-41071-0_9

    • Vancouver

      Guerra PT, Andrade A, Wassermann R. Toward the revision of CTL models through Kripke modal transition systems [Internet]. Proceedings. 2013 ;[citado 2026 abr. 23 ] Available from: https://doi.org/10.1007/978-3-642-41071-0_9

  • Trabalho de evento

    Strong probabilistic planning (2008)

    Pereira, Silvio do Lago; Barros, Leliane Nunes de ; Cozman, Fabio Gagliardi

    Source: Proceedings. Conference titles: Mexican International Conference on Artificial Intelligence - MICAI. Unidades: IME, EP

    Subjects: PROCESSOS DE MARKOV, ALGORITMOS, INTELIGÊNCIA ARTIFICIAL

    PrivadoAcesso à fonteDOIHow to cite
    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 e COZMAN, Fabio Gagliardi. Strong probabilistic planning. 2008, Anais.. Berlin: Springer, 2008. Disponível em: https://doi.org/10.1007/978-3-540-88636-5_61. Acesso em: 23 abr. 2026.

    • APA

      Pereira, S. do L., Barros, L. N. de, & Cozman, F. G. (2008). Strong probabilistic planning. In Proceedings. Berlin: Springer. doi:10.1007/978-3-540-88636-5_61

    • NLM

      Pereira S do L, Barros LN de, Cozman FG. Strong probabilistic planning [Internet]. Proceedings. 2008 ;[citado 2026 abr. 23 ] Available from: https://doi.org/10.1007/978-3-540-88636-5_61

    • Vancouver

      Pereira S do L, Barros LN de, Cozman FG. Strong probabilistic planning [Internet]. Proceedings. 2008 ;[citado 2026 abr. 23 ] Available from: https://doi.org/10.1007/978-3-540-88636-5_61
  • 1

1 - 2 (2 records)

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2026