Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Sebastian Junges

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2022
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/iccps/KimSJFSS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccps/KimSJFSS22
Edward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Querying Labelled Data with Scenario Programs for Sim-to-Real Validation. ICCPS 2022: 34-45
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/iccps/KimSJFSS22a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccps/KimSJFSS22a
Edward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Demo: Querying Labelled Data with Scenario Programs for Sim-to-Real Validation. ICCPS 2022: 322-323
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/HeckSJMK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/HeckSJMK22
Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen:
Gradient-Descent for Randomized Controllers Under Partial Observability. VMCAI 2022: 127-150
[i40]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-10803
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-10803
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen:
Inductive Synthesis of Finite-State Controllers for POMDPs. CoRR abs/2203.10803 (2022)
[i39]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2204-00755
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2204-00755
Steven Carr, Nils Jansen, Sebastian Junges, Ufuk Topcu:
Safe Reinforcement Learning via Shielding for POMDPs. CoRR abs/2204.00755 (2022)
[i38]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-06152
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-06152
Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja:
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants. CoRR abs/2205.06152 (2022)
[i37]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-08300
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-08300
Thom S. Badings, Nils Jansen, Sebastian Junges, Mariëlle Stoelinga, Matthias Volk:
Sampling-Based Verification of CTMCs with Uncertain Rates. CoRR abs/2205.08300 (2022)
[i36]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-02653
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-02653
Sebastian Junges, Matthijs T. J. Spaan:
Abstraction-Refinement for Hierarchical Probabilistic Models. CoRR abs/2206.02653 (2022)
2021
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/0002HJK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/0002HJK21
Milan Ceska, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen:
Counterexample-guided inductive synthesis for probabilistic systems. Formal Aspects Comput. 33(4-5): 637-667 (2021)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/jcss/JungesK0W21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/JungesK0W21
Sebastian Junges, Joost-Pieter Katoen, Guillermo A. Pérez, Tobias Winkler:
The complexity of reachability in parametric Markov decision processes. J. Comput. Syst. Sci. 119: 183-210 (2021)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/WintererJWJTKB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/WintererJWJTKB21
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker:
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions. IEEE Trans. Autom. Control. 66(3): 1040-1054 (2021)
[c44]
- view
  - electronic edition @ aaai.org
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/Cubuktepe0JMST21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/Cubuktepe0JMST21
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ahmadreza Marandi, Marnix Suilen, Ufuk Topcu:
Robust Finite-State Controllers for Uncertain POMDPs. AAAI 2021: 11792-11800
[c43]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/JungesTS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/JungesTS20
Sebastian Junges, Hazem Torfah, Sanjit A. Seshia:
Runtime Monitors for Markov Decision Processes. CAV (2) 2021: 553-576
[c42]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/HoltzenJVMSB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HoltzenJVMSB20
Steven Holtzen, Sebastian Junges, Marcell Vazquez-Chanlatte, Todd D. Millstein, Sanjit A. Seshia, Guy Van den Broeck:
Model Checking Finite-Horizon Markov Chains with Probabilistic Inference. CAV (2) 2021: 577-601
[c41]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/JungesJS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/JungesJS20
Sebastian Junges, Nils Jansen, Sanjit A. Seshia:
Enforcing Almost-Sure Reachability in POMDPs. CAV (2) 2021: 602-625
[c40]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/AndriushchenkoC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AndriushchenkoC21
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Simon Stupinský:
PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs. CAV (1) 2021: 856-869
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/rss/Vazquez-Chanlatte21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rss/Vazquez-Chanlatte21
Marcell Vazquez-Chanlatte, Sebastian Junges, Daniel J. Fremont, Sanjit Seshia:
Entropy-Guided Control Improvisation. Robotics: Science and Systems 2021
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/TorfahJFS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/TorfahJFS21
Hazem Torfah, Sebastian Junges, Daniel J. Fremont, Sanjit A. Seshia:
Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance. RV 2021: 311-330
[c37]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/SpelJK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/SpelJK21
Jip Spel, Sebastian Junges, Joost-Pieter Katoen:
Finding Provably Optimal Markov Chains. TACAS (1) 2021: 173-190
[c36]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/Andriushchenko021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/Andriushchenko021
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen:
Inductive Synthesis for Probabilistic Programs Reaches New Horizons. TACAS (1) 2021: 191-209
[i35]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2101-12683
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-12683
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen:
Inductive Synthesis for Probabilistic Programs Reaches New Horizons. CoRR abs/2101.12683 (2021)
[i34]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2103-05672
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-05672
Marcell Vazquez-Chanlatte, Sebastian Junges, Daniel J. Fremont, Sanjit Seshia:
Entropy-Guided Control Improvisation. CoRR abs/2103.05672 (2021)
[i33]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2105-12322
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-12322
Sebastian Junges, Hazem Torfah, Sanjit A. Seshia:
Runtime Monitoring for Markov Decision Processes. CoRR abs/2105.12322 (2021)
[i32]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2105-12326
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-12326
Steven Holtzen, Sebastian Junges, Marcell Vazquez-Chanlatte, Todd D. Millstein, Sanjit A. Seshia, Guy Van den Broeck:
Model Checking Finite-Horizon Markov Chains with Probabilistic Inference. CoRR abs/2105.12326 (2021)
[i31]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2105-13411
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-13411
Milan Ceska, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen:
Model Repair Revamped: On the Automated Synthesis of Markov Chains. CoRR abs/2105.13411 (2021)
[i30]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2107-00108
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-00108
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Convex Optimization for Parameter Synthesis in MDPs. CoRR abs/2107.00108 (2021)
[i29]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2111-04407
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2111-04407
Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen:
Gradient-Descent for Randomized Controllers under Partial Observability. CoRR abs/2111.04407 (2021)
[i28]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2112-00206
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-00206
Edward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit Seshia:
Querying Labelled Data with Scenario Programs for Sim-to-Real Validation. CoRR abs/2112.00206 (2021)
[i27]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2112-13020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-13020
Thom S. Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Scenario-Based Verification of Uncertain Parametric MDPs. CoRR abs/2112.13020 (2021)
2020
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/dnb/Junges20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/dnb/Junges20
Sebastian Junges:
Parameter synthesis in Markov models. RWTH Aachen University, Germany, 2020
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/BaierHHJKK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BaierHHJKK20
Christel Baier, Christian Hensel, Lisa Hutschenreiter, Sebastian Junges, Joost-Pieter Katoen, Joachim Klein:
Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination. Inf. Comput. 272: 104504 (2020)
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jar/HartmannsJKQ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/HartmannsJKQ20
Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann:
Multi-cost Bounded Tradeoff Analysis in MDP. J. Autom. Reason. 64(7): 1483-1522 (2020)
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/BorkJKQ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BorkJKQ20
Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann:
Verification of Indefinite-Horizon POMDPs. ATVA 2020: 288-304
[c34]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BatzJKKMS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BatzJKKMS20
Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer:
PrIC3: Property Directed Reachability for MDPs. CAV (2) 2020: 512-538
[c33]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/concur/0001KJSB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/0001KJSB20
Nils Jansen, Bettina Könighofer, Sebastian Junges, Alex Serban, Roderick Bloem:
Safe Reinforcement Learning Using Probabilistic Shields (Invited Paper). CONCUR 2020: 3:1-3:16
[c32]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/Cubuktepe0JKT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/Cubuktepe0JKT20
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Scenario-Based Verification of Uncertain MDPs. TACAS (1) 2020: 287-305
[p1]
- view
  - electronic edition @ gi.de (open access)
  - no references & citations available
