We propose an epistemic dynamic logic EDL able to represent the interactions between action and knowledge that are fundamental to planning under partial observability. EDL enables...
Abstract In this paper we compare the behavior of different interest points detectors and descriptors under the conditions needed to be used as landmarks in visionbased simultaneou...
The study described in this paper contributes to the growing repository of event studies in the field of information technology (IT) research. The empirical results presented in t...
From an analog system K, digital systems Kd and Kbt are often obtained via the step-invariant and bilinear transformations, respectively. For the case when K is stable, it is show...
We address the strategy problem for ω-regular two-player games with partial information, played on finite game graphs. We consider two different kinds of observability on a gene...