Abstract This paper deals with the problem of mobile-robot localization in structured environments. The extended Kalman filter (EKF) is used to localize the fourwheeled mobile robo...
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...