Patrick Wienhöft - NASA Formal Methods 2023

Tue 16 - Thu 18 May 2023 Houston, Texas, United States

Registered user since Thu 16 Mar 2023

Name:Patrick Wienhöft

Country:Germany

Affiliation:TU Dresden, Germany

GitHub: https://github.com/PattuX

Research interests:Reinforcement Learning, Model Checking

Contributions

2023

NFM

Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access

Show activities from other conferences

NASA Formal Methods 2023-profile
View general profile