Person
Assistant professor Dr.Sebastian Junges
Ehem. assoziierter Postdoc
Adresse
Publikationen im Rahmen von UnRAVeL
| Quelle | Autor(en) |
|---|---|
| [Buchbeitrag, Beitrag zu einem Tagungsband] Search and Explore: Symbiotic Policy Synthesis in POMDPs In: Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III / edited by Constantin Enea, Akash Lal, 113-135, 2023 [DOI: 10.1007/978-3-031-37709-9_6] | Andriushchenko, Roman Bork, Alexander Češka, Milan (Corresponding author) Junges, Sebastian Katoen, Joost-Pieter et al. |
| [Buchbeitrag] Parameter Synthesis in Markov Models: A Gentle Survey In: Principles of systems design : essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday / Jean-Francois Raskin, Krishnendu Chatterjee, Laurent Doyen, Rupak Majumdar (eds.), 407-437, 2022 [DOI: 10.1007/978-3-031-22337-2_20] | Jansen, Nils Junges, Sebastian Katoen, Joost-Pieter (Corresponding author) |
| [Buchbeitrag, Beitrag zu einem Tagungsband] Gradient-Descent for Randomized Controllers Under Partial Observability In: Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings / edited by Bernd Finkbeiner, Thomas Wies, 127-150, 2022 [DOI: 10.1007/978-3-030-94583-1_7] | Heck, Linus Spel, Jip Josephine (Corresponding author) Junges, Sebastian Moerman, Joshua Katoen, Joost-Pieter |
| [Fachzeitschriftenartikel] The probabilistic model checker STORM In: International journal on software tools for technology transfer, 24 (4), 589-610, 2021 [DOI: 10.1007/s10009-021-00633-z] | Hensel, Hans Christian Junges, Sebastian Katoen, Joost-Pieter (Corresponding author) Quatmann, Tim Volk, Matthias |
| [Fachzeitschriftenartikel] Markov automata with multiple objectives In: Formal methods in system design, 60 (1), 33-86, 2021 [DOI: 10.1007/s10703-021-00364-6] | Quatmann, Tim Junges, Sebastian (Corresponding author) Katoen, Joost-Pieter |
| [Buchbeitrag, Beitrag zu einem Tagungsband] Finding Provably Optimal Markov Chains In: Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I, 173-190, 2021 [DOI: 10.1007/978-3-030-72016-2_10] | Spel, Jip Josephine (Corresponding author) Junges, Sebastian Katoen, Joost-Pieter |
| [Fachzeitschriftenartikel] The complexity of reachability in parametric Markov decision processes In: Journal of computer and system sciences : JCSS, 119, 183-210, 2021 [DOI: 10.1016/j.jcss.2021.02.006] | Junges, Sebastian (Corresponding author) Katoen, Joost-Pieter Pérez, Guillermo A. Winkler, Tobias |
| [Fachzeitschriftenartikel] Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions In: IEEE transactions on automatic control, 66 (3), 1040-1054, 2020 [DOI: 10.1109/TAC.2020.2990140] | Winterer, Leonore Junges, Sebastian Wimmer, Ralf Jansen, Nils (Corresponding author) Topcu, Ufuk et al. |
| [Buchbeitrag, Beitrag zu einem Tagungsband] Verification of Indefinite-Horizon POMDPs In: Automated technology for verification and analysis : 18th international symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020 : proceedings / Dang Van Hung, Oleg Sokolsky (eds.), 288-304, 2020 [DOI: 10.1007/978-3-030-59152-6_16] | Bork, Alexander Nikolai Junges, Sebastian (Corresponding author) Katoen, Joost-Pieter Quatmann, Tim |
| [Bericht] UnRAVeL Research Training Group : Uncertainty and Randomness in Algorithms, Verification, and Logic, 2020 | Katoen, Joost-Pieter Ritzert, Martin Wilke, Richard Marlon Dannert, Katrin M. Lindner, Peter et al. |
| [Beitrag zu einem Tagungsband, Fachzeitschriftenartikel] Multi-cost Bounded Tradeoff Analysis in MDP In: Journal of automated reasoning, 64 (7), 1483-1522, 2020 [DOI: 10.1007/s10817-020-09574-9] | Hartmanns, Arnd (Corresponding author) Junges, Sebastian Katoen, Joost-Pieter Quatmann, Tim |
| [Buchbeitrag, Beitrag zu einem Tagungsband] Scenario-Based Verification of Uncertain MDPs In: Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I / edited by Armin Biere, David Parker, 287-305, 2020 [DOI: 10.1007/978-3-030-45190-5_16] | Cubuktepe, Murat Jansen, Nils (Corresponding author) Junges, Sebastian Katoen, Joost-Pieter Topcu, Ufuk |
| [Doktorarbeit] Parameter synthesis in Markov models, 2020 [DOI: 10.18154/RWTH-2020-02348] | Junges, Sebastian |
| [Buchbeitrag, Beitrag zu einem Tagungsband] Counterexample-Driven Synthesis for Probabilistic Program Sketches In: Formal methods - the next 30 years : third world congress, FM 2019, Porto, Portugal, October 7-11, 2019, proceedings / Maurice H. ter Beek, Annabelle McIver, José N. Oliveira (eds.), 101-120, 2019 [DOI: 10.1007/978-3-030-30942-8_8] | Češka, Milan Hensel, Hans Christian Junges, Sebastian (Corresponding author) Katoen, Joost-Pieter |
| [Buchbeitrag, Beitrag zu einem Tagungsband] Shepherding Hordes of Markov Chains In: Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings. - Part 2 / edited by Tomáš Vojnar, Lijun Zhang, 172-190, 2019 [DOI: 10.1007/978-3-030-17465-1_10] | Češka, Milan Jansen, Nils Junges, Sebastian (Corresponding author) Katoen, Joost-Pieter |
| [Buchbeitrag, Beitrag zu einem Tagungsband] Are Parametric Markov Chains Monotonic? In: Automated technology for verification and analysis : 17th International symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019 : proceedings / Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza (eds.), 479-496, 2019 [DOI: 10.1007/978-3-030-31784-3_28] | Spel, Jip Josephine (Corresponding author) Junges, Sebastian Katoen, Joost-Pieter |
| [Buchbeitrag, Beitrag zu einem Tagungsband] On the Complexity of Reachability in Parametric Markov Decision Processes In: 30th International Conference on Concurrency Theory : CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands / edited by Wan Fokkink, Rob van Glabbeek, 2019 [DOI: 10.4230/LIPICS.CONCUR.2019.14] | Winkler, Tobias Junges, Sebastian (Corresponding author) Pérez, Guillermo A. Katoen, Joost-Pieter |
| [Buchbeitrag] Model Repair Revamped In: From Reactive Systems to Cyber-Physical Systems : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday / edited by Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky, 107-125, 2019 [DOI: 10.1007/978-3-030-31514-6_7] | Češka, Milan Dehnert, Hans Christian Jansen, Nils Junges, Sebastian Katoen, Joost-Pieter |
| [Buchbeitrag, Beitrag zu einem Tagungsband] Correct-by-construction policies for POMDPs In: Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, 6-8, 2019 [DOI: 10.1145/3313149.3313366] | Jansen, Nils (Corresponding author) Junges, Sebastian (Corresponding author) Katoen, Joost-Pieter (Corresponding author) Quatmann, Tim (Corresponding author) Becker, Bernd (Corresponding author) et al. |
| [Fachzeitschriftenartikel] Safety analysis for vehicle guidance systems with dynamic fault trees In: Reliability engineering & system safety, 186, 37-50, 2019 [DOI: 10.1016/j.ress.2019.02.005] | Ghadhab, Majdi Junges, Sebastian (Corresponding author) Katoen, Joost-Pieter Kuntz, Matthias Volk, Matthias |
| [Buchbeitrag, Beitrag zu einem Tagungsband] Finite-State Controllers of POMDPs using Parameter Synthesis In: 34th Conference on Uncertainty in Artificial Intelligence 2018 : Monterey, California, USA, 6-10 August 2018 / editors: Amir Globerson, Ricardo Silva ; Association for Uncertainty in Artificial Intelligence (AUAI). - Volume 1, 519-529, 2018 | Junges, Sebastian Jansen, Nils Wimmer, Ralf Quatmann, Tim Winterer, Leonore et al. |
| [Buchbeitrag, Beitrag zu einem Tagungsband] Model Checking for Safe Navigation Among Humans In: Quantitative evaluation of systems : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018 : proceedings / Annabelle McIver, Andras Horvath (eds.), 207-222, 2018 [DOI: 10.1007/978-3-319-99154-2_13] | Junges, Sebastian Jansen, Nils (Corresponding author) Katoen, Joost-Pieter Topcu, Ufuk Zhang, Ruohan et al. |
| [Buchbeitrag, Beitrag zu einem Tagungsband] Synthesis in pMDPs : A Tale of 1001 Parameters In: Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings / edited by Shuvendu K. Lahiri, Chao Wang, 160-176, 2018 [DOI: 10.1007/978-3-030-01090-4] | Cubuktepe, Murat Jansen, Nils Junges, Sebastian (Corresponding author) Katoen, Joost-Pieter Topcu, Ufuk |
| [Buchbeitrag, Beitrag zu einem Tagungsband] One Net Fits All: A Unifying Semantics of Dynamic Fault Trees Using GSPNs In: Application and theory of petri nets and concurrency : 39th international conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018 : proceedings / Victor Khomenko, Olivier H. Roux (eds.), 272-293, 2018 [DOI: 10.1007/978-3-319-91268-4_14] | Junges, Sebastian Katoen, Joost-Pieter Stoelinga, Marielle Volk, Matthias (Corresponding author) |
| [Buchbeitrag, Beitrag zu einem Tagungsband] Multi-cost Bounded Reachability in MDP In: Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II / edited by Dirk Beyer, Marieke Huisman, 320-339, 2018 [DOI: 10.1007/978-3-319-89963-3_19] | Hartmanns, Arnd Junges, Sebastian Katoen, Joost-Pieter Quatmann, Tim (Corresponding author) |
| [Fachzeitschriftenartikel] Fast Dynamic Fault Tree Analysis by Model Checking Techniques In: IEEE transactions on industrial informatics, 14 (1), 370-379, 2017 [DOI: 10.1109/TII.2017.2710316] | Volk, Matthias Junges, Sebastian (Corresponding author) Katoen, Joost-Pieter |
| [Buchbeitrag, Beitrag zu einem Tagungsband] A Storm is Coming: A Modern Probabilistic Model Checker In: Computer aided verification : 29th International Conference, CAV 2017 : Heidelberg, Germany, July 24-28, 2017 : proceedings / Rupak Majumdar, Viktor Kunčak (eds.). - Part 2, 592-600, 2017 [DOI: 10.1007/978-3-319-63390-9_31] | Dehnert, Hans Christian (Corresponding author) Junges, Sebastian Katoen, Joost-Pieter Volk, Matthias |
| [Buchbeitrag, Beitrag zu einem Tagungsband] Motion planning under partial observability using game-based abstraction In: 2017 IEEE 56th Annual Conference on Decision and Control (CDC) : December 12-15, 2017, Melbourne, Australia, 2201-2208, 2017 [DOI: 10.1109/CDC.2017.8263971] | Winterer, Leonore Junges, Sebastian Wimmer, Ralf Jansen, Nils Topcu, Ufuk et al. |
| [Fachzeitschriftenartikel] Fault trees on a diet: automated reduction by graph rewriting In: Formal aspects of computing, 29 (4), 651-703, 2017 [DOI: 10.1007/s00165-016-0412-0] | Junges, Sebastian (Corresponding author) Guck, Dennis Katoen, Joost-Pieter Rensink, Arend Stoelinga, Mariëlle |
Verwandte Themen
- Promotionsprojekt: Parameter Synthesis for Markov Models
- Computer Science Graduate Seminar: Sebastian Junges: Parameter Synthesis in Markov Models
- Bi-Weekly Talk: Finite-state Controllers of POMDPs via Parameter Synthesis
- Vortrag: Parameter Synthesis in Probabilistic Model Checking
- Bi-Weekly Talk: Finite-state Controllers of POMDPs via Parameter Synthesis
- ICT Young Researcher Award