| emsoft | participants

Stefan Mitsch

Program Committees:
2023
.

EMSOFT 2022: 22nd International Conference on Embedded Software

Verified Train Controllers for the Federal Railroad Administration Train Kinematics Model: Balancing Competing Brake and Track Forces

Aditi Kabra, Stefan Mitsch, and André Platzer