Jan Doubek

Learn More
—This paper presents a specific contracting algorithm that contributes to the process of distributed planning and resource allocation in competitive, semi-trusted environments. The presented contraction algorithm is based on incrementally refined acquaintance models (IRAM) of the actor that provide the right set of approximate knowledge needed for(More)
When multiple agents act concurrently towards achieving their goals in a shared environment, interactions between their actions may arise, affecting the outcome of their plans. We propose an approach to planning in such environments, termed interference ro-bustness optimization planning that builds upon the HTN planning paradigm and extends it with explicit(More)
The long-term electrocardiographic recording with retrospective evaluation (Holter system) has been widely used not only in cardiology, but also in other disciplines of internal medicine and in pharmaceutical research. The Holter system can be used in mini-pig, sheep, dog, cat, rabbit, ferret, and rat. In this paper hardware, software, and anesthesia(More)
This paper presents a specific contracting algorithm that contributes to the process of distributed planning and resource allocation in competitive, semi-trusted environments. The presented contraction algorithm is based on incrementally refined acquaintance models (IRAM) of the actor that provide the right set of approximate knowledge needed for(More)
  • 1