Linus Heck
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2022–2026
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking. | Linus Heck, Filip Mack, Milan Ceska, Sebastian Junges |
| 2026 | CAV | Shields to Guarantee Probabilistic Safety in MDPs. | Linus Heck, Filip Mack, Roman Andriushchenko, Milan Ceska, Sebastian Junges |
| 2026 | FM | Probabilistic Model Checking Taken by Storm - A Tutorial on the Probabilistic Model Checker Storm. | Matthias Volk, Linus Heck, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann |
| 2025 | ATVA | Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains. | Linus Heck, Tim Quatmann, Jip Spel, Joost-Pieter Katoen, Sebastian Junges |
| 2022 | VMCAI | Gradient-Descent for Randomized Controllers Under Partial Observability. | Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen |