Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Martin Fränzle
conf.researchr.org general profile
ICSE 2024 profile
NASA Formal Methods 2023 profile
Not registered as user
Name:
Martin Fränzle
Contributions
2024
ExEn
Author of What if Autonomous Systems had a Game Master? Targeted Explaining with the help of a Supervisory Control System within the ExEn 2024-track
2023
NFM
Author of Verification of LSTM Neural Networks with Non-linear Activation Functions within the NFM 2023-track
Share
x
Sun 26 Oct 22:13