Publications

[Google ScholarDBLPBibTeX ]

2018
Action Schema Networks: Generalised Policies with Deep Learning. Toyer, S., Trevizan, F., Thiébaux, S. and Lexing, X. In Proc. of 32nd AAAI Conference on Artificial Intelligence. [pdf] [bib] [code]
2017
Occupation Measure Heuristics for Probabilistic Planning. Trevizan, F., Thiébaux, S. and Haslum, P. In Proc. of 27th Int. Conf. on Automated Planning and Scheduling (ICAPS). (Best Paper Award) [pdf] [bib]
Efficient Solutions for Stochastic Shortest Path Problems with Dead Ends. Trevizan, F., Teichteil-Königsbuch, F. and Thiébaux, S. In Proc. of 33rd Int. Conf. on Uncertainty in Artificial Intelligence (UAI). [pdf] [bib]
Tableaux for Policy Synthesis for MDPs with PCTL* Constraints. Baumgartner, P., Thiébaux, S. and Trevizan, F. In Proc. of 26th Int. Conf. on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX). [pdf] [bib]
I-dual: Solving Constrained SSPs via Heuristic Search in the Dual Space. Trevizan, F., Thiébaux, S., Santana, P. and Williams, B. In Proc. of the 26th Int. Joint Conf. on AI (IJCAI). (Sister Conference Best Paper Track) [pdf] [bib]
2016
Heuristic Search in Dual Space for Constrained Stochastic Shortest Path Problems. Trevizan, F., Thiébaux, S., Santana, P. and Williams, B. In Proc. of 26th Int. Conf. on Automated Planning and Scheduling (ICAPS). (Best Paper Award) [pdf] [bib]
A Non-homogeneous Time Mixed Integer LP Formulation for Traffic Signal Control. Guilliard, I., Sanner, S., Trevizan, F. and Williams, B. In Transport Research Record (TRR): Journal of the Transport Research Board. (Best Paper Award from the AI committee of TRB) [pdf] [bib] [demo]
2015
Reachability-based Model Reduction for Markov Decision Process. Santos, F., Barros, L. N. and Trevizan, F. In Journal of the Brazilian Computer Society. [pdf] [bib]
2014
Depth-based Short-sighted Stochastic Shortest Path Problems. Trevizan, F. and Veloso, M. In Artificial Intelligence. [pdf] [bib] [code]
2013
Finding Objects through Stochastic Shortest Path Problems. Trevizan, F. and Veloso, M. In Proc. of 12nd Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS). [pdf] [bib]
2012
Trajectory-Based Short-Sighted Probabilistic Planning. Trevizan, F. and Veloso, M. In In Advances in Neural Information Processing Systems (NIPS). [pdf] [bib] [code]
Short-Sighted Stochastic Shortest Path Problems. Trevizan, F. and Veloso, M. In Proc. of 22nd Int. Conf. on Automated Planning and Scheduling (ICAPS). [pdf] [bib] [code]
2010
Learning Opponent's Strategies in the RoboCup Small-Size League. Trevizan, F. and Veloso, M. In Proc. of AAMAS'10 Workshop on Agents in Real-time and Dynamic Environments. [pdf] [bib]
2008
Mixed Probabilistic and Nondeterministic Factored Planning through Markov Decision Processes with Set-valued Transitions. Trevizan, F., Cozman, F. G. and Barros, L. N. In Proc. of ICAPS'08 Workshop on A Reality Check for Planning and Scheduling Under Uncertainty. [pdf] [bib]
2007
Multilinear and Integer Programming for Markov Decision Processes with Imprecise Probabilities. Shirota Filho, R., Cozman, F. G., Trevizan, F., de Campos, C. P. and Barros, L. N. In Proc. of the 5th Int. Symposium On Imprecise Probability: Theories And Applications. [pdf] [bib]
Planning under Risk and Knightian Uncertainty. Trevizan, F., Cozman, F. G. and Barros, L. N. In Proc. of the 20th Int. Joint Conf. on AI (IJCAI). [pdf] [bib]
2006
Unifying Nondeterministic and Probabilistic Planning through Imprecise Markov Decision Processes. Trevizan, F., Cozman, F. G. and Barros, L. N. In Proc. of the 10th Ibero-American Conf. on AI (IBERAMIA) and 18th Brazilian AI Symposium (SBIA). (Best Paper Award) [pdf] [bib]
Robótica Cognitiva: programação baseada em lógica para controle de robôs. Trevizan, F. and Barros, L. N. In Controle & Automação. [pdf] [bib]
Designing Logic-based Robots. Trevizan, F., Barros, L. N. and Correa da Silva, F. S. In Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial. [pdf] [bib]
2005
Low Cost Experiments in Cognitive Robotics for Planning in Hostile Environments with Incomplete Information. Trevizan, F., Barros, L. N. and Correa da Silva, F. S. In Proc. of the 11th Conf. of the Spanish Association for Artificial Intelligence (CAEPIA). [pdf] [bib]
Robótica Cognitiva: uma aplicação de planejamento com informação incompleta. Trevizan, F. and Barros, L. N. In Proc. of the 7th Simpósio Brasileiro de Automação Inteligente (SBAI). [pdf] [bib]
  • News and Highlights
    • ASNets: Learning generalized policies for SSPs using neural nets (AAAI'18).
    • h-pom, h-roc, and i2-dual won the best paper award at ICAPS'17!
    • New efficient approach to solve SSPs and C-SSPs with dead ends (UAI'17).
    • Solving SSPs and MDPs with PCTL* constraints (TABLEAUX'17).
    • h-pom and h-roc: the first heuristics able to handle probabilities and costs for SSPs and C-SSPs (ICAPS'17).
    • i-dual won the best paper award at ICAPS'16!
    • QTM won the best paper award from the AI committee of TRB'16! (demo).
    • i-dual: combining AI and OR to efficiently solve constrained SSPs (ICAPS'16).
  • Word cloud of my papers:
  • wordcloud
    large wordcloud