Verified train controllers for the Federal Railroad Administration train kinematics model: Balancing competing brake and track forces

@article{DBLP:journals/tcad/KabraMP22,
	slides = {pub/traingrade-slides.pdf},
	author = {['Aditi Kabra', 'Stefan Mitsch', 'André Platzer']},
	title = {Verified Train Controllers for the
               Federal Railroad Administration Train Kinematics Model:
               Balancing Competing Brake and Track Forces},
	journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.},
	longjournal = {IEEE Transactions on Computer-Aided Design of
               Integrated Circuits and Systems},
	volume = {41},
	number = {11},
	pages = {4409-4420},
	year = {2022},
	doi = {10.1109/TCAD.2022.3197690},
	issn = {0278-0070}
}