Barros, Leliane Nunes de
Results: Displaying 9 of 29 on page 3 of 3
Name
Title
Area
Document
Colleges
Year
Automated model based software debugging: a hierarchical approach to help programming...
Efficient solutions to Markov decision processes based on reachability and stochastic...
Planning as model checking
Probabilistic planning with dead-ends
Tag prediction using linked data: a case study in the Arquigrafia database
Genetic network intervention modeled as a factored and imprecise Markovian decision...
An unified model for planning under uncertainty
Approximate and asynchronous symbolic dynamic programming for Markov decision processes...
Results: Displaying 9 of 29 on page 3 of 3