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    = {Kabra, Aditi and
               Mitsch, Stefan and
               Platzer, Andr{\'{e}}},
  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},
}```