Linus Heck

According to our database, Linus Heck authored at least 2 papers between 2021 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Gradient-Descent for Randomized Controllers Under Partial Observability.

Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

2021

Gradient-Descent for Randomized Controllers under Partial Observability (Artifact).

Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen

Dataset, November, 2021