Planejamento sob incerteza para metas de alcançabilidade estendidas

Planejamento sob incerteza para metas de alcançabilidade estendidas

Planejamento sob incerteza vem sendo cada vez mais requisitado em aplicações práticas de diversas áreas que eequerem soluções confiáveis para metas complexas. Em vista disso, nos últimos anos, algumas abordagens baseadas no uso de métodos formais para síntese automática de planos têm sido propostas...

Full description

Bibliographic Details
Main Author: Pereira, Silvio do Lago
Other Authors: Barros, Leliane Nunes de
Format: Others
Language:pt
Published: Biblioteca Digitais de Teses e Dissertações da USP 2007
Subjects:
extended reachability goals
metas de alcançabilidade estendidas
model checking
planejamento sob incerteza
planning under uncertainty
verificação de modelos
Online Access:http://www.teses.usp.br/teses/disponiveis/45/45134/tde-09042008-105750/

Internet

http://www.teses.usp.br/teses/disponiveis/45/45134/tde-09042008-105750/

Similar Items