Nicolas Berthier, Hervé Marchand. Discrete Controller Synthesis for Infinite State Systems with ReaX. In Jean-Jacques Lesage, Jean-Marc Faure, José E. R. Cury, Bengt Lennartson, editors, 12th International Workshop on Discrete Event Systems, WODES 2014, Cachan, France, May 14-16, 2014. pages 46-53, International Federation of Automatic Control, 2014. [doi]
@inproceedings{BerthierM14, title = {Discrete Controller Synthesis for Infinite State Systems with ReaX}, author = {Nicolas Berthier and Hervé Marchand}, year = {2014}, doi = {10.3182/20140514-3-FR-4046.00099}, url = {http://dx.doi.org/10.3182/20140514-3-FR-4046.00099}, researchr = {https://researchr.org/publication/BerthierM14}, cites = {0}, citedby = {0}, pages = {46-53}, booktitle = {12th International Workshop on Discrete Event Systems, WODES 2014, Cachan, France, May 14-16, 2014}, editor = {Jean-Jacques Lesage and Jean-Marc Faure and José E. R. Cury and Bengt Lennartson}, publisher = {International Federation of Automatic Control}, isbn = {978-3-902823-61-8}, }