Sheila A. McIlraith
17 papers · 2013–2026 · 5 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+11 more ↓ Show less ↑
π Academic Marathon (11) π§ Keyword Pioneer π Interdisciplinary Bridge π Conference Polyglot (5) π Cross-Pollinator (3)
π
Cross-Pollinator
(3)
π
Renaissance Researcher
(7)
πΊοΈ
Taxonomy Completionist
(22)
π
Keyword Champion
(2)
π¬
Deep Specialist
(11)
π
Grand Slam
π
Century Club
(16)
π₯
Unstoppable
(8)
π
Trend Setter
ποΈ
Keyword Collector
(71)
π
Conference Pioneer
Conferences
AAAI (6)
IJCAI (6)
ICML (3)
ICLR (1)
NIPS (1)
Top co-authors
Keywords
linear temporal logic
(4)
automated planning
(3)
sample efficiency
(3)
heuristic search
(2)
reward machine
(2)
reinforcement learning
(2)
symbolic planning
(2)
classical planning
(2)
plan synthesis
(2)
program synthesis
(2)
game theory
(1)
ai safety
(1)
automated reasoning
(1)
sequence classification
(1)
multi-task learning
(1)
representation learning
(1)
task generalization
(1)
action selection
(1)
instruction following
(1)
partially observable markov decision process
(1)
Papers
Satisficing and Optimal Generalised Planning via Goal Regression
AAAI 2026
Reward Machines for Deep RL in Noisy and Uncertain Environments
NIPS 2024
PRP Rebooted: Advancing the State of the Art in FOND Planning
AAAI 2024
Remembering to Be Fair: Non-Markovian Fairness in Sequential Decision Making
ICML 2024
Learning Belief Representations for Partially Observable Deep RL
ICML 2023
Planning to Avoid Side Effects
AAAI 2022
LTL2Action: Generalizing LTL Instructions for Multi-Task RL
ICML 2021
Interpretable Sequence Classification via Discrete Optimization
AAAI 2021
Planning from Pixels using Inverse Dynamics Models
ICLR 2021
Active Goal Recognition
AAAI 2020
Generalized Planning via Abstraction: Arbitrary Numbers of Objects
AAAI 2019
Strong Fully Observable Non-Deterministic Planning with LTL and LTLf Goals
IJCAI 2019
LTL and Beyond: Formal Languages for Reward Function Specification in Reinforcement Learning
IJCAI 2019
SynKit: LTL Synthesis as a Service
IJCAI 2018
LTL Realizability via Safety and Reachability Games
IJCAI 2018
Numeric Planning via Abstraction and Policy Guided Search
IJCAI 2017
Flexible Execution of Partial Order Plans with Temporal Constraints
IJCAI 2013