Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Stefan Schmid
conf.researchr.org general profile
APLAS & ATVA 2026 profile
ATVA 2025 profile
Not registered as user
Name:
Stefan Schmid
Country:
Germany
Affiliation:
TU Berlin, Germany
Contributions
2026
APLAS
Author of SyOpt: Constrained Genetic Algorithm for Near-Optimal Resilient Routing Synthesis within the ATVA Research Papers-track
2025
ATVA
Author of TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets (tool paper) within the ATVA Papers-track
Share
x
Sun 18 Oct 07:26