Publications

[Google ScholarDBLPORCIDBibTeX ]

2024
Guiding GBFS through Learned Pairwise Rankings. Hao, M., Trevizan, F., Thiébaux, S., Ferber, P. and Hoffmann, J. In Proc. of 33rd Int. Joint Conf. on AI (IJCAI). 2024. [pdf] [bib] [code]
Return to Tradition: Learning Reliable Heuristics with Classical Machine Learning. Chen, D., Trevizan, F. and Thiébaux, S. In Proc. of 34th Int. Conf. on Automated Planning and Scheduling (ICAPS). 2024. [pdf] [bib]
Learning Domain-Independent Heuristics for Grounded and Lifted Planning. Chen, D., Thiébaux, S. and Trevizan, F. In Proc. of 38th AAAI Conference on Artificial Intelligence. 2024. [pdf] [bib] [code]
Efficient Constraint Generation for Stochastic Shortest Path Problems. Schmalz, J. and Trevizan, F. In Proc. of 38th AAAI Conference on Artificial Intelligence. 2024. [pdf] [bib] [code]
Finding Optimal Deterministic Policies for Constrained Stochastic Shortest Path Problems. Schmalz, J. and Trevizan, F. In Proc. of 27th European Conference on Artificial Intelligence (ECAI). 2024. [pdf] [bib]
2023
Heuristic Search for Multi-Objective Probabilistic Planning. Chen, D., Trevizan, F. and Thiébaux, S. In Proc. of 37th AAAI Conference on Artificial Intelligence. 2023. [pdf] [bib] [code]
Graph Neural Networks and Graph Kernels For Learning Heuristics: Is there a difference?. Chen, D., Trevizan, F. and Thiébaux, S. In Proc. of NeurIPS'23 Workshop on Generalization in Planning (GenPlan23). 2023. [pdf] [bib]
GOOSE: Learning Domain-Independent Heuristics. Chen, D., Thiébaux, S. and Trevizan, F. In Proc. of NeurIPS'23 Workshop on Generalization in Planning (GenPlan23). 2023. [pdf] [bib]
2022
Admissible Heuristics for Multi-Objective Planning. Geisser, F., Haslum, P., Thiébaux, S. and Trevizan, F. In Proc. of 32nd Int. Conf. on Automated Planning and Scheduling (ICAPS). 2022. [pdf] [bib] [code]
Neural Network Heuristic Functions for Classical Planning: Bootstrapping and Comparison to Other Methods. Ferber, P., Geisser, F., Trevizan, F., Helmert, M. and Hoffmann, J. In Proc. of 32nd Int. Conf. on Automated Planning and Scheduling (ICAPS). 2022. [pdf] [bib] [code]
2021
Progression Heuristics for Planning with Probabilistic LTL Constraints. Mallet, I., Thiébaux, S. and Trevizan, F. In Proc. of 35th AAAI Conference on Artificial Intelligence. 2021. [pdf] [bib]
Neural Network Heuristic Functions for Classical Planning: Reinforcement Learning and Comparison to Other Methods. Ferber, P., Geisser, F., Trevizan, F., Helmert, M. and Hoffmann, J. In Proc. of ICAPS'21 Workshop on Planning and Reinforcement Learning (PRL21). 2021. [pdf] [bib] [code]
SM2P: Towards a Robust Co-Pilot System for Helicopter EMS. Mallet, I., Hoerger, M., Gupta, S., Jayalath, N., Trevizan, F., Hunt, A., Kurniawati, H. and Guettier, C. In Proc. of ICAPS'21 Workshop on Planning and Robotics (PlanRob21). 2021. [pdf] [bib]
2020
Domain-Independent Planning Heuristics with Hypergraph Networks. Shen, W., Trevizan, F. and Thiébaux, S. In Proc. of 30th Int. Conf. on Automated Planning and Scheduling (ICAPS). 2020. [pdf] [bib] [code]
Optimal and Heuristic Approaches for Constrained Flight Planning under Weather Uncertainty. Geisser, F., Poveda, G., Trevizan, F., Bondouy, M., Teichteil-Königsbuch, F. and Thiébaux, S. In Proc. of 30th Int. Conf. on Automated Planning and Scheduling (ICAPS). 2020. [pdf] [bib]
ASNets: Deep Learning for Generalised Planning. Toyer, S., Thiébaux, S., Trevizan, F. and Xie, L. In Journal of Artificial Intelligence. 2020. [pdf] [bib] [code]
Mitigating the Impact of Light Rail on Urban Traffic Networks using Mixed Integer Linear Programming. Guilliard, I., Trevizan, F. and Sanner, S. In IET Intelligent Transport Systems. 2020. [pdf] [bib]
Learning Delete-Relaxation Heuristics over Hypergraphs. Shen, W., Trevizan, F. and Thiébaux, S. In Proc. of AAAI'20 Workshop on Generalization in Planning (GenPlan20). 2020. [pdf] [bib]
2019
Guiding Search with Generalized Policies for Probabilistic Planning. Shen, W., Trevizan, F., Toyer, S., Thiébaux, S. and Xie, L. In Proc. of 12th Annual Symp. on Combinatorial Search (SoCS). 2019. [pdf] [bib]
Guiding MCTS with Generalized Policies for Probabilistic Planning. Shen, W., Trevizan, F., Toyer, S., Thiébaux, S. and Xie, L. In Proc. of ICAPS'19 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP). 2019. [pdf] [bib]
2018
Heuristic Search Planning With Multi-Objective Probabilistic LTL Constraints. Baumgartner, P., Thiébaux, S. and Trevizan, F. In Proc. of 16th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR). 2018. [pdf] [bib]
Action Schema Networks: Generalised Policies with Deep Learning. Toyer, S., Trevizan, F., Thiébaux, S. and Xie, L. In Proc. of 32nd AAAI Conference on Artificial Intelligence. 2018. [pdf] [bib] [code]
Operator Counting Heuristics for Probabilistic Planning. Trevizan, F., Thiébaux, S. and Haslum, P. In Proc. of 27th Int. Joint Conf. on AI (IJCAI). 2018. (Sister Conference Best Paper Track) [pdf] [bib]
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). 2017. (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). 2017. [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). 2017. [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 26th Int. Joint Conf. on AI (IJCAI). 2017. (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). 2016. (Best Paper Award) [pdf] [bib]
Nonhomogeneous Time Mixed Integer Linear Programming 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. 2016. [pdf] [bib]
2015
Reachability-based Model Reduction for Markov Decision Process. Santos, F., Barros, L. N. and Trevizan, F. In Journal of the Brazilian Computer Society. 2015. [pdf] [bib]
2014
Depth-based Short-sighted Stochastic Shortest Path Problems. Trevizan, F. and Veloso, M. In Artificial Intelligence. 2014. [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). 2013. [pdf] [bib]
2012
Trajectory-Based Short-Sighted Probabilistic Planning. Trevizan, F. and Veloso, M. In Advances in Neural Information Processing Systems (NIPS). 2012. [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). 2012. [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. 2010. [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. 2008. [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 5th Int. Symposium On Imprecise Probability: Theories And Applications. 2007. [pdf] [bib]
Planning under Risk and Knightian Uncertainty. Trevizan, F., Cozman, F. G. and Barros, L. N. In Proc. of 20th Int. Joint Conf. on AI (IJCAI). 2007. [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 10th Ibero-American Conf. on AI (IBERAMIA) and 18th Brazilian AI Symposium (SBIA). 2006. (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. 2006. [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. 2006. [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 11th Conf. of the Spanish Association for Artificial Intelligence (CAEPIA). 2005. [pdf] [bib]
Robótica Cognitiva: uma aplicação de planejamento com informação incompleta. Trevizan, F. and Barros, L. N. In Proc. of 7th Simpósio Brasileiro de Automação Inteligente (SBAI). 2005. [pdf] [bib]
  • News and Highlights
    • Optimal Ranking: Guiding GBFS using a ranking between states learned from data (IJCAI'24).
    • i2-dual-det: New planner for finding deterministic policies for C-SSPs (ECAI'24).
    • GOOSE: First domain-independent method for learning heuristics based on lifted representations (AAAI'24).
    • CG-iLAO*: New planner for SSPs based on constraint generation (AAAI'24).
    • I was one of the organizers of GenPlan23 at NeurIPS.
    • First heuristic search algorithms for Multi-Objective Stochastic Planning (AAAI'23).
    • New admissible heuristics for Multi-Objective Deterministic Planning (ICAPS'22).
    • I gave an Early Career Researcher Spotlight talk at the IJCAI-20.
    • STRIPS-HGN: First algorithm capable of learning domain-independent heuristics from scratch (ICAPS'20).
    • ASNets: Learning generalized policies using neural nets (JAIR)