Apresenta fundamentos e métodos para síntese de decisões em ambientes formais, com ênfase em estruturas algorítmicas e modelos matemáticos aplicados.

Aborda técnicas de modelagem, otimização e verificação de decisões, incluindo exemplos que situam os métodos em contextos computacionais e de engenharia.

Destina-se a pesquisadores, estudantes de pós-graduação e profissionais envolvidos em teoria da decisão, inteligência artificial e sistemas de tomada de decisão.