Registered user since Tue 27 Oct 2020
Name: Peter Gjøl Jensen
Country: Denmark
Affiliation: Aalborg University, Denmark
Twitter: https://twitter.com/petergjoel
GitHub: https://github.com/petergjoel
Research interests: Formal Methods, Reinforcement Learning, Distributed Systems
Contributions
| SPIN 2021 | Aalborg University, Denmark in Programming Committee within the SPIN-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile