Sheila A. McIlraith

5 papers in the IJCAI proceedings

IJCAI 2019

LTL and Beyond: Formal Languages for Reward Function Specification in Reinforcement Learning

with Alberto Camacho, Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Valenzano

doi:10.24963/ijcai.2019/840

Details PDF

Strong Fully Observable Non-Deterministic Planning with LTL and LTLf Goals

with Alberto Camacho

doi:10.24963/ijcai.2019/767

Details PDF

IJCAI 2018

LTL Realizability via Safety and Reachability Games

with Alberto Camacho, Christian Muise, Jorge A. Baier

doi:10.24963/ijcai.2018/651

Details PDF

SynKit: LTL Synthesis as a Service

with Alberto Camacho, Christian Muise, Jorge A. Baier

doi:10.24963/ijcai.2018/848

Details PDF

IJCAI 2017

Numeric Planning via Abstraction and Policy Guided Search

with León Illanes

doi:10.24963/ijcai.2017/606

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings