Sebastian Junges

Assistant Professor, Radboud University

Joined

March 2018

Names

Sebastian Junges

Emails

****@cs.rwth-aachen.de (Confirmed)

****@informatik.rwth-aachen.de (Confirmed)

****@cs.ru.nl (Confirmed)

****@ru.nl (Confirmed)

Personal Links

Career & Education History

Assistant Professor

Radboud University (ru.nl)

2021 – Present

Postdoc

University of California, Berkeley (berkeley.edu)

2020 – 2021

PhD student

Rheinisch Westfälische Technische Hochschule Aachen (rwth-aachen.de)

2015 – 2020

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

Robust Finite-Memory Policy Gradients for Hidden-Model POMDPs
Maris F. L. Galesloot, Roman Andriushchenko, Milan Ceska, Sebastian Junges, Nils Jansen
- EWRL 2025 Poster
- Readers: Everyone
Symbiotic Local Search for Small Decision Tree Policies in MDPs
Roman Andriushchenko, Milan Ceska, Debraj Chakraborty, Sebastian Junges, Jan Kretinsky, Filip Macák
- UAI 2025 Poster
- Readers: Everyone
Learning Formal Specifications from Membership and Preference Queries
Ameesh Shah, Marcell Vazquez-Chanlatte, Sebastian Junges, Sanjit A. Seshia
- MFPL Poster
- Readers: Everyone
Inductive Synthesis of Finite-State Controllers for POMDPs
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen
- Published: 20 May 2022, Last Modified: 05 May 2023
- UAI 2022 Poster
- Readers: Everyone
Gradient-Descent for Randomized Controllers Under Partial Observability
Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen
- 2022 (modified: 14 Mar 2022)
- VMCAI 2022
- Readers: Everyone
Robust Finite-State Controllers for Uncertain POMDPs
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ahmadreza Marandi, Marnix Suilen, Ufuk Topcu
- 2021 (modified: 14 Mar 2022)
- AAAI 2021
- Readers: Everyone
Entropy-Guided Control Improvisation
Marcell Vazquez-Chanlatte, Sebastian Junges, Daniel J. Fremont, Sanjit Seshia
- 2021 (modified: 14 Mar 2022)
- Robotics: Science and Systems 2021
- Readers: Everyone
Enforcing Almost-Sure Reachability in POMDPs
Sebastian Junges, Nils Jansen, Sanjit A. Seshia
- 2021 (modified: 14 Mar 2022)
- CAV (2) 2021
- Readers: Everyone
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker
- 2021 (modified: 14 Mar 2022)
- IEEE Trans. Autom. Control. 2021
- Readers: Everyone
The complexity of reachability in parametric Markov decision processes
Sebastian Junges, Joost-Pieter Katoen, Guillermo A. Pérez, Tobias Winkler
- 2021 (modified: 14 Mar 2022)
- J. Comput. Syst. Sci. 2021
- Readers: Everyone

View all 93 publications

Co-Authors

View all 75 co-authors