- export record
  dblp key:
  - series/gidiss/Junges20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/gidiss/Junges20
Sebastian Junges:
Synthese im Kontext Parametrischer Markow-Modelle. Ausgezeichnete Informatikdissertationen 2020: 159-168
[i26]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2002-07080
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2002-07080
Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk:
The Probabilistic Model Checker Storm. CoRR abs/2002.07080 (2020)
[i25]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2004-14835
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-14835
Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer:
PrIC3: Property Directed Reachability for MDPs. CoRR abs/2004.14835 (2020)
[i24]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2007-00085
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-00085
Sebastian Junges, Nils Jansen, Sanjit A. Seshia:
Enforcing Almost-Sure Reachability in POMDPs. CoRR abs/2007.00085 (2020)
[i23]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2007-00102
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-00102
Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann:
Verification of indefinite-horizon POMDPs. CoRR abs/2007.00102 (2020)
[i22]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2009-11459
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-11459
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ahmadreza Marandi, Marnix Suilen, Ufuk Topcu:
Robust Finite-State Controllers for Uncertain POMDPs. CoRR abs/2009.11459 (2020)
[i21]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2009-13128
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-13128
Sebastian Junges, Joost-Pieter Katoen, Guillermo A. Pérez, Tobias Winkler:
The Complexity of Reachability in Parametric Markov Decision Processes. CoRR abs/2009.13128 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/GhadhabJKKV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/GhadhabJKKV19
Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk:
Safety analysis for vehicle guidance systems with dynamic fault trees. Reliab. Eng. Syst. Saf. 186: 37-50 (2019)
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/SpelJK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/SpelJK19
Jip Spel, Sebastian Junges, Joost-Pieter Katoen:
Are Parametric Markov Chains Monotonic? ATVA 2019: 479-496
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/CeskaD0JK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/CeskaD0JK19
Milan Ceska, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen:
Model Repair Revamped - - On the Automated Synthesis of Markov Chains -. From Reactive Systems to Cyber-Physical Systems 2019: 107-125
[c29]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/concur/WinklerJPK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/WinklerJPK19
Tobias Winkler, Sebastian Junges, Guillermo A. Pérez, Joost-Pieter Katoen:
On the Complexity of Reachability in Parametric Markov Decision Processes. CONCUR 2019: 14:1-14:17
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/CeskaHJK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/CeskaHJK19
Milan Ceska, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen:
Counterexample-Driven Synthesis for Probabilistic Program Sketches. FM 2019: 101-120
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/snr/0001JKQ00W19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/snr/0001JKQ00W19
Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Bernd Becker, Ralf Wimmer, Leonore Winterer:
Correct-by-construction policies for POMDPs. SNR 2019: 6-8
[c26]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/CeskaJJK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/CeskaJJK19
Milan Ceska, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen:
Shepherding Hordes of Markov Chains. TACAS (2) 2019: 172-190
[i20]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1902-05727
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1902-05727
Milan Ceska, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen:
Shepherding Hordes of Markov Chains. CoRR abs/1902.05727 (2019)
[i19]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1903-05361
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-05361
Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk:
Safety Analysis for Vehicle Guidance Systems with Dynamic Fault Trees. CoRR abs/1903.05361 (2019)
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1903-07993
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-07993
Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk:
Parameter Synthesis for Markov Models. CoRR abs/1903.07993 (2019)
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1904-01503
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-01503
Tobias Winkler, Sebastian Junges, Guillermo A. Pérez, Joost-Pieter Katoen:
On the Complexity of Reachability in Parametric Markov Decision Processes. CoRR abs/1904.01503 (2019)
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1904-12371
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-12371
Milan Ceska, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen:
Counterexample-Driven Synthesis for Probabilistic Program Sketches. CoRR abs/1904.12371 (2019)
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1907-08491
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-08491
Jip Spel, Sebastian Junges, Joost-Pieter Katoen:
Are Parametric Markov Chains Monotonic? CoRR abs/1907.08491 (2019)
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1912-11223
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1912-11223
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Scenario-Based Verification of Uncertain MDPs. CoRR abs/1912.11223 (2019)
2018
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/VolkJK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/VolkJK18
Matthias Volk, Sebastian Junges, Joost-Pieter Katoen:
Fast Dynamic Fault Tree Analysis by Model Checking Techniques. IEEE Trans. Ind. Informatics 14(1): 370-379 (2018)
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/JungesKS018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/JungesKS018
Sebastian Junges, Joost-Pieter Katoen, Mariëlle Stoelinga, Matthias Volk:
One Net Fits All - A Unifying Semantics of Dynamic Fault Trees Using GSPNs. Petri Nets 2018: 272-293
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/CubuktepeJJKT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/CubuktepeJJKT18
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Synthesis in pMDPs: A Tale of 1001 Parameters. ATVA 2018: 160-176
[c23]
- view
  - electronic edition via handle.net
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/WintererJWJTKB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/WintererJWJTKB18
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker:
Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext. MBMV 2018
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/Junges0KTZH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/Junges0KTZH18
Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu, Ruohan Zhang, Mary M. Hayhoe:
Model Checking for Safe Navigation Among Humans. QEST 2018: 207-222
[c21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/HartmannsJKQ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HartmannsJKQ18
Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann:
Multi-cost Bounded Reachability in MDP. TACAS (2) 2018: 320-339
[c20]
- view
  - electronic edition @ auai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/uai/Junges0WQWK018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uai/Junges0WQWK018
Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker:
Finite-State Controllers of POMDPs using Parameter Synthesis. UAI 2018: 519-529
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1803-05376
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-05376
Sebastian Junges, Joost-Pieter Katoen, Mariëlle Stoelinga, Matthias Volk:
One Net Fits All: A unifying semantics of Dynamic Fault Trees using GSPNs. CoRR abs/1803.05376 (2018)
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1807-06096
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-06096
Nils Jansen, Bettina Könighofer, Sebastian Junges, Roderick Bloem:
Shielded Decision-Making in MDPs. CoRR abs/1807.06096 (2018)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1810-00092
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1810-00092
Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
The Partially Observable Games We Play for Cyber Deception. CoRR abs/1810.00092 (2018)
2017
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/JungesGKRS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/JungesGKRS17
Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Mariëlle Stoelinga:
Fault trees on a diet: automated reduction by graph rewriting. Formal Aspects Comput. 29(4): 651-703 (2017)
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/QuatmannJK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/QuatmannJK17
Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen:
Markov Automata with Multiple Objectives. CAV (1) 2017: 140-159
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/DehnertJK017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/DehnertJK017
Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk:
A Storm is Coming: A Modern Probabilistic Model Checker. CAV (2) 2017: 592-600
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/WintererJW0TK017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/WintererJW0TK017
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker:
Motion planning under partial observability using game-based abstraction. CDC 2017: 2201-2208
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/GhadhabJKKV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/GhadhabJKKV17
Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk:
Model-Based Safety Analysis for Vehicle Guidance Systems. SAFECOMP 2017: 3-19
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/Cubuktepe0JKPPT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/Cubuktepe0JKPPT17
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu:
Sequential Convex Programming for the Efficient Verification of Parametric MDPs. TACAS (2) 2017: 133-150
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/BuddeDHHJT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BuddeDHHJT17
Carlos E. Budde, Christian Dehnert, Ernst Moritz Hahn, Arnd Hartmanns, Sebastian Junges, Andrea Turrini:
JANI: Quantitative Model and Tool Interaction. TACAS (2) 2017: 151-168
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Cubuktepe0JKPPT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Cubuktepe0JKPPT17
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu:
Sequential Convex Programming for the Efficient Verification of Parametric MDPs. CoRR abs/1702.00063 (2017)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/DehnertJK017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DehnertJK017
Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk:
A storm is Coming: A Modern Probabilistic Model Checker. CoRR abs/1702.04311 (2017)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/QuatmannJK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/QuatmannJK17
Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen:
Markov Automata with Multiple Objectives. CoRR abs/1704.06648 (2017)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1708-04236
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1708-04236
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker:
Motion Planning under Partial Observability using Game-Based Abstraction. CoRR abs/1708.04236 (2017)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1710-10294
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1710-10294
Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker:
Permissive Finite-State Controllers of POMDPs using Parameter Synthesis. CoRR abs/1710.10294 (2017)
2016
[c13]
- view
  - electronic edition @ aaai.org
  - no references & citations available
- export record
  dblp key:
  - conf/aaaifs/Junges0KT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaaifs/Junges0KT16
Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu:
Probabilistic Verification for Cognitive Models. AAAI Fall Symposia 2016
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/QuatmannD0JK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/QuatmannD0JK16
Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen:
Parameter Synthesis for Markov Models: Faster Than Ever. ATVA 2016: 50-67
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/JungesGKS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/JungesGKS16
Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Mariëlle Stoelinga:
Uncovering Dynamic Fault Trees. DSN 2016: 299-310
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/mbmv/DehnertJ0CVKAB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/DehnertJ0CVKAB16
Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Joost-Pieter Katoen, Erika Ábrahám, Harold Bruintjes:
Parameter Synthesis for Probabilistic Systems. MBMV 2016: 72-74
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/0001JK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/0001JK16
Matthias Volk, Sebastian Junges, Joost-Pieter Katoen:
Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates. SAFECOMP 2016: 253-265
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/DombrowskiJKG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/DombrowskiJKG16
Christian Dombrowski, Sebastian Junges, Joost-Pieter Katoen, James Gross:
Model-Checking Assisted Protocol Design for Ultra-reliable Low-Latency Wireless Networks. SRDS 2016: 307-316
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/Junges0DTK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/Junges0DTK16
Sebastian Junges, Nils Jansen, Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen:
Safety-Constrained Reinforcement Learning for MDPs. TACAS 2016: 130-146
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/QuatmannD0JK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/QuatmannD0JK16
Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen:
Parameter Synthesis for Markov Models: Faster Than Ever. CoRR abs/1602.05113 (2016)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/0001JK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/0001JK16
Matthias Volk, Sebastian Junges, Joost-Pieter Katoen:
Advancing Dynamic Fault Tree Analysis. CoRR abs/1604.07474 (2016)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/DehnertJK016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DehnertJK016
Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk:
The Probabilistic Model Checker Storm (Extended Abstract). CoRR abs/1610.08713 (2016)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Junges0KT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Junges0KT16
Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu:
Probabilistic Model Checking for Complex Cognitive Tasks - A case study in human-robot interaction. CoRR abs/1610.09409 (2016)
2015
[c6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/DehnertJJCVBKA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/DehnertJJCVBKA15
Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen, Erika Ábrahám:
PROPhESY: A PRObabilistic ParamEter SYnthesis Tool. CAV (1) 2015: 214-231
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/CorziliusKJSA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/CorziliusKJSA15
Florian Corzilius, Gereon Kremer, Sebastian Junges, Stefan Schupp, Erika Ábrahám:
SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving. SAT 2015: 360-368
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/setta/JungesGKRS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/JungesGKRS15
Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Mariëlle Stoelinga:
Fault Trees on a Diet - - Automated Reduction by Graph Rewriting -. SETTA 2015: 3-18
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Junges0DTK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Junges0DTK15
Sebastian Junges, Nils Jansen, Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen:
Safety-Constrained Reinforcement Learning for MDPs. CoRR abs/1510.05880 (2015)
2014
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BohlenderBJKNN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BohlenderBJKNN14
Dimitri Bohlender, Harold Bruintjes, Sebastian Junges, Jens Katelaan, Viet Yen Nguyen, Thomas Noll:
A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models. ISoLA (2) 2014: 177-192
2013
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/cai/JungesLCA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cai/JungesLCA13
Sebastian Junges, Ulrich Loup, Florian Corzilius, Erika Ábrahám:
On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers. CAI 2013: 186-198
2012
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/CorziliusLJA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/CorziliusLJA12
Florian Corzilius, Ulrich Loup, Sebastian Junges, Erika Ábrahám:
SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox - (Tool Presentation). SAT 2012: 442-448

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.