Lucas V. R. Alves, Hugo J. Bravo, Patrícia Nascimento Pena, Ricardo H. C. Takahashi. Planning on Discrete Events Systems: A logical approach. In IEEE International Conference on Automation Science and Engineering, CASE 2016, Fort Worth, TX, USA, August 21-25, 2016. pages 1055-1060, IEEE, 2016. [doi]
Abstract is missing.