Positive flows provide very useful informations that can be used to perform efficient analysis of a model. Although algorithms computing (a generative family of) positive flows i...
Sami Evangelista, Christophe Pajault, Jean-Fran&cc...
This paper proposes a diagnosis framework for distributed systems based on pomset languages. Diagnosis is performed by projecting these models on a collection of observable labels ...
This paper proposes an approach to automatically adapt game AI to the environment of the game (i.e., the socalled map). In the approach, a particular map is first analysed for sp...
Laurens van der Blom, Sander Bakkes, Pieter Spronc...
A kitchen is a place where food is prepared and education and communication activities relating to food are carried out. As it is a place that witnesses more activity when compared...
This paper presents an advanced model of a treadmill using balls which are actuated by a belt on a turntable. The platform is able to run at high speeds which exceed normal walking...