Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Michael Leuschel
conf.researchr.org general profile
NASA Formal Methods 2024 profile
PEPM 2015 profile
POPL 2018 profile
POPL 2019 profile
POPL 2020 profile
SPLASH 2013 profile
SPLASH 2020 profile
Not registered as user
Name:
Michael Leuschel
Affiliation:
University of Düsseldorf
Contributions
2024
NFM
Author of Validation of Reinforcement Learning Agents and Safety Shields with ProB within the NFM 2024-track
2020
LPOP
Speaker of Break: Ask Me Anything within the LPOP 2020-track
Symposium on Practical Aspects of Declarative Languages
Committee Member in Program Committee within the PADL 2020-track
2019
PEPM
Committee Member in Program Committee within the PEPM 2019-track
2018
Symposium on Practical Aspects of Declarative Languages
Author of Three is a crowd: SAT, SMT and CLP on a chessboard within the PADL 2018-track
2015
PEPM
Committee Member in Program Committee within the PEPM 2015-track
2013
DLS
Committee Member in Program Committee within the Research Papers-track
Share
x
Sun 22 Dec 02:49