Testing Robotic Systems

Nov 13, 2019 1 min read

The talk about “Testing Robotic Systems: A New Battlefield!” that is presented by Arnaud Gotlieb in RoboSoft is very interesting. Interesting ideas:

  • Use constraint programming (CP) to reduce test suite,
  • Use constraint-based scheduling for test execution scheduling,
  • SICStus 4 for CP.
Kangfeng (Randall) Ye
Kangfeng (Randall) Ye
Research Associate (Computer Science)

My research interests include probabilistic modelling and verification using formal specification and verification (both model checking and theorem proving) and model-based engineering.