Gülgün Alpan, Mohsen A. Jafari. Synthesis of Sequential Controllers in the presence of Conflicts and Free Choices.
IEEE Transactions on Robotics and Automation, Institute of Electrical and Electronics Engineers (IEEE), 1998, 14 (3), pp.488-492.
⟨inria-00098485⟩