Jayaraman, Suresh

• Journal | MESA Vol 1 No 3 (2010) - Articles
  Formal modelling and verification of multi-robot systems specified with temporal logic
  Abstract