Authors: BACCHUS F KABANZA F

Citation: F. Bacchus et F. Kabanza, PLANNING FOR TEMPORALLY EXTENDED GOALS, Annals of mathematics and artificial intelligence, 22(1-2), 1998, pp. 5-27

Authors: BARBEAU M KABANZA F STDENIS R

Citation: M. Barbeau et al., A METHOD FOR THE SYNTHESIS OF CONTROLLERS TO HANDLE SAFETY, LIVENESS,AND REAL-TIME CONSTRAINTS, IEEE transactions on automatic control, 43(11), 1998, pp. 1543-1559

Authors: BARBEAU M KABANZA F STDENIS R

Citation: M. Barbeau et al., AN EFFICIENT ALGORITHM FOR CONTROLLER SYNTHESIS UNDER FULL OBSERVATION, Journal of algorithms, 25(1), 1997, pp. 144-161

Authors: KABANZA F BARBEAU M STDENIS R

Citation: F. Kabanza et al., PLANNING CONTROL RULES FOR REACTIVE AGENTS, Artificial intelligence, 95(1), 1997, pp. 67-113

Authors: KABANZA F STEVENNE JM WOLPER P

Citation: F. Kabanza et al., HANDLING INFINITE TEMPORAL DATA, Journal of computer and system sciences, 51(1), 1995, pp. 3-17