Sebastian Junges
University of California, Berkeley
H-index: 26
North America-United States
Top articles of Sebastian Junges
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Tools at the frontiers of quantitative verification: QComp 2023 competition report | R Andriushchenko A Bork CE Budde M Češka K Grover | 2024 | |
Scalable Analysis of Probabilistic Models and Programs (Dagstuhl Seminar 23241) | Sebastian Junges Joost-Pieter Katoen Scott Sanner Guy Van den Broeck Bahare Salmani | 2024 | |
Small Test Suites for Active Automata Learning | Loes Kruger Sebastian Junges Jurriaan Rot | 2024 | |
CTMCs with Imprecisely Timed Observations | Thom Badings Matthias Volk Sebastian Junges Marielle Stoelinga Nils Jansen | 2024/4/5 | |
Parameter synthesis for Markov models: covering the parameter space | Formal Methods in System Design | Sebastian Junges Erika Ábrahám Christian Hensel Nils Jansen Joost-Pieter Katoen | 2024/2/17 |
Factored Online Planning in Many-Agent POMDPs | AAAI | Maris FL Galesloot Thiago D Simao Sebastian Junges Nils Jansen | 2024 |
Pareto Curves for Compositionally Model Checking String Diagrams of MDPs: Supplemental Material | Kazuki Watanabe Marck van der Vegt Ichiro Hasuo Jurriaan Rot Sebastian Junges | 2024 | |
Learning Formal Specifications from Membership and Preference Queries | arXiv preprint arXiv:2307.10434 | Ameesh Shah Marcell Vazquez-Chanlatte Sebastian Junges Sanjit A Seshia | 2023/7/19 |
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants | Kevin Batz Mingshuai Chen Sebastian Junges Benjamin Lucien Kaminski Joost-Pieter Katoen | 2023 | |
Efficient Sensitivity Analysis for Parametric Robust Markov Chains | Thom Badings Sebastian Junges Ahmadreza Marandi Ufuk Topcu Nils Jansen | 2023/7/17 | |
Robust Almost-Sure Reachability in Multi-Environment MDPs | TACAS | Marck van der Vegt Nils Jansen Sebastian Junges | 2023 |
Search and Explore: Symbiotic Policy Synthesis in POMDPs | Roman Andriushchenko Alexander Bork Milan Češka Sebastian Junges Joost-Pieter Katoen | 2023 | |
Recursive Small-Step Multi-Agent A* for Dec-POMDPs | Wietze Koops Nils Jansen Sebastian Junges Thiago D Simao | 2023 | |
A Practitioner's Guide to MDP Model Checking Algorithms | A Hartmanns S Junges T Quatmann M Weininger | 2023 | |
Abstraction-Refinement for Hierarchical Probabilistic Models | Sebastian Junges Matthijs TJ Spaan | 2022/8/7 | |
Gradient-Descent for Randomized Controllers under Partial Observability | Linus Heck Jip Spel Sebastian Junges Joshua Moerman Joost-Pieter Katoen | 2022 | |
Sampling-Based Verification of CTMCs with Uncertain Rates | Thom S Badings Nils Jansen Sebastian Junges Marielle Stoelinga Matthias Volk | 2022/8/6 | |
Parameter Synthesis in Markov Models: A Gentle Survey | Nils Jansen Sebastian Junges Joost-Pieter Katoen | 2022/12/29 | |
Querying Labelled Data with Scenario Programs for Sim-to-Real Validation | Edward Kim Jay Shenoy Sebastian Junges Daniel Fremont Alberto Sangiovanni-Vincentelli | 2022/5 | |
Learning Monitorable Operational Design Domains for Assured Autonomy | Hazem Torfah Carol Xie Sebastian Junges Marcell Vazquez-Chanlatte Sanjit A Seshia | 2022/10/21 |