Barbeau, Michel; Kabanza, Froduald; St.-Denis, Richard A method for the synthesis of controllers to handle safety, liveness, and real-time constraints. (English) Zbl 0986.93040 IEEE Trans. Autom. Control 43, No. 11, 1543-1559 (1998). Reviewer: T.Riismaa (Tallinn) MSC: 93C65 93B50 93C83 68Q45 PDFBibTeX XMLCite \textit{M. Barbeau} et al., IEEE Trans. Autom. Control 43, No. 11, 1543--1559 (1998; Zbl 0986.93040) Full Text: DOI
Kabanza, F.; Barbeau, M.; St-Denis, R. Planning control rules for reactive agents. (English) Zbl 0894.68138 Artif. Intell. 95, No. 1, 67-113 (1997). MSC: 68T20 PDFBibTeX XMLCite \textit{F. Kabanza} et al., Artif. Intell. 95, No. 1, 67--113 (1997; Zbl 0894.68138) Full Text: DOI
Barbeau, M.; Kabanza, F.; St-Denis, R. An efficient algorithm for controller synthesis under full observation. (English) Zbl 0888.68064 J. Algorithms 25, No. 1, 144-161 (1997). MSC: 68W10 PDFBibTeX XMLCite \textit{M. Barbeau} et al., J. Algorithms 25, No. 1, 144--161 (1997; Zbl 0888.68064) Full Text: DOI