Sheila A. McIlraith
17 papers · 2013–2026 · 5 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+9 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (23) π Conference Polyglot Β· Silver π Academic Marathon Β· Half π Interdisciplinary Bridge Β· Silver π£ Hot Topic Early Bird
π¬
Deep Specialist
(12)
π
Grand Slam
π
Keyword Champion
(2)
π
Renaissance Researcher
(5)
π
Trend Setter
π
Conference Pioneer
π₯
Unstoppable Β· Bronze
ποΈ
Keyword Collector
(80)
π
Century Club Β· Bronze
Venues
Top co-authors
Research topics
Artificial Intelligence
(13)
Core AI
(13)
Knowledge & Reasoning
(7)
Reasoning
(7)
Reinforcement Learning
(4)
Methods
(4)
Machine Learning
(3)
Computer Science
(2)
Core Methods
(2)
Foundations
(2)
Learning Paradigms
(2)
Deep Learning
(1)
Mathematics & Optimization
(1)
Learning Types
(1)
Optimization
(1)
Keywords
linear temporal logic
(4)
automated planning
(3)
sample efficiency
(3)
reinforcement learning
(3)
heuristic search
(2)
plan synthesis
(2)
non-deterministic planning
(2)
symbolic planning
(2)
reward machine
(2)
program synthesis
(2)
classical planning
(2)
ai safety
(1)
game theory
(1)
task generalization
(1)
instruction following
(1)
multi-task learning
(1)
representation learning
(1)
discrete optimization
(1)
fairness
(1)
belief state
(1)
Papers
Satisficing and Optimal Generalised Planning via Goal Regression
AAAI 2026
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
Reward Machines for Deep RL in Noisy and Uncertain Environments
NeurIPS 2024
Learning Belief Representations for Partially Observable Deep RL
ICML 2023
Planning to Avoid Side Effects
AAAI 2022
Interpretable Sequence Classification via Discrete Optimization
AAAI 2021
LTL2Action: Generalizing LTL Instructions for Multi-Task RL
ICML 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
LTL and Beyond: Formal Languages for Reward Function Specification in Reinforcement Learning
IJCAI 2019
Strong Fully Observable Non-Deterministic Planning with LTL and LTLf Goals
IJCAI 2019
LTL Realizability via Safety and Reachability Games
IJCAI 2018
SynKit: LTL Synthesis as a Service
IJCAI 2018
Numeric Planning via Abstraction and Policy Guided Search
IJCAI 2017
Flexible Execution of Partial Order Plans with Temporal Constraints
IJCAI 2013