Linus Heck

Orcid: 0000-0002-4774-7609

According to our database1, Linus Heck authored at least 5 papers between 2021 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Artifact for "Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains".
Dataset, July, 2025

Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains.
Proceedings of the Automated Technology for Verification and Analysis, 2025

2024
Improving the Noise Estimation of Latent Neural Stochastic Differential Equations.
CoRR, 2024

2022
Gradient-Descent for Randomized Controllers Under Partial Observability.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

2021
Gradient-Descent for Randomized Controllers under Partial Observability (Artifact).
Dataset, November, 2021


  Loading...