


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


default search action
Sebastian Junges
Person information

- affiliation: Radboud University, Nijmegen, The Netherlands
- affiliation: University of California, Berkeley, CA, USA
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [c61]Steven Carr, Nils Jansen, Sebastian Junges, Ufuk Topcu:
Safe Reinforcement Learning via Shielding under Partial Observability. AAAI 2023: 14748-14756 - [c60]Thom S. Badings
, Sebastian Junges
, Ahmadreza Marandi
, Ufuk Topcu
, Nils Jansen
:
Efficient Sensitivity Analysis for Parametric Robust Markov Chains. CAV (3) 2023: 62-85 - [c59]Roman Andriushchenko
, Alexander Bork
, Milan Ceska
, Sebastian Junges
, Joost-Pieter Katoen
, Filip Macák
:
Search and Explore: Symbiotic Policy Synthesis in POMDPs. CAV (3) 2023: 113-135 - [c58]Wietze Koops, Nils Jansen, Sebastian Junges, Thiago D. Simão:
Recursive Small-Step Multi-Agent A* for Dec-POMDPs. IJCAI 2023: 5402-5410 - [c57]Kevin Batz
, Mingshuai Chen
, Sebastian Junges
, Benjamin Lucien Kaminski
, Joost-Pieter Katoen
, Christoph Matheja
:
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants. TACAS (2) 2023: 410-429 - [c56]Arnd Hartmanns
, Sebastian Junges
, Tim Quatmann
, Maximilian Weininger
:
A Practitioner's Guide to MDP Model Checking Algorithms. TACAS (1) 2023: 469-488 - [c55]Marck van der Vegt
, Nils Jansen
, Sebastian Junges
:
Robust Almost-Sure Reachability in Multi-Environment MDPs. TACAS (1) 2023: 508-526 - [d8]Roman Andriushchenko
, Alexander Bork
, Milan Ceska
, Sebastian Junges
, Joost-Pieter Katoen
, Filip Macák
:
Artifact supplement for 'Search and Explore: Symbiotic Policy Synthesis in POMDPs'. Version 0.3. Zenodo, 2023 [all versions] - [d7]Roman Andriushchenko
, Alexander Bork
, Milan Ceska
, Sebastian Junges
, Joost-Pieter Katoen
, Filip Macák
:
Artifact supplement for 'Search and Explore: Symbiotic Policy Synthesis in POMDPs'. Version 0.4. Zenodo, 2023 [all versions] - [d6]Roman Andriushchenko
, Alexander Bork
, Milan Ceska
, Sebastian Junges
, Joost-Pieter Katoen
, Filip Macák
:
Artifact supplement for 'Search and Explore: Symbiotic Policy Synthesis in POMDPs'. Version 0.5. Zenodo, 2023 [all versions] - [d5]Thom S. Badings
, Sebastian Junges
, Ahmadreza Marandi
, Ufuk Topcu
, Nils Jansen
:
Experiments for 'Efficient Sensitivity Analysis for Parametric Robust Markov Chains'. Version 1. Zenodo, 2023 [all versions] - [d4]Thom S. Badings
, Sebastian Junges
, Ahmadreza Marandi
, Ufuk Topcu
, Nils Jansen
:
Experiments for 'Efficient Sensitivity Analysis for Parametric Robust Markov Chains'. Version 1.1. Zenodo, 2023 [all versions] - [i47]Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger:
A Practitioner's Guide to MDP Model Checking Algorithms. CoRR abs/2301.10197 (2023) - [i46]Marck van der Vegt, Nils Jansen, Sebastian Junges:
Robust Almost-Sure Reachability in Multi-Environment MDPs. CoRR abs/2301.11296 (2023) - [i45]Thom S. Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen:
Efficient Sensitivity Analysis for Parametric Robust Markov Chains. CoRR abs/2305.01473 (2023) - [i44]Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák:
Search and Explore: Symbiotic Policy Synthesis in POMDPs. CoRR abs/2305.14149 (2023) - [i43]Ameesh Shah, Marcell Vazquez-Chanlatte, Sebastian Junges, Sanjit A. Seshia:
Learning Formal Specifications from Membership and Preference Queries. CoRR abs/2307.10434 (2023) - 2022
- [j12]Tim Quatmann
, Sebastian Junges
, Joost-Pieter Katoen
:
Markov automata with multiple objectives. Formal Methods Syst. Des. 60(1): 33-86 (2022) - [j11]Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk:
The probabilistic model checker Storm. Int. J. Softw. Tools Technol. Transf. 24(4): 589-610 (2022) - [j10]Thom S. Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Scenario-based verification of uncertain parametric MDPs. Int. J. Softw. Tools Technol. Transf. 24(5): 803-819 (2022) - [j9]Murat Cubuktepe
, Nils Jansen
, Sebastian Junges
, Joost-Pieter Katoen
, Ufuk Topcu
:
Convex Optimization for Parameter Synthesis in MDPs. IEEE Trans. Autom. Control. 67(12): 6333-6348 (2022) - [c54]Hazem Torfah
, Carol Xie, Sebastian Junges, Marcell Vazquez-Chanlatte, Sanjit A. Seshia:
Learning Monitorable Operational Design Domains for Assured Autonomy. ATVA 2022: 3-22 - [c53]Sebastian Junges, Jurriaan Rot:
Learning Language Intersections. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 371-381 - [c52]Nils Jansen, Sebastian Junges, Joost-Pieter Katoen:
Parameter Synthesis in Markov Models: A Gentle Survey. Principles of Systems Design 2022: 407-437 - [c51]Thom S. Badings
, Nils Jansen
, Sebastian Junges
, Mariëlle Stoelinga
, Matthias Volk
:
Sampling-Based Verification of CTMCs with Uncertain Rates. CAV (2) 2022: 26-47 - [c50]Sebastian Junges
, Matthijs T. J. Spaan:
Abstraction-Refinement for Hierarchical Probabilistic Models. CAV (1) 2022: 102-123 - [c49]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 - [c48]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 - [c47]Dennis Gross, Nils Jansen
, Sebastian Junges
, Guillermo A. Pérez
:
COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking. SETTA 2022: 41-49 - [c46]Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen:
Inductive synthesis of finite-state controllers for POMDPs. UAI 2022: 85-95 - [c45]Linus Heck
, Jip Spel
, Sebastian Junges
, Joshua Moerman
, Joost-Pieter Katoen
:
Gradient-Descent for Randomized Controllers Under Partial Observability. VMCAI 2022: 127-150 - [d3]Thom S. Badings
, Murat Cubuktepe
, Nils Jansen
, Sebastian Junges
, Joost-Pieter Katoen
, Ufuk Topcu
:
Experiments for 'Scenario-Based Verification of Uncertain Parametric MDPs'. Zenodo, 2022 - [d2]Jip Spel
, Sebastian Junges
, Joost-Pieter Katoen
:
Finding Provably Optimal Markov Chains (Artifact). Zenodo, 2022 - [i42]Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen:
Inductive Synthesis of Finite-State Controllers for POMDPs. CoRR abs/2203.10803 (2022) - [i41]Steven Carr, Nils Jansen, Sebastian Junges, Ufuk Topcu:
Safe Reinforcement Learning via Shielding for POMDPs. CoRR abs/2204.00755 (2022) - [i40]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) - [i39]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) - [i38]Sebastian Junges, Matthijs T. J. Spaan:
Abstraction-Refinement for Hierarchical Probabilistic Models. CoRR abs/2206.02653 (2022) - [i37]Nils Jansen, Sebastian Junges, Joost-Pieter Katoen:
Parameter Synthesis in Markov Models: A Gentle Survey. CoRR abs/2207.06801 (2022) - [i36]Dennis Gross, Nils Jansen, Sebastian Junges, Guillermo A. Pérez:
COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking. CoRR abs/2209.07133 (2022) - 2021
- [j8]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]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]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]Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ahmadreza Marandi, Marnix Suilen, Ufuk Topcu:
Robust Finite-State Controllers for Uncertain POMDPs. AAAI 2021: 11792-11800 - [c43]Sebastian Junges
, Hazem Torfah
, Sanjit A. Seshia
:
Runtime Monitors for Markov Decision Processes. CAV (2) 2021: 553-576 - [c42]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]Sebastian Junges
, Nils Jansen
, Sanjit A. Seshia
:
Enforcing Almost-Sure Reachability in POMDPs. CAV (2) 2021: 602-625 - [c40]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]Marcell Vazquez-Chanlatte, Sebastian Junges, Daniel J. Fremont
, Sanjit Seshia:
Entropy-Guided Control Improvisation. Robotics: Science and Systems 2021 - [c38]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]Jip Spel
, Sebastian Junges
, Joost-Pieter Katoen
:
Finding Provably Optimal Markov Chains. TACAS (1) 2021: 173-190 - [c36]Roman Andriushchenko
, Milan Ceska
, Sebastian Junges
, Joost-Pieter Katoen
:
Inductive Synthesis for Probabilistic Programs Reaches New Horizons. TACAS (1) 2021: 191-209 - [d1]Linus Heck
, Jip Spel
, Sebastian Junges
, Joshua Moerman
, Joost-Pieter Katoen
:
Gradient-Descent for Randomized Controllers under Partial Observability (Artifact). Zenodo, 2021 - [i35]Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen:
Inductive Synthesis for Probabilistic Programs Reaches New Horizons. CoRR abs/2101.12683 (2021) - [i34]Marcell Vazquez-Chanlatte, Sebastian Junges, Daniel J. Fremont, Sanjit Seshia:
Entropy-Guided Control Improvisation. CoRR abs/2103.05672 (2021) - [i33]Sebastian Junges, Hazem Torfah, Sanjit A. Seshia:
Runtime Monitoring for Markov Decision Processes. CoRR abs/2105.12322 (2021) - [i32]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]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]Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Convex Optimization for Parameter Synthesis in MDPs. CoRR abs/2107.00108 (2021) - [i29]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]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]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]Sebastian Junges:
Parameter synthesis in Markov models. RWTH Aachen University, Germany, 2020 - [j5]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]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]Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann:
Verification of Indefinite-Horizon POMDPs. ATVA 2020: 288-304 - [c34]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]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]Murat Cubuktepe
, Nils Jansen
, Sebastian Junges
, Joost-Pieter Katoen
, Ufuk Topcu
:
Scenario-Based Verification of Uncertain MDPs. TACAS (1) 2020: 287-305 - [p1]Sebastian Junges:
Synthese im Kontext Parametrischer Markow-Modelle. Ausgezeichnete Informatikdissertationen 2020: 159-168 - [i26]Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk:
The Probabilistic Model Checker Storm. CoRR abs/2002.07080 (2020) - [i25]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]Sebastian Junges, Nils Jansen, Sanjit A. Seshia:
Enforcing Almost-Sure Reachability in POMDPs. CoRR abs/2007.00085 (2020) - [i23]Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann:
Verification of indefinite-horizon POMDPs. CoRR abs/2007.00102 (2020) - [i22]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]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
- 2019
- [j3]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]Jip Spel, Sebastian Junges, Joost-Pieter Katoen:
Are Parametric Markov Chains Monotonic? ATVA 2019: 479-496 - [c30]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]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]Milan Ceska
, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen:
Counterexample-Driven Synthesis for Probabilistic Program Sketches. FM 2019: 101-120 - [c27]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]Milan Ceska
, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen:
Shepherding Hordes of Markov Chains. TACAS (2) 2019: 172-190 - [i20]Milan Ceska, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen:
Shepherding Hordes of Markov Chains. CoRR abs/1902.05727 (2019) - [i19]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]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]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]Milan Ceska, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen:
Counterexample-Driven Synthesis for Probabilistic Program Sketches. CoRR abs/1904.12371 (2019) - [i15]Jip Spel, Sebastian Junges, Joost-Pieter Katoen:
Are Parametric Markov Chains Monotonic? CoRR abs/1907.08491 (2019) - [i14]Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Scenario-Based Verification of Uncertain MDPs. CoRR abs/1912.11223 (2019) - 2018
- [j2]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]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]Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
:
Synthesis in pMDPs: A Tale of 1001 Parameters. ATVA 2018: 160-176 - [c23]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]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]Arnd Hartmanns
, Sebastian Junges
, Joost-Pieter Katoen
, Tim Quatmann
:
Multi-cost Bounded Reachability in MDP. TACAS (2) 2018: 320-339 - [c20]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]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]Nils Jansen, Bettina Könighofer, Sebastian Junges, Roderick Bloem:
Shielded Decision-Making in MDPs. CoRR abs/1807.06096 (2018) - [i11]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]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]Tim Quatmann
, Sebastian Junges, Joost-Pieter Katoen:
Markov Automata with Multiple Objectives. CAV (1) 2017: 140-159 - [c18]Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk
:
A Storm is Coming: A Modern Probabilistic Model Checker. CAV (2) 2017: 592-600 - [c17]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]Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk
:
Model-Based Safety Analysis for Vehicle Guidance Systems. SAFECOMP 2017: 3-19 - [c15]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]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]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]Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk
:
A storm is Coming: A Modern Probabilistic Model Checker. CoRR abs/1702.04311 (2017) - [i8]Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen:
Markov Automata with Multiple Objectives. CoRR abs/1704.06648 (2017) - [i7]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]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]Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu:
Probabilistic Verification for Cognitive Models. AAAI Fall Symposia 2016 - [c12]Tim Quatmann
, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen:
Parameter Synthesis for Markov Models: Faster Than Ever. ATVA 2016: 50-67 - [c11]Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Mariëlle Stoelinga
:
Uncovering Dynamic Fault Trees. DSN 2016: 299-310 - [c10]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]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]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]Sebastian Junges, Nils Jansen, Christian Dehnert, Ufuk Topcu
, Joost-Pieter Katoen
:
Safety-Constrained Reinforcement Learning for MDPs. TACAS 2016: 130-146 - [i5]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]Matthias Volk, Sebastian Junges, Joost-Pieter Katoen:
Advancing Dynamic Fault Tree Analysis. CoRR abs/1604.07474 (2016) - [i3]Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk:
The Probabilistic Model Checker Storm (Extended Abstract). CoRR abs/1610.08713 (2016) - [i2]