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).

[pdf] [bib]
@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},
}

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]
@inproceedings{toyer18:asnet,
author = {Toyer, S. and Trevizan, F. and Thi{\'e}baux, S. and Lexing, X.},
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},
}

Operator Counting Heuristics for Probabilistic Planning.

Trevizan, F., Thiébaux, S. and Haslum, P.
In

Proc. of the 27th Int. Joint Conf. on AI (IJCAI).
(Sister Conference Best Paper Track)

[pdf] [bib]
@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 the 27th Int. Joint Conf. on AI (IJCAI)},
year = {2018},
url = {http://felipe.trevizan.org/papers/trevizan18:short:hroc.pdf},
}

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]
@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},
}

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]
@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},
}

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]
@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},
}

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]
@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 the 26th Int. Joint Conf. on AI (IJCAI)},
year = {2017},
url = {http://felipe.trevizan.org/papers/trevizan17:short:idual.pdf},
}

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]
@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},
}

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.

(Kikuchi-Karlaftis Best Paper Award) [pdf] [bib] [**demo**]
@article{guilliard16:qtm,
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},
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},
}

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]
@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 = {1--5},
year = {2015},
url = {http://felipe.trevizan.org/papers/santos15:reachability.pdf},
}

Depth-based Short-sighted Stochastic Shortest Path Problems.

Trevizan, F. and Veloso, M.
In

Artificial Intelligence.

[pdf] [bib] [code]
@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},
}

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]
@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},
}

Trajectory-Based Short-Sighted Probabilistic Planning.

Trevizan, F. and Veloso, M.
In

In Advances in Neural Information Processing Systems (NIPS).

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

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]
@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},
}

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]
@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},
}

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]
@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},
}

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]
@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 the 5th Int. Symposium On Imprecise Probability: Theories And Applications},
year = {2007},
url = {http://felipe.trevizan.org/papers/shirota07:mdpip.pdf},
}

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]
@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 the 20th Int. Joint Conf. on AI (IJCAI)},
year = {2007},
url = {http://felipe.trevizan.org/papers/trevizan07:mdpst.pdf},
}

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]
@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 the 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},
}

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]
@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},
year = {2006},
url = {http://felipe.trevizan.org/papers/trevizan06:rcCA.pdf},
}

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]
@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},
}

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]
@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 the 11th Conf. of the Spanish Association for Artificial Intelligence (CAEPIA)},
year = {2005},
url = {http://felipe.trevizan.org/papers/trevizan05:lowCostRC.pdf},
}

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]
@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 the 7th Simp{\'o}sio Brasileiro de Automa{\c{c}}{\~a}o Inteligente (SBAI)},
year = {2005},
url = {http://felipe.trevizan.org/papers/trevizan05:rcSbai.pdf},
}