Skip to main content
Side panel
Paca
Home
More
English (en)
English (en)
Português - Brasil (pt_br)
You are currently using guest access
Log in
Home
Open course index
Semestres anteriores
Planejamento-2005
Capítulo 17
URL
Capítulo 17
Planejamento basedo em Model Checking
Click <a href="http://www.ime.usp.br/~leliane/MAC5788-2005/slides/slides_pdf/aula_planejamento_probabilistico.pdf">http://www.ime.usp.br/~leliane/MAC5788-2005/slides/slides_pdf/aula_planejamento_probabilistico.pdf</a> link to open resource.