Boukharrou, Radja Radja; Ilié, Jean-Michel; Saidouni, … - In: International Journal of Ambient Computing and … 8 (2017) 3, pp. 38-57
performing planning under timing constraints. Based on a true-concurrency semantics, a contextual model, called Spatio … provides formal description of possible actions to perform supporting timing constraints, action duration and spatial …