Aditi Kabra, Stefan Mitsch, André Platzer. Verified Train Controllers for the Federal Railroad Administration Train Kinematics Model: Balancing Competing Brake and Track Forces. IEEE Trans. on CAD of Integrated Circuits and Systems, 41(11):4409-4420, 2022. [doi]
@article{KabraMP22, title = {Verified Train Controllers for the Federal Railroad Administration Train Kinematics Model: Balancing Competing Brake and Track Forces}, author = {Aditi Kabra and Stefan Mitsch and André Platzer}, year = {2022}, doi = {10.1109/TCAD.2022.3197690}, url = {https://doi.org/10.1109/TCAD.2022.3197690}, researchr = {https://researchr.org/publication/KabraMP22}, cites = {0}, citedby = {0}, journal = {IEEE Trans. on CAD of Integrated Circuits and Systems}, volume = {41}, number = {11}, pages = {4409-4420}, }