Open AccessTemporal Modelling and Verification of Multi-Robot Concurrent Activities
Author(s) -
Syed Asad Raza Kazmi,
Ayesha Naeem,
Awais Qasim
Publication year - 2017
Publication title -
indian journal of science and technology
Language(s) - English
Resource type - Journals
eISSN - 0974-6846
pISSN - 0974-5645
DOI - 10.17485/ijst/2016/v9i48/96047
Subject(s) - linear temporal logic , computer science , model checking , temporal logic , robot , set (abstract data type) , process (computing) , robotics , path (computing) , task (project management) , formal verification , transition system , artificial intelligence , motion planning , theoretical computer science , real time computing , programming language , systems engineering , engineering