Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Mark van Wijk
conf.researchr.org general profile
FM 2026 profile
Registered user since Mon 16 Feb 2026
Name:
Mark
van Wijk
Contributions
2026
FM
Author of Tools and Algorithms for Sound Multi-Objective Probabilistic Model Checking within the Research Track-track
Session Chair of Session 2: Neural Networks Verification (part of Research Track)
Share
x
Thu 25 Jun 02:07