Sven Schewe
8 papers · 2020–2026 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+5 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (24) π Interdisciplinary Bridge π§ Keyword Pioneer π Conference Polyglot (4) π Academic Marathon (5)
π
Cross-Pollinator
(13)
π
Renaissance Researcher
(7)
π
Keyword Champion
(2)
ποΈ
Keyword Collector
(50)
β
The Questioner
Conferences
IJCAI (3)
AAAI (2)
NIPS (2)
CVPR (1)
Top co-authors
Keywords
automata learning
(2)
markov decision process
(2)
probabilistic modeling
(1)
probabilistic planning
(1)
discounted reward
(1)
dynamic programming
(1)
optimal policy
(1)
temporal logic
(1)
lexicographic optimization
(1)
second-order optimization
(1)
second-order statistics
(1)
hidden markov model
(1)
generalization bound
(1)
recursive neural network
(1)
adversarial training
(1)
neural network robustness
(1)
complexity measure
(1)
policy synthesis
(1)
robust optimization
(1)
reinforcement learning
(1)
Papers
Good-for-MDP State Reduction for Stochastic LTL Planning
AAAI 2026
Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives
IJCAI 2025
Angluin-Style Learning of Deterministic BΓΌchi and Co-BΓΌchi Automata
IJCAI 2024
Omega-Regular Decision Processes
AAAI 2024
Hidden 1-Counter Markov Models and How to Learn Them
IJCAI 2022
Recursive Reinforcement Learning
NIPS 2022
Enhancing Adversarial Training With Second-Order Statistics of Weights
CVPR 2022
How does Weight Correlation Affect Generalisation Ability of Deep Neural Networks?
NIPS 2020