XSpeed

Reachability Analysis Tool for Continuous and Hybrid Systems with Acceleration.

XSpeed Developers

  • Rajarshi Ray (Project Leader)
  • Amit Gurung (Lead Developer)
  • Kamal Das

Former Developers

  • Arup Deka (User Interface Developer)
  • Binayak Das (Tool developer)
  • Hazel Manners (User Interface Developer)

Collaborators

  • Ezio Bartocci, TU Wien, Austria
  • Sergiy Bogomolov, IST Austria.
  • Radu Grosu, TU Wien, Austria.

Website

  • Medarisha Hynniewta