—An omnidirectional mobile robot is able, kinematically, to move in any direction regardless of current pose. To date, nearly all designs and analyses of omnidirectional robots h...
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
—Path planning for mobile robots is a well researched problem for over three decades. In this paper, we test and evaluate a new approach based on Shi and Karl Level Sets for mobi...
Replication is a mechanism extensively used to guarantee the availability and good performance of data storage services. Byzantine Quorum Systems (BQS) have been proposed as a sol...
Wagner Saback Dantas, Alysson Neves Bessani, Joni ...
Abstract—This paper proposes a new differential super-quasiorthogonal space-time trellis codes (SQOSTTC) with singlesymbol maximum-likelihood (ML) decoding. Firstly, a new joint ...
Jun Wang, Jing Qian, Junhui Dou, Shouyin Liu, Seon...