Schulte Horst

Publications in Math-Net.Ru

1. Notes on recent achievements in proving stability using KeYmaeraX
   
   Model. Anal. Inform. Sist., 28:4 (2021),  326–336
2. Safety analysis of longitudinal motion controllers during climb flight
   
   Model. Anal. Inform. Sist., 26:4 (2019),  488–501