TU Wien Informatics


Mar 2020

  • Mar 12, 2020 Talk In his talk, Rajeev Alur (UPenn) will use the experimental platform of the autonomous F1/10 racing car to highlight research challenges for verifying safety.
  • Mar 4, 2020 Talk, PhD School Erika Ábrahám (RWTH) gives a historical overview of this development, describes her own solver SMT-RAT, and discusses some applications and potentials.

Feb 2020

Jan 2020