XSpeed

Reachability Analysis Tool for Continuous and Hybrid Systems with Acceleration.

Contact

  • Dr Rajarshi Ray: rajarshi.ray@nitm.ac.in / raj.ray84@gmail.com
  • Amit Gurung: amitgurung@nitm.ac.in / rajgurung777@gmail.com
  • Kamal Das: kamaldas@nitm.ac.in / kamaldas.cst@gmail.com