@article{schmalz26:efficient,
  author = {Schmalz, J.* and Trevizan, F.},
  title = {{E}fficient {C}onstraint {G}eneration for {S}tochastic {S}hortest {P}ath {P}roblems},
  journal = {Journal of Artificial Intelligence},
  volume = {354},
  pages = {104505},
  year = {2026},
  doi = {https://doi.org/10.1016/j.artint.2026.104505},
  url = {http://felipe.trevizan.org/papers/schmalz26:efficient.pdf},
}

@inproceedings{schmalz25:scalarization,
  author = {Schmalz, J.* and Trevizan, F.},
  title = {{S}olving {C}onstrained {S}tochastic {S}hortest {P}ath {P}roblems with {S}calarisation},
  booktitle = {Proc. of 28th European Conference on Artificial Intelligence (ECAI)},
  year = {2025},
  url = {http://felipe.trevizan.org/papers/schmalz25:scalarization.pdf},
}

@inproceedings{hao25:featureselection,
  author = {Hao, M.* and Chen, D. and Trevizan, F. and Thi{\'e}baux, S.},
  title = {{E}ffective {D}ata {G}eneration and {F}eature {S}election in {L}earning for {P}lanning},
  booktitle = {Proc. of 28th European Conference on Artificial Intelligence (ECAI)},
  year = {2025},
  url = {http://felipe.trevizan.org/papers/hao25:featureselection.pdf},
}

@inproceedings{wang25:partialspace,
  author = {Wang, R. X.* and Trevizan, F.},
  title = {{L}everaging {A}ction {R}elational {S}tructures for {I}ntegrated {L}earning and {P}lanning},
  booktitle = {Proc. of 35th Int. Conf. on Automated Planning and Scheduling (ICAPS)},
  year = {2025},
  url = {http://felipe.trevizan.org/papers/wang25:partialspace.pdf},
}

@inproceedings{bai25:symmetries,
  author = {Bai, Y. and Thi{\'e}baux, S. and Trevizan, F.},
  title = {{L}earning {E}fficiency {M}eets {S}ymmetry {B}reaking},
  booktitle = {Proc. of 35th Int. Conf. on Automated Planning and Scheduling (ICAPS)},
  year = {2025},
  url = {http://felipe.trevizan.org/papers/bai25:symmetries.pdf},
}

@inproceedings{chen25:ws:graphlearning,
  author = {Chen, D.* and Hao, M.* and Thi{\'e}baux, S. and Trevizan, F.},
  title = {{G}raph {L}earning for {P}lanning: {T}he {S}tory {T}hus {F}ar and {O}pen {C}hallenges},
  booktitle = {Proc. of AAAI'25 Workshop on Generalization in Planning (GenPlan25)},
  year = {2025},
  url = {http://felipe.trevizan.org/papers/chen25:ws:graphlearning.pdf},
}

@inproceedings{schmalz24:detpolicies,
  author = {Schmalz, J.* and Trevizan, F.},
  title = {{F}inding {O}ptimal {D}eterministic {P}olicies for {C}onstrained {S}tochastic {S}hortest {P}ath {P}roblems},
  booktitle = {Proc. of 27th European Conference on Artificial Intelligence (ECAI)},
  year = {2024},
  url = {http://felipe.trevizan.org/papers/schmalz24:detpolicies.pdf},
}

@inproceedings{hao24:ranking,
  author = {Hao, M.* and Trevizan, F. and Thi{\'e}baux, S. and Ferber, P. and Hoffmann, J.},
  title = {{G}uiding {GBFS} through {L}earned {P}airwise {R}ankings},
  booktitle = {Proc. of 33rd Int. Joint Conf. on AI (IJCAI)},
  year = {2024},
  url = {http://felipe.trevizan.org/papers/hao24:ranking.pdf},
}

@inproceedings{chen24:wlkernel,
  author = {Chen, D.* and Trevizan, F. and Thi{\'e}baux, S.},
  title = {{R}eturn to {T}radition: {L}earning {R}eliable {H}euristics with {C}lassical {M}achine {L}earning},
  booktitle = {Proc. of 34th Int. Conf. on Automated Planning and Scheduling (ICAPS)},
  year = {2024},
  url = {http://felipe.trevizan.org/papers/chen24:wlkernel.pdf},
}

@inproceedings{chen24:goose,
  author = {Chen, D.* and Thi{\'e}baux, S. and Trevizan, F.},
  title = {{L}earning {D}omain-{I}ndependent {H}euristics for {G}rounded and {L}ifted {P}lanning},
  booktitle = {Proc. of 38th AAAI Conference on Artificial Intelligence},
  year = {2024},
  url = {http://felipe.trevizan.org/papers/chen24:goose.pdf},
}

@inproceedings{schmalz24:cgilao,
  author = {Schmalz, J.* and Trevizan, F.},
  title = {{E}fficient {C}onstraint {G}eneration for {S}tochastic {S}hortest {P}ath {P}roblems},
  booktitle = {Proc. of 38th AAAI Conference on Artificial Intelligence},
  year = {2024},
  url = {http://felipe.trevizan.org/papers/schmalz24:cgilao.pdf},
}

@inproceedings{chen23:mossp,
  author = {Chen, D.* and Trevizan, F. and Thi{\'e}baux, S.},
  title = {{H}euristic {S}earch for {M}ulti-{O}bjective {P}robabilistic {P}lanning},
  booktitle = {Proc. of 37th AAAI Conference on Artificial Intelligence},
  year = {2023},
  url = {http://felipe.trevizan.org/papers/chen23:mossp.pdf},
}

@inproceedings{chen23:ws:kernel,
  author = {Chen, D.* and Trevizan, F. and Thi{\'e}baux, S.},
  title = {{G}raph {N}eural {N}etworks and {G}raph {K}ernels {F}or {L}earning {H}euristics: {I}s there a difference?},
  booktitle = {Proc. of NeurIPS'23 Workshop on Generalization in Planning (GenPlan23)},
  year = {2023},
  url = {http://felipe.trevizan.org/papers/chen23:ws:kernel.pdf},
}

@inproceedings{chen23:ws:goose,
  author = {Chen, D.* and Thi{\'e}baux, S. and Trevizan, F.},
  title = {{GOOSE}: {L}earning {D}omain-{I}ndependent {H}euristics},
  booktitle = {Proc. of NeurIPS'23 Workshop on Generalization in Planning (GenPlan23)},
  year = {2023},
  url = {http://felipe.trevizan.org/papers/chen23:ws:goose.pdf},
}

@inproceedings{geisser22:moheuristics,
  author = {Geisser, F. and Haslum, P. and Thi{\'e}baux, S. and Trevizan, F.},
  title = {{A}dmissible {H}euristics for {M}ulti-{O}bjective {P}lanning},
  booktitle = {Proc. of 32nd Int. Conf. on Automated Planning and Scheduling (ICAPS)},
  year = {2022},
  url = {http://felipe.trevizan.org/papers/geisser22:moheuristics.pdf},
}

@inproceedings{ferber22:nnheuristics,
  author = {Ferber, P. and Geisser, F. and Trevizan, F. and Helmert, M. and Hoffmann, J.},
  title = {{N}eural {N}etwork {H}euristic {F}unctions for {C}lassical {P}lanning: {B}ootstrapping and {C}omparison to {O}ther {M}ethods},
  booktitle = {Proc. of 32nd Int. Conf. on Automated Planning and Scheduling (ICAPS)},
  year = {2022},
  url = {http://felipe.trevizan.org/papers/ferber22:nnheuristics.pdf},
}

@inproceedings{mallet21:pltlheuristics,
  author = {Mallet, I.* and Thi{\'e}baux, S. and Trevizan, F.},
  title = {{P}rogression {H}euristics for {P}lanning with {P}robabilistic {LTL} {C}onstraints},
  booktitle = {Proc. of 35th AAAI Conference on Artificial Intelligence},
  year = {2021},
  url = {http://felipe.trevizan.org/papers/mallet21:pltlheuristics.pdf},
}

@inproceedings{ferber21:nnheuristics,
  author = {Ferber, P. and Geisser, F. and Trevizan, F. and Helmert, M. and Hoffmann, J.},
  title = {{N}eural {N}etwork {H}euristic {F}unctions for {C}lassical {P}lanning: {R}einforcement {L}earning and {C}omparison to {O}ther {M}ethods},
  booktitle = {Proc. of ICAPS'21 Workshop on Planning and Reinforcement Learning (PRL21)},
  year = {2021},
  url = {http://felipe.trevizan.org/papers/ferber21:nnheuristics.pdf},
}

@inproceedings{mallet21:sm2mp,
  author = {Mallet, I.* and Hoerger, M. and Gupta, S. and Jayalath, N. and Trevizan, F. and Hunt, A. and Kurniawati, H. and Guettier, C.},
  title = {{SM}2{P}: {T}owards a {R}obust {C}o-{P}ilot {S}ystem for {H}elicopter {EMS}},
  booktitle = {Proc. of ICAPS'21 Workshop on Planning and Robotics (PlanRob21)},
  year = {2021},
  url = {http://felipe.trevizan.org/papers/mallet21:sm2mp.pdf},
}

@inproceedings{shen20:stripshgn,
  author = {Shen, W.* and Trevizan, F. and Thi{\'e}baux, S.},
  title = {{L}earning {D}omain-{I}ndependent {P}lanning {H}euristics with {H}ypergraph {N}etworks},
  booktitle = {Proc. of 30th Int. Conf. on Automated Planning and Scheduling (ICAPS)},
  year = {2020},
  url = {http://felipe.trevizan.org/papers/shen20:stripshgn.pdf},
}

@inproceedings{geisser20:flight,
  author = {Geisser, F. and Poveda, G. and Trevizan, F. and Bondouy, M. and Teichteil-K{\"o}nigsbuch, F. and Thi{\'e}baux, S.},
  title = {{O}ptimal and {H}euristic {A}pproaches for {C}onstrained {F}light {P}lanning under {W}eather {U}ncertainty},
  booktitle = {Proc. of 30th Int. Conf. on Automated Planning and Scheduling (ICAPS)},
  year = {2020},
  url = {http://felipe.trevizan.org/papers/geisser20:flight.pdf},
}

@article{toyer20:asnetJair,
  author = {Toyer, S.* and Thi{\'e}baux, S. and Trevizan, F. and Xie, L.},
  title = {{ASN}ets: {D}eep {L}earning for {G}eneralised {P}lanning},
  journal = {Journal of Artificial Intelligence},
  volume = {68},
  pages = {1--68},
  year = {2020},
  url = {http://felipe.trevizan.org/papers/toyer20:asnetJair.pdf},
}

@article{guilliard20:lightrail,
  author = {Guilliard, I.* and Trevizan, F. and Sanner, S.},
  title = {{M}itigating the {I}mpact of {L}ight {R}ail on {U}rban {T}raffic {N}etworks using {M}ixed {I}nteger {L}inear {P}rogramming},
  journal = {IET Intelligent Transport Systems},
  volume = {14},
  issue = {6},
  pages = {523--533},
  year = {2020},
  url = {http://felipe.trevizan.org/papers/guilliard20:lightrail.pdf},
}

@inproceedings{shen20:genplan,
  author = {Shen, W.* and Trevizan, F. and Thi{\'e}baux, S.},
  title = {{L}earning {D}elete-{R}elaxation {H}euristics over {H}ypergraphs},
  booktitle = {Proc. of AAAI'20 Workshop on Generalization in Planning (GenPlan20)},
  year = {2020},
  url = {http://felipe.trevizan.org/papers/shen20:genplan.pdf},
}

@inproceedings{shen19b:guiding,
  author = {Shen, W.* and Trevizan, F. and Toyer, S. and Thi{\'e}baux, S. and Xie, L.},
  title = {{G}uiding {S}earch with {G}eneralized {P}olicies for {P}robabilistic {P}lanning},
  booktitle = {Proc. of 12th Annual Symp. on Combinatorial Search (SoCS)},
  year = {2019},
  url = {http://felipe.trevizan.org/papers/shen19b:guiding.pdf},
}

@inproceedings{shen19a:guiding,
  author = {Shen, W.* and Trevizan, F. and Toyer, S. and Thi{\'e}baux, S. and Xie, L.},
  title = {{G}uiding {MCTS} with {G}eneralized {P}olicies for {P}robabilistic {P}lanning},
  booktitle = {Proc. of ICAPS'19 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP)},
  year = {2019},
  url = {http://felipe.trevizan.org/papers/shen19a:guiding.pdf},
}

@inproceedings{baumgartner18:pltldual,
  author = {Baumgartner, P. and Thi{\'e}baux, S. and Trevizan, F.},
  title = {{H}euristic {S}earch {P}lanning {W}ith {M}ulti-{O}bjective {P}robabilistic {LTL} {C}onstraints},
  booktitle = {Proc. of 16th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR)},
  year = {2018},
  url = {http://felipe.trevizan.org/papers/baumgartner18:pltldual.pdf},
}

@inproceedings{toyer18:asnet,
  author = {Toyer, S.* and Trevizan, F. and Thi{\'e}baux, S. and Xie, L.},
  title = {{A}ction {S}chema {N}etworks: {G}eneralised {P}olicies with {D}eep {L}earning},
  booktitle = {Proc. of 32nd AAAI Conference on Artificial Intelligence},
  year = {2018},
  url = {http://felipe.trevizan.org/papers/toyer18:asnet.pdf},
}

@inproceedings{trevizan18:short:hroc,
  author = {Trevizan, F. and Thi{\'e}baux, S. and Haslum, P.},
  title = {{O}perator {C}ounting {H}euristics for {P}robabilistic {P}lanning},
  booktitle = {Proc. of 27th Int. Joint Conf. on AI (IJCAI)},
  year = {2018},
  url = {http://felipe.trevizan.org/papers/trevizan18:short:hroc.pdf},
}

@inproceedings{trevizan17:hpom,
  author = {Trevizan, F. and Thi{\'e}baux, S. and Haslum, P.},
  title = {{O}ccupation {M}easure {H}euristics for {P}robabilistic {P}lanning},
  booktitle = {Proc. of 27th Int. Conf. on Automated Planning and Scheduling (ICAPS)},
  year = {2017},
  url = {http://felipe.trevizan.org/papers/trevizan17:hpom.pdf},
}

@inproceedings{trevizan17:mcmp,
  author = {Trevizan, F. and Teichteil-K{\"o}nigsbuch, F. and Thi{\'e}baux, S.},
  title = {{E}fficient {S}olutions for {S}tochastic {S}hortest {P}ath {P}roblems with {D}ead {E}nds},
  booktitle = {Proc. of 33rd Int. Conf. on Uncertainty in Artificial Intelligence (UAI)},
  year = {2017},
  url = {http://felipe.trevizan.org/papers/trevizan17:mcmp.pdf},
}

@inproceedings{baumgartner17:pctls,
  author = {Baumgartner, P. and Thi{\'e}baux, S. and Trevizan, F.},
  title = {{T}ableaux for {P}olicy {S}ynthesis for {MDP}s with {PCTL}* {C}onstraints},
  booktitle = {Proc. of 26th Int. Conf. on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)},
  year = {2017},
  url = {http://felipe.trevizan.org/papers/baumgartner17:pctls.pdf},
}

@inproceedings{trevizan17:short:idual,
  author = {Trevizan, F. and Thi{\'e}baux, S. and Santana, P. and Williams, B.},
  title = {{I}-dual: {S}olving {C}onstrained {SSP}s via {H}euristic {S}earch in the {D}ual {S}pace},
  booktitle = {Proc. of 26th Int. Joint Conf. on AI (IJCAI)},
  year = {2017},
  url = {http://felipe.trevizan.org/papers/trevizan17:short:idual.pdf},
}

@inproceedings{trevizan16:idual,
  author = {Trevizan, F. and Thi{\'e}baux, S. and Santana, P. and Williams, B.},
  title = {{H}euristic {S}earch in {D}ual {S}pace for {C}onstrained {S}tochastic {S}hortest {P}ath {P}roblems},
  booktitle = {Proc. of 26th Int. Conf. on Automated Planning and Scheduling (ICAPS)},
  year = {2016},
  url = {http://felipe.trevizan.org/papers/trevizan16:idual.pdf},
}

@article{guilliard16:qtm,
  author = {Guilliard, I.* and Sanner, S. and Trevizan, F. and Williams, B.},
  title = {{N}onhomogeneous {T}ime {M}ixed {I}nteger {L}inear {P}rogramming {F}ormulation for {T}raffic {S}ignal {C}ontrol},
  journal = {Transport Research Record (TRR): Journal of the Transport Research Board},
  number = {2595},
  pages = {128--138},
  year = {2016},
  url = {http://felipe.trevizan.org/papers/guilliard16:qtm.pdf},
}

@inproceedings{guilliard16:trb,
  author = {Guilliard, I.* and Sanner, S. and Trevizan, F. and Williams, B.},
  title = {{A} {N}on-homogeneous {T}ime {M}ixed {I}nteger {LP} {F}ormulation for {T}raffic {S}ignal {C}ontrol},
  booktitle = {95th Annual Meeting of the Transportation Research Board (TRB)},
  year = {2016},
  url = {http://felipe.trevizan.org/papers/guilliard16:trb.pdf},
}

@article{santos15:reachability,
  author = {Santos, F. and Barros, L. N. and Trevizan, F.},
  title = {{R}eachability-based {M}odel {R}eduction for {M}arkov {D}ecision {P}rocess},
  journal = {Journal of the Brazilian Computer Society},
  volume = {1265},
  pages = {5--21},
  year = {2015},
  url = {http://felipe.trevizan.org/papers/santos15:reachability.pdf},
}

@article{trevizan14:depth,
  author = {Trevizan, F. and Veloso, M.},
  title = {{D}epth-based {S}hort-sighted {S}tochastic {S}hortest {P}ath {P}roblems},
  journal = {Artificial Intelligence},
  volume = {216},
  pages = {179--205},
  issn = {0004-3702},
  year = {2014},
  doi = {http://dx.doi.org/10.1016/j.artint.2014.07.001},
  url = {http://felipe.trevizan.org/papers/trevizan14:depth.pdf},
}

@inproceedings{trevizan13:finding,
  author = {Trevizan, F. and Veloso, M.},
  title = {{F}inding {O}bjects through {S}tochastic {S}hortest {P}ath {P}roblems},
  booktitle = {Proc. of 12nd Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS)},
  year = {2013},
  url = {http://felipe.trevizan.org/papers/trevizan13:finding.pdf},
}

@inproceedings{trevizan12:trajectory,
  author = {Trevizan, F. and Veloso, M.},
  title = {{T}rajectory-{B}ased {S}hort-{S}ighted {P}robabilistic {P}lanning},
  booktitle = {Advances in Neural Information Processing Systems (NIPS)},
  year = {2012},
  url = {http://felipe.trevizan.org/papers/trevizan12:trajectory.pdf},
}

@inproceedings{trevizan12:ssipp,
  author = {Trevizan, F. and Veloso, M.},
  title = {{S}hort-{S}ighted {S}tochastic {S}hortest {P}ath {P}roblems},
  booktitle = {Proc. of 22nd Int. Conf. on Automated Planning and Scheduling (ICAPS)},
  year = {2012},
  url = {http://felipe.trevizan.org/papers/trevizan12:ssipp.pdf},
}

@inproceedings{trevizan10:robocup,
  author = {Trevizan, F. and Veloso, M.},
  title = {{L}earning {O}pponent's {S}trategies in the {R}obo{C}up {S}mall-{S}ize {L}eague},
  booktitle = {Proc. of AAMAS'10 Workshop on Agents in Real-time and Dynamic Environments},
  year = {2010},
  url = {http://felipe.trevizan.org/papers/trevizan10:robocup.pdf},
}

@inproceedings{trevizan08:pdl,
  author = {Trevizan, F. and Cozman, F. G. and Barros, L. N.},
  title = {{M}ixed {P}robabilistic and {N}ondeterministic {F}actored {P}lanning through {M}arkov {D}ecision {P}rocesses with {S}et-valued {T}ransitions},
  booktitle = {Proc. of ICAPS'08 Workshop on A Reality Check for Planning and Scheduling Under Uncertainty},
  year = {2008},
  url = {http://felipe.trevizan.org/papers/trevizan08:pdl.pdf},
}

@inproceedings{shirota07:mdpip,
  author = {Shirota Filho, R. and Cozman, F. G. and Trevizan, F. and de Campos, C. P. and Barros, L. N.},
  title = {{M}ultilinear and {I}nteger {P}rogramming for {M}arkov {D}ecision {P}rocesses with {I}mprecise {P}robabilities},
  booktitle = {Proc. of 5th Int. Symposium On Imprecise Probability: Theories And Applications},
  year = {2007},
  url = {http://felipe.trevizan.org/papers/shirota07:mdpip.pdf},
}

@inproceedings{trevizan07:mdpst,
  author = {Trevizan, F. and Cozman, F. G. and Barros, L. N.},
  title = {{P}lanning under {R}isk and {K}nightian {U}ncertainty},
  booktitle = {Proc. of 20th Int. Joint Conf. on AI (IJCAI)},
  year = {2007},
  url = {http://felipe.trevizan.org/papers/trevizan07:mdpst.pdf},
}

@inproceedings{trevizan06:unifying,
  author = {Trevizan, F. and Cozman, F. G. and Barros, L. N.},
  title = {{U}nifying {N}ondeterministic and {P}robabilistic {P}lanning through {I}mprecise {M}arkov {D}ecision {P}rocesses},
  booktitle = {Proc. of 10th Ibero-American Conf. on AI (IBERAMIA) and 18th Brazilian AI Symposium (SBIA)},
  year = {2006},
  doi = {http://dx.doi.org/10.1007/11874850_54},
  url = {http://felipe.trevizan.org/papers/trevizan06:unifying.pdf},
}

@article{trevizan06:rcCA,
  author = {Trevizan, F. and Barros, L. N.},
  title = {{R}ob{\'o}tica {C}ognitiva: programa{\c{c}}{\~a}o baseada em l{\'o}gica para controle de rob{\^o}s},
  journal = {Controle {\&} Automa{\c{c}}{\~a}o},
  volume = {18},
  issue = {2},
  pages = {187--198},
  year = {2006},
  url = {http://felipe.trevizan.org/papers/trevizan06:rcCA.pdf},
}

@article{trevizan06:designing,
  author = {Trevizan, F. and Barros, L. N. and Correa da Silva, F. S.},
  title = {{D}esigning {L}ogic-based {R}obots},
  journal = {Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial},
  volume = {10},
  number = {31},
  pages = {11--22},
  year = {2006},
  url = {http://felipe.trevizan.org/papers/trevizan06:designing.pdf},
}

@inproceedings{trevizan05:lowCostRC,
  author = {Trevizan, F. and Barros, L. N. and Correa da Silva, F. S.},
  title = {{L}ow {C}ost {E}xperiments in {C}ognitive {R}obotics for {P}lanning in {H}ostile {E}nvironments with {I}ncomplete {I}nformation},
  booktitle = {Proc. of 11th Conf. of the Spanish Association for Artificial Intelligence (CAEPIA)},
  year = {2005},
  url = {http://felipe.trevizan.org/papers/trevizan05:lowCostRC.pdf},
}

@inproceedings{trevizan05:rcSbai,
  author = {Trevizan, F. and Barros, L. N.},
  title = {{R}ob{\'o}tica {C}ognitiva: uma aplica{\c{c}}{\~a}o de planejamento com informa{\c{c}}{\~a}o incompleta},
  booktitle = {Proc. of 7th Simp{\'o}sio Brasileiro de Automa{\c{c}}{\~a}o Inteligente (SBAI)},
  year = {2005},
  url = {http://felipe.trevizan.org/papers/trevizan05:rcSbai.pdf},
}